About the Execution of LoLA for S_AutoFlight-PT-48b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1397.560 | 3539747.00 | 3550386.00 | 260.10 | ? ? ? ? 1 ? ? ? 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-3254
Executing tool lola
Input is S_AutoFlight-PT-48b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074200263
=====================================================================
--------------------
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 AutoFlight-PT-48b-UpperBounds-0
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-1
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-15
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-2
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-3
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-4
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-5
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-6
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-7
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-8
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496338404628
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_AutoFlight-PT-48b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_AutoFlight-PT-48b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-48b @ 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: 7886/65536 symbol table entries, 1706 collisions
lola: preprocessing...
lola: finding significant places
lola: 3950 places, 3936 transitions, 3692 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4350 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-48b-UpperBounds.task
lola: MAX(p2780) : MAX(p2118) : MAX(p2648) : MAX(p3846) : MAX(p1357) : MAX(p2625) : MAX(p2543) : MAX(p2044) : MAX(p1316) : MAX(p1416) : MAX(p2899) : MAX(p2915) : MAX(p2453) : MAX(p1636) : MAX(p932) : MAX(p1383)
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(p2780)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 77979 markings, 230272 edges, 15596 markings/sec, 0 secs
lola: 154985 markings, 481064 edges, 15401 markings/sec, 5 secs
lola: 222725 markings, 743748 edges, 13548 markings/sec, 10 secs
lola: 285156 markings, 1010755 edges, 12486 markings/sec, 15 secs
lola: 352676 markings, 1282983 edges, 13504 markings/sec, 20 secs
lola: 423070 markings, 1570823 edges, 14079 markings/sec, 25 secs
lola: 490652 markings, 1860758 edges, 13516 markings/sec, 30 secs
lola: 559657 markings, 2143747 edges, 13801 markings/sec, 35 secs
lola: 628275 markings, 2431372 edges, 13724 markings/sec, 40 secs
lola: 695455 markings, 2704664 edges, 13436 markings/sec, 45 secs
lola: 759015 markings, 2967166 edges, 12712 markings/sec, 50 secs
lola: 825832 markings, 3252567 edges, 13363 markings/sec, 55 secs
lola: 895050 markings, 3537271 edges, 13844 markings/sec, 60 secs
lola: 963304 markings, 3823959 edges, 13651 markings/sec, 65 secs
lola: 1030828 markings, 4098860 edges, 13505 markings/sec, 70 secs
lola: 1100861 markings, 4388851 edges, 14007 markings/sec, 75 secs
lola: 1166680 markings, 4671205 edges, 13164 markings/sec, 80 secs
lola: 1234178 markings, 4946234 edges, 13500 markings/sec, 85 secs
lola: 1298836 markings, 5218965 edges, 12932 markings/sec, 90 secs
lola: 1363659 markings, 5498714 edges, 12965 markings/sec, 95 secs
lola: 1423272 markings, 5804283 edges, 11923 markings/sec, 100 secs
lola: 1479457 markings, 6095615 edges, 11237 markings/sec, 105 secs
lola: 1543919 markings, 6394261 edges, 12892 markings/sec, 110 secs
lola: 1609508 markings, 6671364 edges, 13118 markings/sec, 115 secs
lola: 1673697 markings, 6946046 edges, 12838 markings/sec, 120 secs
lola: 1743931 markings, 7233782 edges, 14047 markings/sec, 125 secs
lola: 1813248 markings, 7520402 edges, 13863 markings/sec, 130 secs
lola: 1883358 markings, 7803874 edges, 14022 markings/sec, 135 secs
lola: 1951857 markings, 8095261 edges, 13700 markings/sec, 140 secs
lola: 2018332 markings, 8380892 edges, 13295 markings/sec, 145 secs
lola: 2088800 markings, 8664408 edges, 14094 markings/sec, 150 secs
lola: 2157732 markings, 8949176 edges, 13786 markings/sec, 155 secs
lola: 2220218 markings, 9232644 edges, 12497 markings/sec, 160 secs
lola: 2279832 markings, 9542784 edges, 11923 markings/sec, 165 secs
lola: 2338961 markings, 9852429 edges, 11826 markings/sec, 170 secs
lola: 2398931 markings, 10154165 edges, 11994 markings/sec, 175 secs
lola: 2454111 markings, 10441715 edges, 11036 markings/sec, 180 secs
lola: 2512291 markings, 10746365 edges, 11636 markings/sec, 185 secs
lola: 2569478 markings, 11032067 edges, 11437 markings/sec, 190 secs
lola: 2625051 markings, 11321493 edges, 11115 markings/sec, 195 secs
lola: 2680080 markings, 11608984 edges, 11006 markings/sec, 200 secs
lola: 2737147 markings, 11894478 edges, 11413 markings/sec, 205 secs
lola: 2795307 markings, 12198265 edges, 11632 markings/sec, 210 secs
lola: 2854200 markings, 12506869 edges, 11779 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(p2118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 93591 markings, 266965 edges, 18718 markings/sec, 0 secs
lola: 180444 markings, 546744 edges, 17371 markings/sec, 5 secs
lola: 260277 markings, 844170 edges, 15967 markings/sec, 10 secs
lola: 346163 markings, 1117899 edges, 17177 markings/sec, 15 secs
lola: 426329 markings, 1415367 edges, 16033 markings/sec, 20 secs
lola: 511339 markings, 1697127 edges, 17002 markings/sec, 25 secs
lola: 593430 markings, 1985098 edges, 16418 markings/sec, 30 secs
lola: 675988 markings, 2274093 edges, 16512 markings/sec, 35 secs
lola: 759197 markings, 2551072 edges, 16642 markings/sec, 40 secs
lola: 839388 markings, 2846016 edges, 16038 markings/sec, 45 secs
lola: 928696 markings, 3126625 edges, 17862 markings/sec, 50 secs
lola: 1006094 markings, 3427358 edges, 15480 markings/sec, 55 secs
lola: 1097336 markings, 3699644 edges, 18248 markings/sec, 60 secs
lola: 1194564 markings, 3966752 edges, 19446 markings/sec, 65 secs
lola: 1289172 markings, 4262927 edges, 18922 markings/sec, 70 secs
lola: 1382906 markings, 4554123 edges, 18747 markings/sec, 75 secs
lola: 1464108 markings, 4847477 edges, 16240 markings/sec, 80 secs
lola: 1546967 markings, 5147065 edges, 16572 markings/sec, 85 secs
lola: 1626950 markings, 5451625 edges, 15997 markings/sec, 90 secs
lola: 1707861 markings, 5749129 edges, 16182 markings/sec, 95 secs
lola: 1786557 markings, 6039289 edges, 15739 markings/sec, 100 secs
lola: 1864960 markings, 6332584 edges, 15681 markings/sec, 105 secs
lola: 1946145 markings, 6626996 edges, 16237 markings/sec, 110 secs
lola: 2026144 markings, 6919168 edges, 16000 markings/sec, 115 secs
lola: 2102864 markings, 7210557 edges, 15344 markings/sec, 120 secs
lola: 2181345 markings, 7497570 edges, 15696 markings/sec, 125 secs
lola: 2258367 markings, 7787749 edges, 15404 markings/sec, 130 secs
lola: 2337724 markings, 8080210 edges, 15871 markings/sec, 135 secs
lola: 2420979 markings, 8371880 edges, 16651 markings/sec, 140 secs
lola: 2504320 markings, 8676223 edges, 16668 markings/sec, 145 secs
lola: 2583588 markings, 8981310 edges, 15854 markings/sec, 150 secs
lola: 2665888 markings, 9281827 edges, 16460 markings/sec, 155 secs
lola: 2746758 markings, 9581649 edges, 16174 markings/sec, 160 secs
lola: 2826880 markings, 9878522 edges, 16024 markings/sec, 165 secs
lola: 2908816 markings, 10180244 edges, 16387 markings/sec, 170 secs
lola: 2989546 markings, 10478848 edges, 16146 markings/sec, 175 secs
lola: 3069525 markings, 10775367 edges, 15996 markings/sec, 180 secs
lola: 3148500 markings, 11072443 edges, 15795 markings/sec, 185 secs
lola: 3229917 markings, 11368887 edges, 16283 markings/sec, 190 secs
lola: 3309785 markings, 11663955 edges, 15974 markings/sec, 195 secs
lola: 3400048 markings, 11981065 edges, 18053 markings/sec, 200 secs
lola: 3489634 markings, 12294532 edges, 17917 markings/sec, 205 secs
lola: 3580161 markings, 12611222 edges, 18105 markings/sec, 210 secs
lola: 3664761 markings, 12907393 edges, 16920 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(p2648)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3846)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 190200 markings, 312725 edges, 38040 markings/sec, 0 secs
lola: 364825 markings, 656064 edges, 34925 markings/sec, 5 secs
lola: 533094 markings, 983158 edges, 33654 markings/sec, 10 secs
lola: 694841 markings, 1296056 edges, 32349 markings/sec, 15 secs
lola: 853008 markings, 1615757 edges, 31633 markings/sec, 20 secs
lola: 1033537 markings, 1928545 edges, 36106 markings/sec, 25 secs
lola: 1190004 markings, 2250003 edges, 31293 markings/sec, 30 secs
lola: 1337798 markings, 2567265 edges, 29559 markings/sec, 35 secs
lola: 1500620 markings, 2870484 edges, 32564 markings/sec, 40 secs
lola: 1672299 markings, 3178204 edges, 34336 markings/sec, 45 secs
lola: 1817195 markings, 3509348 edges, 28979 markings/sec, 50 secs
lola: 1981340 markings, 3829437 edges, 32829 markings/sec, 55 secs
lola: 2157030 markings, 4123008 edges, 35138 markings/sec, 60 secs
lola: 2296429 markings, 4429345 edges, 27880 markings/sec, 65 secs
lola: 2454543 markings, 4759919 edges, 31623 markings/sec, 70 secs
lola: 2630995 markings, 5077060 edges, 35290 markings/sec, 75 secs
lola: 2787692 markings, 5375502 edges, 31339 markings/sec, 80 secs
lola: 2926472 markings, 5687524 edges, 27756 markings/sec, 85 secs
lola: 3084667 markings, 5997129 edges, 31639 markings/sec, 90 secs
lola: 3263080 markings, 6288882 edges, 35683 markings/sec, 95 secs
lola: 3401517 markings, 6606288 edges, 27687 markings/sec, 100 secs
lola: 3560954 markings, 6933407 edges, 31887 markings/sec, 105 secs
lola: 3744873 markings, 7255384 edges, 36784 markings/sec, 110 secs
lola: 3928965 markings, 7564111 edges, 36818 markings/sec, 115 secs
lola: 4113671 markings, 7892861 edges, 36941 markings/sec, 120 secs
lola: 4287908 markings, 8216179 edges, 34847 markings/sec, 125 secs
lola: 4460151 markings, 8537131 edges, 34449 markings/sec, 130 secs
lola: 4625374 markings, 8845057 edges, 33045 markings/sec, 135 secs
lola: 4781155 markings, 9146697 edges, 31156 markings/sec, 140 secs
lola: 4934326 markings, 9458777 edges, 30634 markings/sec, 145 secs
lola: 5089946 markings, 9773384 edges, 31124 markings/sec, 150 secs
lola: 5248735 markings, 10091981 edges, 31758 markings/sec, 155 secs
lola: 5414591 markings, 10430906 edges, 33171 markings/sec, 160 secs
lola: 5576090 markings, 10766939 edges, 32300 markings/sec, 165 secs
lola: 5738855 markings, 11101561 edges, 32553 markings/sec, 170 secs
lola: 5907584 markings, 11439158 edges, 33746 markings/sec, 175 secs
lola: 6072673 markings, 11772643 edges, 33018 markings/sec, 180 secs
lola: 6234289 markings, 12102808 edges, 32323 markings/sec, 185 secs
lola: 6385879 markings, 12433203 edges, 30318 markings/sec, 190 secs
lola: 6555383 markings, 12772890 edges, 33901 markings/sec, 195 secs
lola: 6722053 markings, 13111603 edges, 33334 markings/sec, 200 secs
lola: 6886995 markings, 13444265 edges, 32988 markings/sec, 205 secs
lola: 7049044 markings, 13774983 edges, 32410 markings/sec, 210 secs
lola: 7206588 markings, 14104609 edges, 31509 markings/sec, 215 secs
lola: 7370464 markings, 14435116 edges, 32775 markings/sec, 220 secs
lola: 7533694 markings, 14767856 edges, 32646 markings/sec, 225 secs
lola: 7696129 markings, 15097580 edges, 32487 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 91690 markings, 288609 edges, 18338 markings/sec, 0 secs
lola: 178138 markings, 588206 edges, 17290 markings/sec, 5 secs
lola: 266006 markings, 880952 edges, 17574 markings/sec, 10 secs
lola: 351705 markings, 1165425 edges, 17140 markings/sec, 15 secs
lola: 435500 markings, 1467983 edges, 16759 markings/sec, 20 secs
lola: 532327 markings, 1756984 edges, 19365 markings/sec, 25 secs
lola: 629372 markings, 2055920 edges, 19409 markings/sec, 30 secs
lola: 712583 markings, 2364401 edges, 16642 markings/sec, 35 secs
lola: 792398 markings, 2654197 edges, 15963 markings/sec, 40 secs
lola: 868857 markings, 2933144 edges, 15292 markings/sec, 45 secs
lola: 946823 markings, 3217482 edges, 15593 markings/sec, 50 secs
lola: 1022703 markings, 3500852 edges, 15176 markings/sec, 55 secs
lola: 1102976 markings, 3783083 edges, 16055 markings/sec, 60 secs
lola: 1185952 markings, 4082846 edges, 16595 markings/sec, 65 secs
lola: 1267936 markings, 4385610 edges, 16397 markings/sec, 70 secs
lola: 1345523 markings, 4669428 edges, 15517 markings/sec, 75 secs
lola: 1421677 markings, 4949530 edges, 15231 markings/sec, 80 secs
lola: 1498477 markings, 5227754 edges, 15360 markings/sec, 85 secs
lola: 1583444 markings, 5521862 edges, 16993 markings/sec, 90 secs
lola: 1665979 markings, 5806289 edges, 16507 markings/sec, 95 secs
lola: 1742636 markings, 6083972 edges, 15331 markings/sec, 100 secs
lola: 1821542 markings, 6371349 edges, 15781 markings/sec, 105 secs
lola: 1900671 markings, 6661865 edges, 15826 markings/sec, 110 secs
lola: 1978561 markings, 6947464 edges, 15578 markings/sec, 115 secs
lola: 2056281 markings, 7233416 edges, 15544 markings/sec, 120 secs
lola: 2132949 markings, 7513755 edges, 15334 markings/sec, 125 secs
lola: 2216926 markings, 7810971 edges, 16795 markings/sec, 130 secs
lola: 2295606 markings, 8097238 edges, 15736 markings/sec, 135 secs
lola: 2372062 markings, 8375890 edges, 15291 markings/sec, 140 secs
lola: 2447033 markings, 8649780 edges, 14994 markings/sec, 145 secs
lola: 2522318 markings, 8927554 edges, 15057 markings/sec, 150 secs
lola: 2596201 markings, 9197021 edges, 14777 markings/sec, 155 secs
lola: 2671083 markings, 9471724 edges, 14976 markings/sec, 160 secs
lola: 2753881 markings, 9767382 edges, 16560 markings/sec, 165 secs
lola: 2831255 markings, 10045832 edges, 15475 markings/sec, 170 secs
lola: 2907345 markings, 10325932 edges, 15218 markings/sec, 175 secs
lola: 2983207 markings, 10602383 edges, 15172 markings/sec, 180 secs
lola: 3059035 markings, 10880716 edges, 15166 markings/sec, 185 secs
lola: 3134964 markings, 11158401 edges, 15186 markings/sec, 190 secs
lola: 3212384 markings, 11442345 edges, 15484 markings/sec, 195 secs
lola: 3297048 markings, 11745294 edges, 16933 markings/sec, 200 secs
lola: 3388231 markings, 12055365 edges, 18237 markings/sec, 205 secs
lola: 3477116 markings, 12360551 edges, 17777 markings/sec, 210 secs
lola: 3567076 markings, 12665860 edges, 17992 markings/sec, 215 secs
lola: 3652421 markings, 12969565 edges, 17069 markings/sec, 220 secs
lola: 3738015 markings, 13281559 edges, 17119 markings/sec, 225 secs
lola: 3821921 markings, 13586145 edges, 16781 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2625)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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 6 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2543)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 89113 markings, 262289 edges, 17823 markings/sec, 0 secs
lola: 177149 markings, 541001 edges, 17607 markings/sec, 5 secs
lola: 264419 markings, 816999 edges, 17454 markings/sec, 10 secs
lola: 351706 markings, 1092406 edges, 17457 markings/sec, 15 secs
lola: 439891 markings, 1369972 edges, 17637 markings/sec, 20 secs
lola: 528871 markings, 1640363 edges, 17796 markings/sec, 25 secs
lola: 610933 markings, 1910556 edges, 16412 markings/sec, 30 secs
lola: 690422 markings, 2196780 edges, 15898 markings/sec, 35 secs
lola: 759328 markings, 2497530 edges, 13781 markings/sec, 40 secs
lola: 832348 markings, 2795539 edges, 14604 markings/sec, 45 secs
lola: 900585 markings, 3084715 edges, 13647 markings/sec, 50 secs
lola: 968947 markings, 3369372 edges, 13672 markings/sec, 55 secs
lola: 1037263 markings, 3653775 edges, 13663 markings/sec, 60 secs
lola: 1108851 markings, 3952022 edges, 14318 markings/sec, 65 secs
lola: 1176872 markings, 4234793 edges, 13604 markings/sec, 70 secs
lola: 1244805 markings, 4516843 edges, 13587 markings/sec, 75 secs
lola: 1317842 markings, 4788315 edges, 14607 markings/sec, 80 secs
lola: 1383034 markings, 5074147 edges, 13038 markings/sec, 85 secs
lola: 1451153 markings, 5356040 edges, 13624 markings/sec, 90 secs
lola: 1518398 markings, 5636632 edges, 13449 markings/sec, 95 secs
lola: 1587778 markings, 5925134 edges, 13876 markings/sec, 100 secs
lola: 1658674 markings, 6220541 edges, 14179 markings/sec, 105 secs
lola: 1729575 markings, 6515867 edges, 14180 markings/sec, 110 secs
lola: 1800538 markings, 6811294 edges, 14193 markings/sec, 115 secs
lola: 1871770 markings, 7106211 edges, 14246 markings/sec, 120 secs
lola: 1946278 markings, 7390212 edges, 14902 markings/sec, 125 secs
lola: 2013338 markings, 7678172 edges, 13412 markings/sec, 130 secs
lola: 2082914 markings, 7958488 edges, 13915 markings/sec, 135 secs
lola: 2149083 markings, 8243443 edges, 13234 markings/sec, 140 secs
lola: 2219791 markings, 8537356 edges, 14142 markings/sec, 145 secs
lola: 2288626 markings, 8824383 edges, 13767 markings/sec, 150 secs
lola: 2359987 markings, 9120322 edges, 14272 markings/sec, 155 secs
lola: 2431086 markings, 9415525 edges, 14220 markings/sec, 160 secs
lola: 2504367 markings, 9711101 edges, 14656 markings/sec, 165 secs
lola: 2585649 markings, 9990935 edges, 16256 markings/sec, 170 secs
lola: 2657664 markings, 10291039 edges, 14403 markings/sec, 175 secs
lola: 2728770 markings, 10587499 edges, 14221 markings/sec, 180 secs
lola: 2798400 markings, 10875780 edges, 13926 markings/sec, 185 secs
lola: 2870397 markings, 11174424 edges, 14399 markings/sec, 190 secs
lola: 2943340 markings, 11472554 edges, 14589 markings/sec, 195 secs
lola: 3015111 markings, 11778226 edges, 14354 markings/sec, 200 secs
lola: 3090231 markings, 12078024 edges, 15024 markings/sec, 205 secs
lola: 3160085 markings, 12380245 edges, 13971 markings/sec, 210 secs
lola: 3228363 markings, 12689534 edges, 13656 markings/sec, 215 secs
lola: 3291777 markings, 13015846 edges, 12683 markings/sec, 220 secs
lola: 3354816 markings, 13341445 edges, 12608 markings/sec, 225 secs
lola: 3417813 markings, 13663694 edges, 12599 markings/sec, 230 secs
lola: 3480440 markings, 13990127 edges, 12525 markings/sec, 235 secs
lola: 3545229 markings, 14318535 edges, 12958 markings/sec, 240 secs
lola: 3608260 markings, 14648553 edges, 12606 markings/sec, 245 secs
lola: 3671915 markings, 14978307 edges, 12731 markings/sec, 250 secs
lola: 3735554 markings, 15306465 edges, 12728 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2044)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 95499 markings, 273429 edges, 19100 markings/sec, 0 secs
lola: 185344 markings, 558822 edges, 17969 markings/sec, 5 secs
lola: 266639 markings, 864422 edges, 16259 markings/sec, 10 secs
lola: 354402 markings, 1154439 edges, 17553 markings/sec, 15 secs
lola: 440573 markings, 1450619 edges, 17234 markings/sec, 20 secs
lola: 520100 markings, 1736395 edges, 15905 markings/sec, 25 secs
lola: 609767 markings, 2025321 edges, 17933 markings/sec, 30 secs
lola: 689231 markings, 2329650 edges, 15893 markings/sec, 35 secs
lola: 783389 markings, 2610812 edges, 18832 markings/sec, 40 secs
lola: 860640 markings, 2923161 edges, 15450 markings/sec, 45 secs
lola: 950139 markings, 3182404 edges, 17900 markings/sec, 50 secs
lola: 1020056 markings, 3475651 edges, 13983 markings/sec, 55 secs
lola: 1109885 markings, 3729915 edges, 17966 markings/sec, 60 secs
lola: 1209464 markings, 4012355 edges, 19916 markings/sec, 65 secs
lola: 1305379 markings, 4315271 edges, 19183 markings/sec, 70 secs
lola: 1401195 markings, 4614132 edges, 19163 markings/sec, 75 secs
lola: 1482392 markings, 4916961 edges, 16239 markings/sec, 80 secs
lola: 1564620 markings, 5214157 edges, 16446 markings/sec, 85 secs
lola: 1643446 markings, 5505276 edges, 15765 markings/sec, 90 secs
lola: 1724768 markings, 5809081 edges, 16264 markings/sec, 95 secs
lola: 1804530 markings, 6105782 edges, 15952 markings/sec, 100 secs
lola: 1885360 markings, 6399117 edges, 16166 markings/sec, 105 secs
lola: 1962837 markings, 6692497 edges, 15495 markings/sec, 110 secs
lola: 2043477 markings, 6983879 edges, 16128 markings/sec, 115 secs
lola: 2124909 markings, 7282646 edges, 16286 markings/sec, 120 secs
lola: 2203977 markings, 7581558 edges, 15814 markings/sec, 125 secs
lola: 2280772 markings, 7874964 edges, 15359 markings/sec, 130 secs
lola: 2365494 markings, 8170689 edges, 16944 markings/sec, 135 secs
lola: 2448704 markings, 8479778 edges, 16642 markings/sec, 140 secs
lola: 2531913 markings, 8785197 edges, 16642 markings/sec, 145 secs
lola: 2614177 markings, 9085870 edges, 16453 markings/sec, 150 secs
lola: 2690828 markings, 9376359 edges, 15330 markings/sec, 155 secs
lola: 2770000 markings, 9671784 edges, 15834 markings/sec, 160 secs
lola: 2851526 markings, 9965381 edges, 16305 markings/sec, 165 secs
lola: 2930265 markings, 10262994 edges, 15748 markings/sec, 170 secs
lola: 3009994 markings, 10557257 edges, 15946 markings/sec, 175 secs
lola: 3089859 markings, 10846257 edges, 15973 markings/sec, 180 secs
lola: 3167927 markings, 11141723 edges, 15614 markings/sec, 185 secs
lola: 3246903 markings, 11433964 edges, 15795 markings/sec, 190 secs
lola: 3326743 markings, 11723672 edges, 15968 markings/sec, 195 secs
lola: 3417629 markings, 12042599 edges, 18177 markings/sec, 200 secs
lola: 3505293 markings, 12349194 edges, 17533 markings/sec, 205 secs
lola: 3595149 markings, 12663647 edges, 17971 markings/sec, 210 secs
lola: 3680349 markings, 12961855 edges, 17040 markings/sec, 215 secs
lola: 3765638 markings, 13270039 edges, 17058 markings/sec, 220 secs
lola: 3850172 markings, 13582699 edges, 16907 markings/sec, 225 secs
lola: 3935389 markings, 13897467 edges, 17043 markings/sec, 230 secs
lola: 4023237 markings, 14213222 edges, 17570 markings/sec, 235 secs
lola: 4100306 markings, 14502532 edges, 15414 markings/sec, 240 secs
lola: 4175300 markings, 14779733 edges, 14999 markings/sec, 245 secs
lola: 4249032 markings, 15051603 edges, 14746 markings/sec, 250 secs
lola: 4331186 markings, 15351824 edges, 16431 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 133713 markings, 280459 edges, 26743 markings/sec, 0 secs
lola: 261300 markings, 602511 edges, 25517 markings/sec, 5 secs
lola: 384851 markings, 901066 edges, 24710 markings/sec, 10 secs
lola: 508428 markings, 1191392 edges, 24715 markings/sec, 15 secs
lola: 635383 markings, 1481400 edges, 25391 markings/sec, 20 secs
lola: 752335 markings, 1784472 edges, 23390 markings/sec, 25 secs
lola: 872365 markings, 2082500 edges, 24006 markings/sec, 30 secs
lola: 995238 markings, 2376718 edges, 24575 markings/sec, 35 secs
lola: 1126756 markings, 2663016 edges, 26304 markings/sec, 40 secs
lola: 1261216 markings, 2956830 edges, 26892 markings/sec, 45 secs
lola: 1390301 markings, 3251713 edges, 25817 markings/sec, 50 secs
lola: 1511569 markings, 3556002 edges, 24254 markings/sec, 55 secs
lola: 1629495 markings, 3858192 edges, 23585 markings/sec, 60 secs
lola: 1748601 markings, 4156336 edges, 23821 markings/sec, 65 secs
lola: 1860818 markings, 4448164 edges, 22443 markings/sec, 70 secs
lola: 1976575 markings, 4745420 edges, 23151 markings/sec, 75 secs
lola: 2094962 markings, 5040315 edges, 23677 markings/sec, 80 secs
lola: 2208603 markings, 5331831 edges, 22728 markings/sec, 85 secs
lola: 2325554 markings, 5624840 edges, 23390 markings/sec, 90 secs
lola: 2430906 markings, 5912035 edges, 21070 markings/sec, 95 secs
lola: 2546568 markings, 6203178 edges, 23132 markings/sec, 100 secs
lola: 2661155 markings, 6491989 edges, 22917 markings/sec, 105 secs
lola: 2774029 markings, 6781837 edges, 22575 markings/sec, 110 secs
lola: 2886966 markings, 7071436 edges, 22587 markings/sec, 115 secs
lola: 3002794 markings, 7367610 edges, 23166 markings/sec, 120 secs
lola: 3120146 markings, 7668354 edges, 23470 markings/sec, 125 secs
lola: 3240136 markings, 7969234 edges, 23998 markings/sec, 130 secs
lola: 3352481 markings, 8279573 edges, 22469 markings/sec, 135 secs
lola: 3482169 markings, 8598825 edges, 25938 markings/sec, 140 secs
lola: 3610897 markings, 8915984 edges, 25746 markings/sec, 145 secs
lola: 3740470 markings, 9235636 edges, 25915 markings/sec, 150 secs
lola: 3865806 markings, 9554042 edges, 25067 markings/sec, 155 secs
lola: 3987166 markings, 9865213 edges, 24272 markings/sec, 160 secs
lola: 4108899 markings, 10173682 edges, 24347 markings/sec, 165 secs
lola: 4225227 markings, 10476781 edges, 23266 markings/sec, 170 secs
lola: 4349000 markings, 10789921 edges, 24755 markings/sec, 175 secs
lola: 4467461 markings, 11094022 edges, 23692 markings/sec, 180 secs
lola: 4592616 markings, 11410761 edges, 25031 markings/sec, 185 secs
lola: 4713173 markings, 11724901 edges, 24111 markings/sec, 190 secs
lola: 4843109 markings, 12054412 edges, 25987 markings/sec, 195 secs
lola: 4974855 markings, 12380170 edges, 26349 markings/sec, 200 secs
lola: 5101814 markings, 12700115 edges, 25392 markings/sec, 205 secs
lola: 5226136 markings, 13019801 edges, 24864 markings/sec, 210 secs
lola: 5352040 markings, 13338027 edges, 25181 markings/sec, 215 secs
lola: 5472743 markings, 13656026 edges, 24141 markings/sec, 220 secs
lola: 5597990 markings, 13972947 edges, 25049 markings/sec, 225 secs
lola: 5720460 markings, 14286320 edges, 24494 markings/sec, 230 secs
lola: 5843925 markings, 14598792 edges, 24693 markings/sec, 235 secs
lola: 5961499 markings, 14912327 edges, 23515 markings/sec, 240 secs
lola: 6094661 markings, 15240528 edges, 26632 markings/sec, 245 secs
lola: 6222750 markings, 15557866 edges, 25618 markings/sec, 250 secs
lola: 6342733 markings, 15863184 edges, 23997 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 103728 markings, 274928 edges, 20746 markings/sec, 0 secs
lola: 191637 markings, 565590 edges, 17582 markings/sec, 5 secs
lola: 271707 markings, 862460 edges, 16014 markings/sec, 10 secs
lola: 368623 markings, 1141399 edges, 19383 markings/sec, 15 secs
lola: 448238 markings, 1436478 edges, 15923 markings/sec, 20 secs
lola: 534334 markings, 1725803 edges, 17219 markings/sec, 25 secs
lola: 624912 markings, 2010996 edges, 18116 markings/sec, 30 secs
lola: 704713 markings, 2305378 edges, 15960 markings/sec, 35 secs
lola: 786168 markings, 2602086 edges, 16291 markings/sec, 40 secs
lola: 868948 markings, 2911164 edges, 16556 markings/sec, 45 secs
lola: 935338 markings, 3222449 edges, 13278 markings/sec, 50 secs
lola: 1001030 markings, 3531128 edges, 13138 markings/sec, 55 secs
lola: 1079858 markings, 3835613 edges, 15766 markings/sec, 60 secs
lola: 1148098 markings, 4141117 edges, 13648 markings/sec, 65 secs
lola: 1212497 markings, 4443334 edges, 12880 markings/sec, 70 secs
lola: 1286449 markings, 4743174 edges, 14790 markings/sec, 75 secs
lola: 1357769 markings, 5046422 edges, 14264 markings/sec, 80 secs
lola: 1422611 markings, 5349451 edges, 12968 markings/sec, 85 secs
lola: 1496906 markings, 5657056 edges, 14859 markings/sec, 90 secs
lola: 1576968 markings, 5955879 edges, 16012 markings/sec, 95 secs
lola: 1647114 markings, 6263763 edges, 14029 markings/sec, 100 secs
lola: 1716439 markings, 6589213 edges, 13865 markings/sec, 105 secs
lola: 1799355 markings, 6921793 edges, 16583 markings/sec, 110 secs
lola: 1874680 markings, 7252131 edges, 15065 markings/sec, 115 secs
lola: 1943053 markings, 7573054 edges, 13675 markings/sec, 120 secs
lola: 2019494 markings, 7881760 edges, 15288 markings/sec, 125 secs
lola: 2094148 markings, 8203640 edges, 14931 markings/sec, 130 secs
lola: 2165377 markings, 8536665 edges, 14246 markings/sec, 135 secs
lola: 2246804 markings, 8858045 edges, 16285 markings/sec, 140 secs
lola: 2332548 markings, 9181998 edges, 17149 markings/sec, 145 secs
lola: 2404172 markings, 9518445 edges, 14325 markings/sec, 150 secs
lola: 2478020 markings, 9850528 edges, 14770 markings/sec, 155 secs
lola: 2556657 markings, 10154129 edges, 15727 markings/sec, 160 secs
lola: 2623226 markings, 10466529 edges, 13314 markings/sec, 165 secs
lola: 2689865 markings, 10779605 edges, 13328 markings/sec, 170 secs
lola: 2768516 markings, 11082222 edges, 15730 markings/sec, 175 secs
lola: 2837606 markings, 11392479 edges, 13818 markings/sec, 180 secs
lola: 2909236 markings, 11729270 edges, 14326 markings/sec, 185 secs
lola: 2994281 markings, 12050209 edges, 17009 markings/sec, 190 secs
lola: 3077185 markings, 12377990 edges, 16581 markings/sec, 195 secs
lola: 3149297 markings, 12715625 edges, 14422 markings/sec, 200 secs
lola: 3226426 markings, 13047940 edges, 15426 markings/sec, 205 secs
lola: 3307713 markings, 13380345 edges, 16257 markings/sec, 210 secs
lola: 3379356 markings, 13715591 edges, 14329 markings/sec, 215 secs
lola: 3456224 markings, 14045358 edges, 15374 markings/sec, 220 secs
lola: 3536920 markings, 14376495 edges, 16139 markings/sec, 225 secs
lola: 3609230 markings, 14714853 edges, 14462 markings/sec, 230 secs
lola: 3688769 markings, 15044119 edges, 15908 markings/sec, 235 secs
lola: 3774568 markings, 15364842 edges, 17160 markings/sec, 240 secs
lola: 3846281 markings, 15687988 edges, 14343 markings/sec, 245 secs
lola: 3916216 markings, 16016742 edges, 13987 markings/sec, 250 secs
lola: 3993908 markings, 16319801 edges, 15538 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2899)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 86082 markings, 207526 edges, 17216 markings/sec, 0 secs
lola: 173486 markings, 431679 edges, 17481 markings/sec, 5 secs
lola: 254362 markings, 661746 edges, 16175 markings/sec, 10 secs
lola: 336443 markings, 895139 edges, 16416 markings/sec, 15 secs
lola: 416797 markings, 1123512 edges, 16071 markings/sec, 20 secs
lola: 497218 markings, 1350901 edges, 16084 markings/sec, 25 secs
lola: 577857 markings, 1580726 edges, 16128 markings/sec, 30 secs
lola: 659418 markings, 1810133 edges, 16312 markings/sec, 35 secs
lola: 741641 markings, 2040405 edges, 16445 markings/sec, 40 secs
lola: 823731 markings, 2270434 edges, 16418 markings/sec, 45 secs
lola: 907016 markings, 2503855 edges, 16657 markings/sec, 50 secs
lola: 991901 markings, 2733876 edges, 16977 markings/sec, 55 secs
lola: 1081040 markings, 2973168 edges, 17828 markings/sec, 60 secs
lola: 1162692 markings, 3233049 edges, 16330 markings/sec, 65 secs
lola: 1240474 markings, 3505000 edges, 15556 markings/sec, 70 secs
lola: 1309641 markings, 3767184 edges, 13833 markings/sec, 75 secs
lola: 1376789 markings, 4025841 edges, 13430 markings/sec, 80 secs
lola: 1444509 markings, 4284883 edges, 13544 markings/sec, 85 secs
lola: 1511463 markings, 4542258 edges, 13391 markings/sec, 90 secs
lola: 1578538 markings, 4800643 edges, 13415 markings/sec, 95 secs
lola: 1646709 markings, 5061538 edges, 13634 markings/sec, 100 secs
lola: 1717734 markings, 5332766 edges, 14205 markings/sec, 105 secs
lola: 1789953 markings, 5607936 edges, 14444 markings/sec, 110 secs
lola: 1861746 markings, 5882034 edges, 14359 markings/sec, 115 secs
lola: 1931976 markings, 6148883 edges, 14046 markings/sec, 120 secs
lola: 2002269 markings, 6415780 edges, 14059 markings/sec, 125 secs
lola: 2072708 markings, 6677347 edges, 14088 markings/sec, 130 secs
lola: 2142426 markings, 6937259 edges, 13944 markings/sec, 135 secs
lola: 2218319 markings, 7195426 edges, 15179 markings/sec, 140 secs
lola: 2293536 markings, 7459201 edges, 15043 markings/sec, 145 secs
lola: 2367794 markings, 7725929 edges, 14852 markings/sec, 150 secs
lola: 2438780 markings, 7999314 edges, 14197 markings/sec, 155 secs
lola: 2508529 markings, 8266767 edges, 13950 markings/sec, 160 secs
lola: 2576622 markings, 8528157 edges, 13619 markings/sec, 165 secs
lola: 2644297 markings, 8788801 edges, 13535 markings/sec, 170 secs
lola: 2710147 markings, 9041287 edges, 13170 markings/sec, 175 secs
lola: 2776009 markings, 9294285 edges, 13172 markings/sec, 180 secs
lola: 2843450 markings, 9550581 edges, 13488 markings/sec, 185 secs
lola: 2910715 markings, 9807402 edges, 13453 markings/sec, 190 secs
lola: 2977192 markings, 10059693 edges, 13295 markings/sec, 195 secs
lola: 3043778 markings, 10313492 edges, 13317 markings/sec, 200 secs
lola: 3112488 markings, 10571930 edges, 13742 markings/sec, 205 secs
lola: 3182175 markings, 10831937 edges, 13937 markings/sec, 210 secs
lola: 3251562 markings, 11089793 edges, 13877 markings/sec, 215 secs
lola: 3328197 markings, 11348063 edges, 15327 markings/sec, 220 secs
lola: 3401285 markings, 11604077 edges, 14618 markings/sec, 225 secs
lola: 3471564 markings, 11859766 edges, 14056 markings/sec, 230 secs
lola: 3537172 markings, 12111855 edges, 13122 markings/sec, 235 secs
lola: 3602378 markings, 12362247 edges, 13041 markings/sec, 240 secs
lola: 3668317 markings, 12615744 edges, 13188 markings/sec, 245 secs
lola: 3733662 markings, 12866570 edges, 13069 markings/sec, 250 secs
lola: 3798417 markings, 13115794 edges, 12951 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2915)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 87658 markings, 211500 edges, 17532 markings/sec, 0 secs
lola: 173468 markings, 431612 edges, 17162 markings/sec, 5 secs
lola: 255966 markings, 666274 edges, 16500 markings/sec, 10 secs
lola: 338981 markings, 902443 edges, 16603 markings/sec, 15 secs
lola: 418477 markings, 1128652 edges, 15899 markings/sec, 20 secs
lola: 498122 markings, 1354085 edges, 15929 markings/sec, 25 secs
lola: 578130 markings, 1581444 edges, 16002 markings/sec, 30 secs
lola: 659094 markings, 1808449 edges, 16193 markings/sec, 35 secs
lola: 739126 markings, 2034046 edges, 16006 markings/sec, 40 secs
lola: 819476 markings, 2258831 edges, 16070 markings/sec, 45 secs
lola: 900092 markings, 2483839 edges, 16123 markings/sec, 50 secs
lola: 981901 markings, 2707263 edges, 16362 markings/sec, 55 secs
lola: 1063740 markings, 2929751 edges, 16368 markings/sec, 60 secs
lola: 1142613 markings, 3162587 edges, 15775 markings/sec, 65 secs
lola: 1213729 markings, 3411784 edges, 14223 markings/sec, 70 secs
lola: 1283540 markings, 3666374 edges, 13962 markings/sec, 75 secs
lola: 1350609 markings, 3923978 edges, 13414 markings/sec, 80 secs
lola: 1416911 markings, 4179235 edges, 13260 markings/sec, 85 secs
lola: 1483821 markings, 4436217 edges, 13382 markings/sec, 90 secs
lola: 1550421 markings, 4691835 edges, 13320 markings/sec, 95 secs
lola: 1616930 markings, 4948176 edges, 13302 markings/sec, 100 secs
lola: 1683849 markings, 5204063 edges, 13384 markings/sec, 105 secs
lola: 1751663 markings, 5462236 edges, 13563 markings/sec, 110 secs
lola: 1818711 markings, 5718157 edges, 13410 markings/sec, 115 secs
lola: 1887649 markings, 5979988 edges, 13788 markings/sec, 120 secs
lola: 1957584 markings, 6246761 edges, 13987 markings/sec, 125 secs
lola: 2028920 markings, 6515153 edges, 14267 markings/sec, 130 secs
lola: 2100071 markings, 6779130 edges, 14230 markings/sec, 135 secs
lola: 2171682 markings, 7044789 edges, 14322 markings/sec, 140 secs
lola: 2248480 markings, 7301093 edges, 15360 markings/sec, 145 secs
lola: 2321475 markings, 7556672 edges, 14599 markings/sec, 150 secs
lola: 2390758 markings, 7814285 edges, 13857 markings/sec, 155 secs
lola: 2459381 markings, 8077403 edges, 13725 markings/sec, 160 secs
lola: 2528971 markings, 8345749 edges, 13918 markings/sec, 165 secs
lola: 2599478 markings, 8616246 edges, 14101 markings/sec, 170 secs
lola: 2669800 markings, 8885510 edges, 14064 markings/sec, 175 secs
lola: 2736395 markings, 9141673 edges, 13319 markings/sec, 180 secs
lola: 2801867 markings, 9392776 edges, 13094 markings/sec, 185 secs
lola: 2869329 markings, 9649208 edges, 13492 markings/sec, 190 secs
lola: 2937846 markings, 9910582 edges, 13703 markings/sec, 195 secs
lola: 3007162 markings, 10174306 edges, 13863 markings/sec, 200 secs
lola: 3076572 markings, 10438103 edges, 13882 markings/sec, 205 secs
lola: 3146802 markings, 10700246 edges, 14046 markings/sec, 210 secs
lola: 3218065 markings, 10964705 edges, 14253 markings/sec, 215 secs
lola: 3292024 markings, 11225134 edges, 14792 markings/sec, 220 secs
lola: 3367343 markings, 11485265 edges, 15064 markings/sec, 225 secs
lola: 3441322 markings, 11744174 edges, 14796 markings/sec, 230 secs
lola: 3512270 markings, 12016402 edges, 14190 markings/sec, 235 secs
lola: 3582309 markings, 12285811 edges, 14008 markings/sec, 240 secs
lola: 3653196 markings, 12557748 edges, 14177 markings/sec, 245 secs
lola: 3723701 markings, 12829211 edges, 14101 markings/sec, 250 secs
lola: 3794344 markings, 13100416 edges, 14129 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2453)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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 13 will run for 349 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1636)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 94263 markings, 269071 edges, 18853 markings/sec, 0 secs
lola: 181268 markings, 548858 edges, 17401 markings/sec, 5 secs
lola: 261275 markings, 847767 edges, 16001 markings/sec, 10 secs
lola: 348769 markings, 1129429 edges, 17499 markings/sec, 15 secs
lola: 430068 markings, 1424830 edges, 16260 markings/sec, 20 secs
lola: 516115 markings, 1718560 edges, 17209 markings/sec, 25 secs
lola: 605051 markings, 2013707 edges, 17787 markings/sec, 30 secs
lola: 682255 markings, 2302424 edges, 15441 markings/sec, 35 secs
lola: 775317 markings, 2590860 edges, 18612 markings/sec, 40 secs
lola: 853756 markings, 2899435 edges, 15688 markings/sec, 45 secs
lola: 948431 markings, 3175292 edges, 18935 markings/sec, 50 secs
lola: 1024745 markings, 3491798 edges, 15263 markings/sec, 55 secs
lola: 1120450 markings, 3758036 edges, 19141 markings/sec, 60 secs
lola: 1214871 markings, 4029752 edges, 18884 markings/sec, 65 secs
lola: 1305072 markings, 4314310 edges, 18040 markings/sec, 70 secs
lola: 1395304 markings, 4593908 edges, 18046 markings/sec, 75 secs
lola: 1473107 markings, 4883043 edges, 15561 markings/sec, 80 secs
lola: 1551545 markings, 5172459 edges, 15688 markings/sec, 85 secs
lola: 1635311 markings, 5480298 edges, 16753 markings/sec, 90 secs
lola: 1714641 markings, 5780120 edges, 15866 markings/sec, 95 secs
lola: 1796418 markings, 6074671 edges, 16355 markings/sec, 100 secs
lola: 1876766 markings, 6372787 edges, 16070 markings/sec, 105 secs
lola: 1955721 markings, 6671135 edges, 15791 markings/sec, 110 secs
lola: 2032539 markings, 6951732 edges, 15364 markings/sec, 115 secs
lola: 2111062 markings, 7239450 edges, 15705 markings/sec, 120 secs
lola: 2188750 markings, 7530613 edges, 15538 markings/sec, 125 secs
lola: 2263355 markings, 7807376 edges, 14921 markings/sec, 130 secs
lola: 2339517 markings, 8086794 edges, 15232 markings/sec, 135 secs
lola: 2422058 markings, 8375408 edges, 16508 markings/sec, 140 secs
lola: 2504022 markings, 8674651 edges, 16393 markings/sec, 145 secs
lola: 2581796 markings, 8971696 edges, 15555 markings/sec, 150 secs
lola: 2659769 markings, 9252407 edges, 15595 markings/sec, 155 secs
lola: 2735171 markings, 9536648 edges, 15080 markings/sec, 160 secs
lola: 2810033 markings, 9818093 edges, 14972 markings/sec, 165 secs
lola: 2887763 markings, 10097358 edges, 15546 markings/sec, 170 secs
lola: 2964656 markings, 10382713 edges, 15379 markings/sec, 175 secs
lola: 3043146 markings, 10681089 edges, 15698 markings/sec, 180 secs
lola: 3124507 markings, 10979497 edges, 16272 markings/sec, 185 secs
lola: 3208471 markings, 11285119 edges, 16793 markings/sec, 190 secs
lola: 3290024 markings, 11593525 edges, 16311 markings/sec, 195 secs
lola: 3379435 markings, 11909120 edges, 17882 markings/sec, 200 secs
lola: 3468685 markings, 12221242 edges, 17850 markings/sec, 205 secs
lola: 3555115 markings, 12523622 edges, 17286 markings/sec, 210 secs
lola: 3639550 markings, 12819360 edges, 16887 markings/sec, 215 secs
lola: 3721305 markings, 13108222 edges, 16351 markings/sec, 220 secs
lola: 3798935 markings, 13391899 edges, 15526 markings/sec, 225 secs
lola: 3878854 markings, 13691400 edges, 15984 markings/sec, 230 secs
lola: 3959333 markings, 13981638 edges, 16096 markings/sec, 235 secs
lola: 4039725 markings, 14278055 edges, 16078 markings/sec, 240 secs
lola: 4118386 markings, 14571831 edges, 15732 markings/sec, 245 secs
lola: 4198614 markings, 14863262 edges, 16046 markings/sec, 250 secs
lola: 4280600 markings, 15162671 edges, 16397 markings/sec, 255 secs
lola: 4360348 markings, 15457619 edges, 15950 markings/sec, 260 secs
lola: 4439657 markings, 15751494 edges, 15862 markings/sec, 265 secs
lola: 4520167 markings, 16046726 edges, 16102 markings/sec, 270 secs
lola: 4599678 markings, 16339435 edges, 15902 markings/sec, 275 secs
lola: 4679928 markings, 16636718 edges, 16050 markings/sec, 280 secs
lola: 4767254 markings, 16950019 edges, 17465 markings/sec, 285 secs
lola: 4858299 markings, 17268243 edges, 18209 markings/sec, 290 secs
lola: 4945111 markings, 17579650 edges, 17362 markings/sec, 295 secs
lola: 5029114 markings, 17886115 edges, 16801 markings/sec, 300 secs
lola: 5112251 markings, 18190744 edges, 16627 markings/sec, 305 secs
lola: 5194598 markings, 18496246 edges, 16469 markings/sec, 310 secs
lola: 5276899 markings, 18801057 edges, 16460 markings/sec, 315 secs
lola: 5359496 markings, 19100148 edges, 16519 markings/sec, 320 secs
lola: 5441486 markings, 19404340 edges, 16398 markings/sec, 325 secs
lola: 5524165 markings, 19710164 edges, 16536 markings/sec, 330 secs
lola: 5607578 markings, 20011757 edges, 16683 markings/sec, 335 secs
lola: 5691578 markings, 20319348 edges, 16800 markings/sec, 340 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 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p932)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 98291 markings, 238000 edges, 19658 markings/sec, 0 secs
lola: 192340 markings, 485094 edges, 18810 markings/sec, 5 secs
lola: 275710 markings, 722251 edges, 16674 markings/sec, 10 secs
lola: 358460 markings, 958109 edges, 16550 markings/sec, 15 secs
lola: 441963 markings, 1194591 edges, 16701 markings/sec, 20 secs
lola: 530364 markings, 1445514 edges, 17680 markings/sec, 25 secs
lola: 619894 markings, 1699060 edges, 17906 markings/sec, 30 secs
lola: 709443 markings, 1950820 edges, 17910 markings/sec, 35 secs
lola: 796681 markings, 2194528 edges, 17448 markings/sec, 40 secs
lola: 880588 markings, 2430590 edges, 16781 markings/sec, 45 secs
lola: 965683 markings, 2663695 edges, 17019 markings/sec, 50 secs
lola: 1051098 markings, 2894709 edges, 17083 markings/sec, 55 secs
lola: 1133554 markings, 3130763 edges, 16491 markings/sec, 60 secs
lola: 1213470 markings, 3410846 edges, 15983 markings/sec, 65 secs
lola: 1289630 markings, 3690274 edges, 15232 markings/sec, 70 secs
lola: 1358399 markings, 3954789 edges, 13754 markings/sec, 75 secs
lola: 1424273 markings, 4207721 edges, 13175 markings/sec, 80 secs
lola: 1494490 markings, 4476876 edges, 14043 markings/sec, 85 secs
lola: 1565611 markings, 4750312 edges, 14224 markings/sec, 90 secs
lola: 1634795 markings, 5016508 edges, 13837 markings/sec, 95 secs
lola: 1705866 markings, 5287787 edges, 14214 markings/sec, 100 secs
lola: 1780400 markings, 5572868 edges, 14907 markings/sec, 105 secs
lola: 1855999 markings, 5860268 edges, 15120 markings/sec, 110 secs
lola: 1929873 markings, 6141319 edges, 14775 markings/sec, 115 secs
lola: 2005668 markings, 6427446 edges, 15159 markings/sec, 120 secs
lola: 2080757 markings, 6708102 edges, 15018 markings/sec, 125 secs
lola: 2155615 markings, 6986066 edges, 14972 markings/sec, 130 secs
lola: 2231743 markings, 7242405 edges, 15226 markings/sec, 135 secs
lola: 2305101 markings, 7499627 edges, 14672 markings/sec, 140 secs
lola: 2377508 markings, 7763275 edges, 14481 markings/sec, 145 secs
lola: 2447594 markings, 8033009 edges, 14017 markings/sec, 150 secs
lola: 2516340 markings, 8297737 edges, 13749 markings/sec, 155 secs
lola: 2585314 markings, 8561921 edges, 13795 markings/sec, 160 secs
lola: 2653898 markings, 8825436 edges, 13717 markings/sec, 165 secs
lola: 2722810 markings, 9090120 edges, 13782 markings/sec, 170 secs
lola: 2791779 markings, 9354807 edges, 13794 markings/sec, 175 secs
lola: 2861640 markings, 9619670 edges, 13972 markings/sec, 180 secs
lola: 2933365 markings, 9893752 edges, 14345 markings/sec, 185 secs
lola: 3006922 markings, 10173581 edges, 14711 markings/sec, 190 secs
lola: 3079241 markings, 10447605 edges, 14464 markings/sec, 195 secs
lola: 3152799 markings, 10722867 edges, 14712 markings/sec, 200 secs
lola: 3225416 markings, 10992608 edges, 14523 markings/sec, 205 secs
lola: 3302153 markings, 11258220 edges, 15347 markings/sec, 210 secs
lola: 3380422 markings, 11531001 edges, 15654 markings/sec, 215 secs
lola: 3457963 markings, 11808105 edges, 15508 markings/sec, 220 secs
lola: 3530802 markings, 12088024 edges, 14568 markings/sec, 225 secs
lola: 3602669 markings, 12363083 edges, 14373 markings/sec, 230 secs
lola: 3673860 markings, 12637318 edges, 14238 markings/sec, 235 secs
lola: 3743052 markings, 12902647 edges, 13838 markings/sec, 240 secs
lola: 3816042 markings, 13183547 edges, 14598 markings/sec, 245 secs
lola: 3890485 markings, 13468166 edges, 14889 markings/sec, 250 secs
lola: 3963942 markings, 13748527 edges, 14691 markings/sec, 255 secs
lola: 4036004 markings, 14023428 edges, 14412 markings/sec, 260 secs
lola: 4107524 markings, 14294968 edges, 14304 markings/sec, 265 secs
lola: 4179478 markings, 14568897 edges, 14391 markings/sec, 270 secs
lola: 4253908 markings, 14845385 edges, 14886 markings/sec, 275 secs
lola: 4324381 markings, 15107701 edges, 14095 markings/sec, 280 secs
lola: 4397252 markings, 15358871 edges, 14574 markings/sec, 285 secs
lola: 4472430 markings, 15621031 edges, 15036 markings/sec, 290 secs
lola: 4548454 markings, 15891200 edges, 15205 markings/sec, 295 secs
lola: 4622066 markings, 16173994 edges, 14722 markings/sec, 300 secs
lola: 4693880 markings, 16450507 edges, 14363 markings/sec, 305 secs
lola: 4766534 markings, 16728759 edges, 14531 markings/sec, 310 secs
lola: 4837077 markings, 17000179 edges, 14109 markings/sec, 315 secs
lola: 4906288 markings, 17265252 edges, 13842 markings/sec, 320 secs
lola: 4978563 markings, 17542717 edges, 14455 markings/sec, 325 secs
lola: 5050889 markings, 17818281 edges, 14465 markings/sec, 330 secs
lola: 5123164 markings, 18093248 edges, 14455 markings/sec, 335 secs
lola: 5194444 markings, 18363853 edges, 14256 markings/sec, 340 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 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 192742 markings, 318105 edges, 38548 markings/sec, 0 secs
lola: 363353 markings, 654063 edges, 34122 markings/sec, 5 secs
lola: 532339 markings, 979666 edges, 33797 markings/sec, 10 secs
lola: 699100 markings, 1303064 edges, 33352 markings/sec, 15 secs
lola: 855409 markings, 1619728 edges, 31262 markings/sec, 20 secs
lola: 1031097 markings, 1924507 edges, 35138 markings/sec, 25 secs
lola: 1181536 markings, 2233713 edges, 30088 markings/sec, 30 secs
lola: 1337750 markings, 2567081 edges, 31243 markings/sec, 35 secs
lola: 1510296 markings, 2886349 edges, 34509 markings/sec, 40 secs
lola: 1687735 markings, 3211078 edges, 35488 markings/sec, 45 secs
lola: 1837263 markings, 3548446 edges, 29906 markings/sec, 50 secs
lola: 2012520 markings, 3886042 edges, 35051 markings/sec, 55 secs
lola: 2200275 markings, 4210806 edges, 37551 markings/sec, 60 secs
lola: 2349466 markings, 4552526 edges, 29838 markings/sec, 65 secs
lola: 2518444 markings, 4886132 edges, 33796 markings/sec, 70 secs
lola: 2709029 markings, 5205129 edges, 38117 markings/sec, 75 secs
lola: 2867445 markings, 5558904 edges, 31683 markings/sec, 80 secs
lola: 3038345 markings, 5906963 edges, 34180 markings/sec, 85 secs
lola: 3230619 markings, 6236743 edges, 38455 markings/sec, 90 secs
lola: 3390826 markings, 6582103 edges, 32041 markings/sec, 95 secs
lola: 3558219 markings, 6926063 edges, 33479 markings/sec, 100 secs
lola: 3742787 markings, 7252064 edges, 36914 markings/sec, 105 secs
lola: 3934360 markings, 7572282 edges, 38315 markings/sec, 110 secs
lola: 4126273 markings, 7916596 edges, 38383 markings/sec, 115 secs
lola: 4308490 markings, 8254132 edges, 36443 markings/sec, 120 secs
lola: 4487230 markings, 8588318 edges, 35748 markings/sec, 125 secs
lola: 4667474 markings, 8921940 edges, 36049 markings/sec, 130 secs
lola: 4834988 markings, 9249592 edges, 33503 markings/sec, 135 secs
lola: 4999185 markings, 9591595 edges, 32839 markings/sec, 140 secs
lola: 5166882 markings, 9927854 edges, 33539 markings/sec, 145 secs
lola: 5328741 markings, 10260929 edges, 32372 markings/sec, 150 secs
lola: 5497048 markings, 10597694 edges, 33661 markings/sec, 155 secs
lola: 5660325 markings, 10937738 edges, 32655 markings/sec, 160 secs
lola: 5829328 markings, 11281500 edges, 33801 markings/sec, 165 secs
lola: 5996790 markings, 11621967 edges, 33492 markings/sec, 170 secs
lola: 6161688 markings, 11953656 edges, 32980 markings/sec, 175 secs
lola: 6322908 markings, 12280926 edges, 32244 markings/sec, 180 secs
lola: 6477398 markings, 12606507 edges, 30898 markings/sec, 185 secs
lola: 6638568 markings, 12945230 edges, 32234 markings/sec, 190 secs
lola: 6807652 markings, 13286518 edges, 33817 markings/sec, 195 secs
lola: 6974501 markings, 13624601 edges, 33370 markings/sec, 200 secs
lola: 7143761 markings, 13962785 edges, 33852 markings/sec, 205 secs
lola: 7305814 markings, 14301979 edges, 32411 markings/sec, 210 secs
lola: 7472558 markings, 14639827 edges, 33349 markings/sec, 215 secs
lola: 7641863 markings, 14983816 edges, 33861 markings/sec, 220 secs
lola: 7794538 markings, 15301765 edges, 30535 markings/sec, 225 secs
lola: 7956480 markings, 15627889 edges, 32388 markings/sec, 230 secs
lola: 8101519 markings, 15950225 edges, 29008 markings/sec, 235 secs
lola: 8268943 markings, 16290344 edges, 33485 markings/sec, 240 secs
lola: 8437677 markings, 16640366 edges, 33747 markings/sec, 245 secs
lola: 8608356 markings, 16982331 edges, 34136 markings/sec, 250 secs
lola: 8776236 markings, 17325663 edges, 33576 markings/sec, 255 secs
lola: 8941818 markings, 17662612 edges, 33116 markings/sec, 260 secs
lola: 9107228 markings, 18007707 edges, 33082 markings/sec, 265 secs
lola: 9268433 markings, 18332262 edges, 32241 markings/sec, 270 secs
lola: 9427955 markings, 18660146 edges, 31904 markings/sec, 275 secs
lola: 9591401 markings, 18992277 edges, 32689 markings/sec, 280 secs
lola: 9751843 markings, 19322923 edges, 32088 markings/sec, 285 secs
lola: 9917575 markings, 19669169 edges, 33146 markings/sec, 290 secs
lola: 10084307 markings, 20008385 edges, 33346 markings/sec, 295 secs
lola: 10248271 markings, 20342541 edges, 32793 markings/sec, 300 secs
lola: 10413698 markings, 20678780 edges, 33085 markings/sec, 305 secs
lola: 10572841 markings, 21005259 edges, 31829 markings/sec, 310 secs
lola: 10732887 markings, 21339122 edges, 32009 markings/sec, 315 secs
lola: 10895950 markings, 21664493 edges, 32613 markings/sec, 320 secs
lola: 11038384 markings, 21952825 edges, 28487 markings/sec, 325 secs
lola: 11182910 markings, 22251617 edges, 28905 markings/sec, 330 secs
lola: 11319459 markings, 22555504 edges, 27310 markings/sec, 335 secs
lola: 11483024 markings, 22891635 edges, 32713 markings/sec, 340 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
FORMULA AutoFlight-PT-48b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496341944375
--------------------
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_AutoFlight-PT-48b"
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_AutoFlight-PT-48b.tgz
mv S_AutoFlight-PT-48b 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_AutoFlight-PT-48b, 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 r088-csrt-149441074200263"
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 ;