About the Execution of LoLA for Parking-PT-864
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3528.090 | 3540127.00 | 3549838.00 | 322.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 Parking-PT-864, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484900335
=====================================================================
--------------------
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 Parking-PT-864-UpperBounds-0
FORMULA_NAME Parking-PT-864-UpperBounds-1
FORMULA_NAME Parking-PT-864-UpperBounds-10
FORMULA_NAME Parking-PT-864-UpperBounds-11
FORMULA_NAME Parking-PT-864-UpperBounds-12
FORMULA_NAME Parking-PT-864-UpperBounds-13
FORMULA_NAME Parking-PT-864-UpperBounds-14
FORMULA_NAME Parking-PT-864-UpperBounds-15
FORMULA_NAME Parking-PT-864-UpperBounds-2
FORMULA_NAME Parking-PT-864-UpperBounds-3
FORMULA_NAME Parking-PT-864-UpperBounds-4
FORMULA_NAME Parking-PT-864-UpperBounds-5
FORMULA_NAME Parking-PT-864-UpperBounds-6
FORMULA_NAME Parking-PT-864-UpperBounds-7
FORMULA_NAME Parking-PT-864-UpperBounds-8
FORMULA_NAME Parking-PT-864-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494647244320
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Parking-PT-864 @ 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: 2882/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 1185 places, 1697 transitions, 905 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1146 transition conflict sets
lola: TASK
lola: reading formula from Parking-PT-864-UpperBounds.task
lola: MAX(p881) : MAX(p131) : MAX(p493) : MAX(p845) : MAX(p58) : MAX(p449) : MAX(p1161) : MAX(p421) : MAX(p652) : MAX(p872) : MAX(p721) : MAX(p719) : MAX(p880) : MAX(p21) : MAX(p1043) : MAX(p471)
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(p881)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 659274 markings, 1569924 edges, 131855 markings/sec, 0 secs
lola: 1384682 markings, 3306544 edges, 145082 markings/sec, 5 secs
lola: 2019414 markings, 4846128 edges, 126946 markings/sec, 10 secs
lola: 2670454 markings, 6429096 edges, 130208 markings/sec, 15 secs
lola: 3347920 markings, 8078725 edges, 135493 markings/sec, 20 secs
lola: 3995178 markings, 9659625 edges, 129452 markings/sec, 25 secs
lola: 4606588 markings, 11153087 edges, 122282 markings/sec, 30 secs
lola: 5240122 markings, 12725911 edges, 126707 markings/sec, 35 secs
lola: 5844400 markings, 14258422 edges, 120856 markings/sec, 40 secs
lola: 6468064 markings, 15812891 edges, 124733 markings/sec, 45 secs
lola: 7113078 markings, 17378026 edges, 129003 markings/sec, 50 secs
lola: 7743242 markings, 18910689 edges, 126033 markings/sec, 55 secs
lola: 8397634 markings, 20507552 edges, 130878 markings/sec, 60 secs
lola: 9038213 markings, 22075800 edges, 128116 markings/sec, 65 secs
lola: 9642857 markings, 23556672 edges, 120929 markings/sec, 70 secs
lola: 10251010 markings, 25071210 edges, 121631 markings/sec, 75 secs
lola: 10867030 markings, 26615900 edges, 123204 markings/sec, 80 secs
lola: 11479122 markings, 28163499 edges, 122418 markings/sec, 85 secs
lola: 12034501 markings, 29513220 edges, 111076 markings/sec, 90 secs
lola: 12602811 markings, 30901324 edges, 113662 markings/sec, 95 secs
lola: 13165069 markings, 32265171 edges, 112452 markings/sec, 100 secs
lola: 13790931 markings, 33789843 edges, 125172 markings/sec, 105 secs
lola: 14409760 markings, 35303282 edges, 123766 markings/sec, 110 secs
lola: 15008253 markings, 36764296 edges, 119699 markings/sec, 115 secs
lola: 15623650 markings, 38294255 edges, 123079 markings/sec, 120 secs
lola: 16221477 markings, 39788114 edges, 119565 markings/sec, 125 secs
lola: 16831355 markings, 41337304 edges, 121976 markings/sec, 130 secs
lola: 17387464 markings, 42682987 edges, 111222 markings/sec, 135 secs
lola: 17945562 markings, 44045315 edges, 111620 markings/sec, 140 secs
lola: 18511994 markings, 45425224 edges, 113286 markings/sec, 145 secs
lola: 19148827 markings, 46981422 edges, 127367 markings/sec, 150 secs
lola: 19758631 markings, 48474417 edges, 121961 markings/sec, 155 secs
lola: 20343376 markings, 49907516 edges, 116949 markings/sec, 160 secs
lola: 20961900 markings, 51449447 edges, 123705 markings/sec, 165 secs
lola: 21553129 markings, 52956409 edges, 118246 markings/sec, 170 secs
lola: 22160455 markings, 54475758 edges, 121465 markings/sec, 175 secs
lola: 22783905 markings, 55988919 edges, 124690 markings/sec, 180 secs
lola: 23363192 markings, 57396379 edges, 115857 markings/sec, 185 secs
lola: 23992565 markings, 58931926 edges, 125875 markings/sec, 190 secs
lola: 24631715 markings, 60495865 edges, 127830 markings/sec, 195 secs
lola: 25245970 markings, 61999468 edges, 122851 markings/sec, 200 secs
lola: 25835914 markings, 63471426 edges, 117989 markings/sec, 205 secs
lola: 26475089 markings, 65070303 edges, 127835 markings/sec, 210 secs
lola: 27075536 markings, 66590698 edges, 120089 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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 589866 markings, 1448920 edges, 117973 markings/sec, 0 secs
lola: 1009356 markings, 2803808 edges, 83898 markings/sec, 5 secs
lola: 1404144 markings, 4109359 edges, 78958 markings/sec, 10 secs
lola: 1718846 markings, 5119204 edges, 62940 markings/sec, 15 secs
lola: 2066655 markings, 6284700 edges, 69562 markings/sec, 20 secs
lola: 2442463 markings, 7569173 edges, 75162 markings/sec, 25 secs
lola: 2843782 markings, 8880253 edges, 80264 markings/sec, 30 secs
lola: 3247772 markings, 10244825 edges, 80798 markings/sec, 35 secs
lola: 3594418 markings, 11438368 edges, 69329 markings/sec, 40 secs
lola: 3968167 markings, 12707372 edges, 74750 markings/sec, 45 secs
lola: 4267920 markings, 13738856 edges, 59951 markings/sec, 50 secs
lola: 4634061 markings, 15033881 edges, 73228 markings/sec, 55 secs
lola: 4997045 markings, 16330776 edges, 72597 markings/sec, 60 secs
lola: 5303870 markings, 17304737 edges, 61365 markings/sec, 65 secs
lola: 5643427 markings, 18419893 edges, 67911 markings/sec, 70 secs
lola: 5983335 markings, 19556583 edges, 67982 markings/sec, 75 secs
lola: 6302037 markings, 20622973 edges, 63740 markings/sec, 80 secs
lola: 6577901 markings, 21530631 edges, 55173 markings/sec, 85 secs
lola: 6882752 markings, 22574720 edges, 60970 markings/sec, 90 secs
lola: 7204884 markings, 23704435 edges, 64426 markings/sec, 95 secs
lola: 7537857 markings, 24852312 edges, 66595 markings/sec, 100 secs
lola: 7818741 markings, 25761557 edges, 56177 markings/sec, 105 secs
lola: 8111470 markings, 26771330 edges, 58546 markings/sec, 110 secs
lola: 8420374 markings, 27856908 edges, 61781 markings/sec, 115 secs
lola: 8731079 markings, 28930170 edges, 62141 markings/sec, 120 secs
lola: 8996245 markings, 29833337 edges, 53033 markings/sec, 125 secs
lola: 9293952 markings, 30900172 edges, 59541 markings/sec, 130 secs
lola: 9613621 markings, 32067909 edges, 63934 markings/sec, 135 secs
lola: 9979791 markings, 33338744 edges, 73234 markings/sec, 140 secs
lola: 10353992 markings, 34578301 edges, 74840 markings/sec, 145 secs
lola: 10689762 markings, 35720593 edges, 67154 markings/sec, 150 secs
lola: 11049555 markings, 36954120 edges, 71959 markings/sec, 155 secs
lola: 11327335 markings, 37887272 edges, 55556 markings/sec, 160 secs
lola: 11636406 markings, 38976428 edges, 61814 markings/sec, 165 secs
lola: 11960157 markings, 40131877 edges, 64750 markings/sec, 170 secs
lola: 12299696 markings, 41331332 edges, 67908 markings/sec, 175 secs
lola: 12559053 markings, 42187270 edges, 51871 markings/sec, 180 secs
lola: 12867842 markings, 43239320 edges, 61758 markings/sec, 185 secs
lola: 13214134 markings, 44454401 edges, 69258 markings/sec, 190 secs
lola: 13550936 markings, 45623670 edges, 67360 markings/sec, 195 secs
lola: 13817374 markings, 46530847 edges, 53288 markings/sec, 200 secs
lola: 14139838 markings, 47694686 edges, 64493 markings/sec, 205 secs
lola: 14494090 markings, 48983581 edges, 70850 markings/sec, 210 secs
lola: 14876632 markings, 50287372 edges, 76508 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(p493)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 1058989 markings, 1520740 edges, 211798 markings/sec, 0 secs
lola: 2067029 markings, 3033202 edges, 201608 markings/sec, 5 secs
lola: 3067616 markings, 4538477 edges, 200117 markings/sec, 10 secs
lola: 4053616 markings, 6041465 edges, 197200 markings/sec, 15 secs
lola: 5093252 markings, 7607815 edges, 207927 markings/sec, 20 secs
lola: 6138884 markings, 9150731 edges, 209126 markings/sec, 25 secs
lola: 7184865 markings, 10695798 edges, 209196 markings/sec, 30 secs
lola: 8229304 markings, 12240748 edges, 208888 markings/sec, 35 secs
lola: 9268919 markings, 13776428 edges, 207923 markings/sec, 40 secs
lola: 10311632 markings, 15318765 edges, 208543 markings/sec, 45 secs
lola: 11338145 markings, 16837057 edges, 205303 markings/sec, 50 secs
lola: 12385886 markings, 18378173 edges, 209548 markings/sec, 55 secs
lola: 13430637 markings, 19924131 edges, 208950 markings/sec, 60 secs
lola: 14477163 markings, 21465069 edges, 209305 markings/sec, 65 secs
lola: 15518037 markings, 22999925 edges, 208175 markings/sec, 70 secs
lola: 16548140 markings, 24521653 edges, 206021 markings/sec, 75 secs
lola: 17564726 markings, 26028782 edges, 203317 markings/sec, 80 secs
lola: 18576339 markings, 27535851 edges, 202323 markings/sec, 85 secs
lola: 19583063 markings, 29043781 edges, 201345 markings/sec, 90 secs
lola: 20582354 markings, 30538056 edges, 199858 markings/sec, 95 secs
lola: 21575414 markings, 32024961 edges, 198612 markings/sec, 100 secs
lola: 22567239 markings, 33512387 edges, 198365 markings/sec, 105 secs
lola: 23555625 markings, 34990638 edges, 197677 markings/sec, 110 secs
lola: 24510554 markings, 36420912 edges, 190986 markings/sec, 115 secs
lola: 25480590 markings, 37874561 edges, 194007 markings/sec, 120 secs
lola: 26404800 markings, 39256453 edges, 184842 markings/sec, 125 secs
lola: 27376964 markings, 40712241 edges, 194433 markings/sec, 130 secs
lola: 28306562 markings, 42104686 edges, 185920 markings/sec, 135 secs
lola: 29221275 markings, 43467577 edges, 182943 markings/sec, 140 secs
lola: 30106614 markings, 44792795 edges, 177068 markings/sec, 145 secs
lola: 30956380 markings, 46059224 edges, 169953 markings/sec, 150 secs
lola: 31914257 markings, 47488923 edges, 191575 markings/sec, 155 secs
lola: 32886529 markings, 48966308 edges, 194454 markings/sec, 160 secs
lola: 33880349 markings, 50485769 edges, 198764 markings/sec, 165 secs
lola: 34884844 markings, 51995701 edges, 200899 markings/sec, 170 secs
lola: 35849644 markings, 53429888 edges, 192960 markings/sec, 175 secs
lola: 36845864 markings, 54936391 edges, 199244 markings/sec, 180 secs
lola: 37824913 markings, 56446186 edges, 195810 markings/sec, 185 secs
lola: 38838295 markings, 57947497 edges, 202676 markings/sec, 190 secs
lola: 39833549 markings, 59442653 edges, 199051 markings/sec, 195 secs
lola: 40809484 markings, 60954115 edges, 195187 markings/sec, 200 secs
lola: 41763573 markings, 62372787 edges, 190818 markings/sec, 205 secs
lola: 42734682 markings, 63819104 edges, 194222 markings/sec, 210 secs
lola: 43689784 markings, 65274300 edges, 191020 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p845)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 737885 markings, 1757184 edges, 147577 markings/sec, 0 secs
lola: 1358189 markings, 3243253 edges, 124061 markings/sec, 5 secs
lola: 1992819 markings, 4792319 edges, 126926 markings/sec, 10 secs
lola: 2603245 markings, 6287796 edges, 122085 markings/sec, 15 secs
lola: 3203709 markings, 7771428 edges, 120093 markings/sec, 20 secs
lola: 3806933 markings, 9244384 edges, 120645 markings/sec, 25 secs
lola: 4410435 markings, 10717372 edges, 120700 markings/sec, 30 secs
lola: 5021734 markings, 12235988 edges, 122260 markings/sec, 35 secs
lola: 5607787 markings, 13700863 edges, 117211 markings/sec, 40 secs
lola: 6065101 markings, 14844253 edges, 91463 markings/sec, 45 secs
lola: 6638414 markings, 16268889 edges, 114663 markings/sec, 50 secs
lola: 7196335 markings, 17636045 edges, 111584 markings/sec, 55 secs
lola: 7784578 markings, 19078746 edges, 117649 markings/sec, 60 secs
lola: 8326799 markings, 20422633 edges, 108444 markings/sec, 65 secs
lola: 8933305 markings, 21905769 edges, 121301 markings/sec, 70 secs
lola: 9541346 markings, 23395721 edges, 121608 markings/sec, 75 secs
lola: 10070695 markings, 24691977 edges, 105870 markings/sec, 80 secs
lola: 10676361 markings, 26207557 edges, 121133 markings/sec, 85 secs
lola: 11259413 markings, 27688965 edges, 116610 markings/sec, 90 secs
lola: 11825650 markings, 29103820 edges, 113247 markings/sec, 95 secs
lola: 12305662 markings, 30277925 edges, 96002 markings/sec, 100 secs
lola: 12789935 markings, 31468035 edges, 96855 markings/sec, 105 secs
lola: 13266081 markings, 32634290 edges, 95229 markings/sec, 110 secs
lola: 13805223 markings, 33958941 edges, 107828 markings/sec, 115 secs
lola: 14407829 markings, 35430822 edges, 120521 markings/sec, 120 secs
lola: 15001988 markings, 36882570 edges, 118832 markings/sec, 125 secs
lola: 15553747 markings, 38255438 edges, 110352 markings/sec, 130 secs
lola: 16169347 markings, 39794373 edges, 123120 markings/sec, 135 secs
lola: 16705747 markings, 41153384 edges, 107280 markings/sec, 140 secs
lola: 17259153 markings, 42506621 edges, 110681 markings/sec, 145 secs
lola: 17766649 markings, 43752469 edges, 101499 markings/sec, 150 secs
lola: 18266236 markings, 44979754 edges, 99917 markings/sec, 155 secs
lola: 18814019 markings, 46339269 edges, 109557 markings/sec, 160 secs
lola: 19387462 markings, 47740849 edges, 114689 markings/sec, 165 secs
lola: 19966446 markings, 49160551 edges, 115797 markings/sec, 170 secs
lola: 20521562 markings, 50520857 edges, 111023 markings/sec, 175 secs
lola: 21121177 markings, 52016041 edges, 119923 markings/sec, 180 secs
lola: 21704573 markings, 53504348 edges, 116679 markings/sec, 185 secs
lola: 22307323 markings, 55014247 edges, 120550 markings/sec, 190 secs
lola: 22938137 markings, 56556508 edges, 126163 markings/sec, 195 secs
lola: 23528885 markings, 58001959 edges, 118150 markings/sec, 200 secs
lola: 24127234 markings, 59483111 edges, 119670 markings/sec, 205 secs
lola: 24755240 markings, 61019029 edges, 125601 markings/sec, 210 secs
lola: 25335880 markings, 62442642 edges, 116128 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 1109339 markings, 1163201 edges, 221868 markings/sec, 0 secs
lola: 2242057 markings, 2358641 edges, 226544 markings/sec, 5 secs
lola: 2791936 markings, 3850695 edges, 109976 markings/sec, 10 secs
lola: 3067718 markings, 5146425 edges, 55156 markings/sec, 15 secs
lola: 3469847 markings, 6583639 edges, 80426 markings/sec, 20 secs
lola: 3768928 markings, 7839164 edges, 59816 markings/sec, 25 secs
lola: 4143048 markings, 9268217 edges, 74824 markings/sec, 30 secs
lola: 4540149 markings, 10620382 edges, 79420 markings/sec, 35 secs
lola: 4822870 markings, 12047959 edges, 56544 markings/sec, 40 secs
lola: 5276433 markings, 13472197 edges, 90713 markings/sec, 45 secs
lola: 5548330 markings, 14795105 edges, 54379 markings/sec, 50 secs
lola: 5969277 markings, 16135311 edges, 84189 markings/sec, 55 secs
lola: 6206509 markings, 17401617 edges, 47446 markings/sec, 60 secs
lola: 6647231 markings, 18887394 edges, 88144 markings/sec, 65 secs
lola: 7005522 markings, 20226188 edges, 71658 markings/sec, 70 secs
lola: 7326972 markings, 21648578 edges, 64290 markings/sec, 75 secs
lola: 7723674 markings, 22985352 edges, 79340 markings/sec, 80 secs
lola: 8004271 markings, 24290567 edges, 56119 markings/sec, 85 secs
lola: 8421719 markings, 25620356 edges, 83490 markings/sec, 90 secs
lola: 8652937 markings, 26916580 edges, 46244 markings/sec, 95 secs
lola: 9109310 markings, 28293190 edges, 91275 markings/sec, 100 secs
lola: 9365739 markings, 29546785 edges, 51286 markings/sec, 105 secs
lola: 9780160 markings, 30895859 edges, 82884 markings/sec, 110 secs
lola: 10095646 markings, 32332841 edges, 63097 markings/sec, 115 secs
lola: 10495797 markings, 33857642 edges, 80030 markings/sec, 120 secs
lola: 10908325 markings, 35267816 edges, 82506 markings/sec, 125 secs
lola: 11164445 markings, 36572059 edges, 51224 markings/sec, 130 secs
lola: 11558069 markings, 37791385 edges, 78725 markings/sec, 135 secs
lola: 11827634 markings, 39110959 edges, 53913 markings/sec, 140 secs
lola: 12266812 markings, 40479562 edges, 87836 markings/sec, 145 secs
lola: 12486532 markings, 41754723 edges, 43944 markings/sec, 150 secs
lola: 12948867 markings, 43164460 edges, 92467 markings/sec, 155 secs
lola: 13304733 markings, 44593599 edges, 71173 markings/sec, 160 secs
lola: 13638965 markings, 45981796 edges, 66846 markings/sec, 165 secs
lola: 14034785 markings, 47280317 edges, 79164 markings/sec, 170 secs
lola: 14248763 markings, 48526455 edges, 42796 markings/sec, 175 secs
lola: 14688112 markings, 49949481 edges, 87870 markings/sec, 180 secs
lola: 14933555 markings, 51264125 edges, 49089 markings/sec, 185 secs
lola: 15315416 markings, 52669427 edges, 76372 markings/sec, 190 secs
lola: 15624846 markings, 53939355 edges, 61886 markings/sec, 195 secs
lola: 15928990 markings, 55291062 edges, 60829 markings/sec, 200 secs
lola: 16292164 markings, 56574740 edges, 72635 markings/sec, 205 secs
lola: 16530075 markings, 57812691 edges, 47582 markings/sec, 210 secs
lola: 16918637 markings, 59117260 edges, 77712 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 766812 markings, 1355690 edges, 153362 markings/sec, 0 secs
lola: 1658974 markings, 2676525 edges, 178432 markings/sec, 5 secs
lola: 2537360 markings, 3977567 edges, 175677 markings/sec, 10 secs
lola: 3455102 markings, 5328705 edges, 183548 markings/sec, 15 secs
lola: 4315748 markings, 6596791 edges, 172129 markings/sec, 20 secs
lola: 5165160 markings, 7850253 edges, 169882 markings/sec, 25 secs
lola: 5988464 markings, 9073801 edges, 164661 markings/sec, 30 secs
lola: 6875646 markings, 10392885 edges, 177436 markings/sec, 35 secs
lola: 7741722 markings, 11686387 edges, 173215 markings/sec, 40 secs
lola: 8634632 markings, 13018728 edges, 178582 markings/sec, 45 secs
lola: 9495419 markings, 14307246 edges, 172157 markings/sec, 50 secs
lola: 10345610 markings, 15574408 edges, 170038 markings/sec, 55 secs
lola: 11128288 markings, 16740308 edges, 156536 markings/sec, 60 secs
lola: 11891389 markings, 17869357 edges, 152620 markings/sec, 65 secs
lola: 12597980 markings, 18921770 edges, 141318 markings/sec, 70 secs
lola: 13361038 markings, 20057218 edges, 152612 markings/sec, 75 secs
lola: 14164466 markings, 21251502 edges, 160686 markings/sec, 80 secs
lola: 15083129 markings, 22609122 edges, 183733 markings/sec, 85 secs
lola: 15962061 markings, 23899732 edges, 175786 markings/sec, 90 secs
lola: 16743279 markings, 25057220 edges, 156244 markings/sec, 95 secs
lola: 17507408 markings, 26190394 edges, 152826 markings/sec, 100 secs
lola: 18331754 markings, 27412641 edges, 164869 markings/sec, 105 secs
lola: 19116954 markings, 28564653 edges, 157040 markings/sec, 110 secs
lola: 19965338 markings, 29824753 edges, 169677 markings/sec, 115 secs
lola: 20800299 markings, 31075439 edges, 166992 markings/sec, 120 secs
lola: 21620361 markings, 32298204 edges, 164012 markings/sec, 125 secs
lola: 22372100 markings, 33424973 edges, 150348 markings/sec, 130 secs
lola: 23206048 markings, 34670717 edges, 166790 markings/sec, 135 secs
lola: 24015745 markings, 35877792 edges, 161939 markings/sec, 140 secs
lola: 24877934 markings, 37161056 edges, 172438 markings/sec, 145 secs
lola: 25743979 markings, 38449030 edges, 173209 markings/sec, 150 secs
lola: 26593457 markings, 39715271 edges, 169896 markings/sec, 155 secs
lola: 27433739 markings, 40966436 edges, 168056 markings/sec, 160 secs
lola: 28241747 markings, 42169103 edges, 161602 markings/sec, 165 secs
lola: 28971182 markings, 43243227 edges, 145887 markings/sec, 170 secs
lola: 29781291 markings, 44447029 edges, 162022 markings/sec, 175 secs
lola: 30647134 markings, 45719647 edges, 173169 markings/sec, 180 secs
lola: 31380432 markings, 46806600 edges, 146660 markings/sec, 185 secs
lola: 32238804 markings, 48088261 edges, 171674 markings/sec, 190 secs
lola: 33148131 markings, 49424309 edges, 181865 markings/sec, 195 secs
lola: 33998245 markings, 50675188 edges, 170023 markings/sec, 200 secs
lola: 34893904 markings, 52001964 edges, 179132 markings/sec, 205 secs
lola: 35701257 markings, 53197071 edges, 161471 markings/sec, 210 secs
lola: 36564839 markings, 54472598 edges, 172716 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 638267 markings, 1362742 edges, 127653 markings/sec, 0 secs
lola: 1203296 markings, 2619232 edges, 113006 markings/sec, 5 secs
lola: 1777696 markings, 3920034 edges, 114880 markings/sec, 10 secs
lola: 2358591 markings, 5211453 edges, 116179 markings/sec, 15 secs
lola: 2932012 markings, 6506290 edges, 114684 markings/sec, 20 secs
lola: 3483695 markings, 7779360 edges, 110337 markings/sec, 25 secs
lola: 4044716 markings, 9034590 edges, 112204 markings/sec, 30 secs
lola: 4625969 markings, 10351558 edges, 116251 markings/sec, 35 secs
lola: 5175906 markings, 11625755 edges, 109987 markings/sec, 40 secs
lola: 5723378 markings, 12869962 edges, 109494 markings/sec, 45 secs
lola: 6232202 markings, 14044067 edges, 101765 markings/sec, 50 secs
lola: 6772760 markings, 15308305 edges, 108112 markings/sec, 55 secs
lola: 7362583 markings, 16635899 edges, 117965 markings/sec, 60 secs
lola: 7943402 markings, 17936290 edges, 116164 markings/sec, 65 secs
lola: 8521888 markings, 19260296 edges, 115697 markings/sec, 70 secs
lola: 9095948 markings, 20550603 edges, 114812 markings/sec, 75 secs
lola: 9663325 markings, 21846622 edges, 113475 markings/sec, 80 secs
lola: 10230689 markings, 23168777 edges, 113473 markings/sec, 85 secs
lola: 10798339 markings, 24450564 edges, 113530 markings/sec, 90 secs
lola: 11363901 markings, 25746456 edges, 113112 markings/sec, 95 secs
lola: 11920110 markings, 27049685 edges, 111242 markings/sec, 100 secs
lola: 12479673 markings, 28333759 edges, 111913 markings/sec, 105 secs
lola: 13006300 markings, 29561824 edges, 105325 markings/sec, 110 secs
lola: 13557093 markings, 30872242 edges, 110159 markings/sec, 115 secs
lola: 14123109 markings, 32149209 edges, 113203 markings/sec, 120 secs
lola: 14666585 markings, 33390028 edges, 108695 markings/sec, 125 secs
lola: 15226203 markings, 34681958 edges, 111924 markings/sec, 130 secs
lola: 15782592 markings, 35957694 edges, 111278 markings/sec, 135 secs
lola: 16301251 markings, 37161377 edges, 103732 markings/sec, 140 secs
lola: 16855782 markings, 38450101 edges, 110906 markings/sec, 145 secs
lola: 17411337 markings, 39745902 edges, 111111 markings/sec, 150 secs
lola: 17962027 markings, 41028841 edges, 110138 markings/sec, 155 secs
lola: 18517348 markings, 42318068 edges, 111064 markings/sec, 160 secs
lola: 19065033 markings, 43615051 edges, 109537 markings/sec, 165 secs
lola: 19613120 markings, 44908575 edges, 109617 markings/sec, 170 secs
lola: 20136444 markings, 46149774 edges, 104665 markings/sec, 175 secs
lola: 20692629 markings, 47453741 edges, 111237 markings/sec, 180 secs
lola: 21249609 markings, 48743292 edges, 111396 markings/sec, 185 secs
lola: 21800801 markings, 50002361 edges, 110238 markings/sec, 190 secs
lola: 22352953 markings, 51287527 edges, 110430 markings/sec, 195 secs
lola: 22901803 markings, 52584267 edges, 109770 markings/sec, 200 secs
lola: 23442936 markings, 53847147 edges, 108227 markings/sec, 205 secs
lola: 23986066 markings, 55124236 edges, 108626 markings/sec, 210 secs
lola: 24507458 markings, 56350783 edges, 104278 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p421)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 816686 markings, 1432972 edges, 163337 markings/sec, 0 secs
lola: 1666640 markings, 2692221 edges, 169991 markings/sec, 5 secs
lola: 2537725 markings, 3983591 edges, 174217 markings/sec, 10 secs
lola: 3442686 markings, 5315979 edges, 180992 markings/sec, 15 secs
lola: 4310161 markings, 6593449 edges, 173495 markings/sec, 20 secs
lola: 5220626 markings, 7935343 edges, 182093 markings/sec, 25 secs
lola: 6124310 markings, 9276062 edges, 180737 markings/sec, 30 secs
lola: 7033614 markings, 10631917 edges, 181861 markings/sec, 35 secs
lola: 7897549 markings, 11920248 edges, 172787 markings/sec, 40 secs
lola: 8798356 markings, 13267049 edges, 180161 markings/sec, 45 secs
lola: 9697149 markings, 14604299 edges, 179759 markings/sec, 50 secs
lola: 10584603 markings, 15932291 edges, 177491 markings/sec, 55 secs
lola: 11476295 markings, 17259397 edges, 178338 markings/sec, 60 secs
lola: 12362056 markings, 18577994 edges, 177152 markings/sec, 65 secs
lola: 13239221 markings, 19889014 edges, 175433 markings/sec, 70 secs
lola: 14104481 markings, 21168095 edges, 173052 markings/sec, 75 secs
lola: 15017888 markings, 22512682 edges, 182681 markings/sec, 80 secs
lola: 15895337 markings, 23805104 edges, 175490 markings/sec, 85 secs
lola: 16798274 markings, 25141942 edges, 180587 markings/sec, 90 secs
lola: 17698691 markings, 26472182 edges, 180083 markings/sec, 95 secs
lola: 18562342 markings, 27758555 edges, 172730 markings/sec, 100 secs
lola: 19486056 markings, 29123707 edges, 184743 markings/sec, 105 secs
lola: 20396996 markings, 30483507 edges, 182188 markings/sec, 110 secs
lola: 21298995 markings, 31828371 edges, 180400 markings/sec, 115 secs
lola: 22195874 markings, 33167951 edges, 179376 markings/sec, 120 secs
lola: 23090751 markings, 34502447 edges, 178975 markings/sec, 125 secs
lola: 23978119 markings, 35822450 edges, 177474 markings/sec, 130 secs
lola: 24861085 markings, 37137218 edges, 176593 markings/sec, 135 secs
lola: 25738636 markings, 38446265 edges, 175510 markings/sec, 140 secs
lola: 26612996 markings, 39749855 edges, 174872 markings/sec, 145 secs
lola: 27461727 markings, 41012685 edges, 169746 markings/sec, 150 secs
lola: 28348429 markings, 42325074 edges, 177340 markings/sec, 155 secs
lola: 29242310 markings, 43644352 edges, 178776 markings/sec, 160 secs
lola: 30114946 markings, 44944830 edges, 174527 markings/sec, 165 secs
lola: 31031903 markings, 46293474 edges, 183391 markings/sec, 170 secs
lola: 31861615 markings, 47525688 edges, 165942 markings/sec, 175 secs
lola: 32741783 markings, 48830204 edges, 176034 markings/sec, 180 secs
lola: 33640596 markings, 50160265 edges, 179763 markings/sec, 185 secs
lola: 34511023 markings, 51447793 edges, 174085 markings/sec, 190 secs
lola: 35439192 markings, 52814380 edges, 185634 markings/sec, 195 secs
lola: 36308581 markings, 54090463 edges, 173878 markings/sec, 200 secs
lola: 37197758 markings, 55406004 edges, 177835 markings/sec, 205 secs
lola: 38078964 markings, 56715190 edges, 176241 markings/sec, 210 secs
lola: 38983231 markings, 58063671 edges, 180853 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p652)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 718370 markings, 1453025 edges, 143674 markings/sec, 0 secs
lola: 1414919 markings, 2780461 edges, 139310 markings/sec, 5 secs
lola: 2118531 markings, 3968095 edges, 140722 markings/sec, 10 secs
lola: 2719302 markings, 5148774 edges, 120154 markings/sec, 15 secs
lola: 3202153 markings, 6207095 edges, 96570 markings/sec, 20 secs
lola: 3766515 markings, 7414093 edges, 112872 markings/sec, 25 secs
lola: 4326094 markings, 8639358 edges, 111916 markings/sec, 30 secs
lola: 4840322 markings, 9715148 edges, 102846 markings/sec, 35 secs
lola: 5346536 markings, 10744221 edges, 101243 markings/sec, 40 secs
lola: 5862772 markings, 11865233 edges, 103247 markings/sec, 45 secs
lola: 6404656 markings, 13044884 edges, 108377 markings/sec, 50 secs
lola: 6942922 markings, 14215738 edges, 107653 markings/sec, 55 secs
lola: 7463482 markings, 15339268 edges, 104112 markings/sec, 60 secs
lola: 7956625 markings, 16413722 edges, 98629 markings/sec, 65 secs
lola: 8496882 markings, 17590900 edges, 108051 markings/sec, 70 secs
lola: 9036664 markings, 18776397 edges, 107956 markings/sec, 75 secs
lola: 9562920 markings, 19924725 edges, 105251 markings/sec, 80 secs
lola: 10099605 markings, 21101273 edges, 107337 markings/sec, 85 secs
lola: 10628970 markings, 22243031 edges, 105873 markings/sec, 90 secs
lola: 11145080 markings, 23329596 edges, 103222 markings/sec, 95 secs
lola: 11709227 markings, 24447795 edges, 112829 markings/sec, 100 secs
lola: 12245836 markings, 25611677 edges, 107322 markings/sec, 105 secs
lola: 12781755 markings, 26784245 edges, 107184 markings/sec, 110 secs
lola: 13279674 markings, 27842521 edges, 99584 markings/sec, 115 secs
lola: 13766053 markings, 28909249 edges, 97276 markings/sec, 120 secs
lola: 14264723 markings, 29998804 edges, 99734 markings/sec, 125 secs
lola: 14793130 markings, 31150483 edges, 105681 markings/sec, 130 secs
lola: 15313771 markings, 32294531 edges, 104128 markings/sec, 135 secs
lola: 15846700 markings, 33403036 edges, 106586 markings/sec, 140 secs
lola: 16373526 markings, 34556979 edges, 105365 markings/sec, 145 secs
lola: 16906459 markings, 35725849 edges, 106587 markings/sec, 150 secs
lola: 17453688 markings, 36929296 edges, 109446 markings/sec, 155 secs
lola: 17951633 markings, 38012318 edges, 99589 markings/sec, 160 secs
lola: 18484368 markings, 39176123 edges, 106547 markings/sec, 165 secs
lola: 18985511 markings, 40274415 edges, 100229 markings/sec, 170 secs
lola: 19520004 markings, 41440859 edges, 106899 markings/sec, 175 secs
lola: 20029034 markings, 42565852 edges, 101806 markings/sec, 180 secs
lola: 20594991 markings, 43814151 edges, 113191 markings/sec, 185 secs
lola: 21125560 markings, 44999641 edges, 106114 markings/sec, 190 secs
lola: 21676035 markings, 46221935 edges, 110095 markings/sec, 195 secs
lola: 22232959 markings, 47452468 edges, 111385 markings/sec, 200 secs
lola: 22797894 markings, 48703573 edges, 112987 markings/sec, 205 secs
lola: 23361997 markings, 49940446 edges, 112821 markings/sec, 210 secs
lola: 23900084 markings, 51111199 edges, 107617 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p872)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 695843 markings, 1817007 edges, 139169 markings/sec, 0 secs
lola: 1420296 markings, 3640923 edges, 144891 markings/sec, 5 secs
lola: 2077801 markings, 5289543 edges, 131501 markings/sec, 10 secs
lola: 2708233 markings, 6876154 edges, 126086 markings/sec, 15 secs
lola: 3349600 markings, 8488283 edges, 128273 markings/sec, 20 secs
lola: 4024468 markings, 10191692 edges, 134974 markings/sec, 25 secs
lola: 4688278 markings, 11865978 edges, 132762 markings/sec, 30 secs
lola: 5294987 markings, 13406167 edges, 121342 markings/sec, 35 secs
lola: 5894614 markings, 14938526 edges, 119925 markings/sec, 40 secs
lola: 6567055 markings, 16647444 edges, 134488 markings/sec, 45 secs
lola: 7207485 markings, 18286917 edges, 128086 markings/sec, 50 secs
lola: 7775778 markings, 19754461 edges, 113659 markings/sec, 55 secs
lola: 8350708 markings, 21199810 edges, 114986 markings/sec, 60 secs
lola: 8932366 markings, 22664459 edges, 116332 markings/sec, 65 secs
lola: 9518859 markings, 24142080 edges, 117299 markings/sec, 70 secs
lola: 10119558 markings, 25658984 edges, 120140 markings/sec, 75 secs
lola: 10776037 markings, 27317788 edges, 131296 markings/sec, 80 secs
lola: 11373847 markings, 28829276 edges, 119562 markings/sec, 85 secs
lola: 11954191 markings, 30314362 edges, 116069 markings/sec, 90 secs
lola: 12537659 markings, 31811468 edges, 116694 markings/sec, 95 secs
lola: 13149044 markings, 33367733 edges, 122277 markings/sec, 100 secs
lola: 13780950 markings, 34986789 edges, 126381 markings/sec, 105 secs
lola: 14350800 markings, 36465936 edges, 113970 markings/sec, 110 secs
lola: 14941798 markings, 37952308 edges, 118200 markings/sec, 115 secs
lola: 15527993 markings, 39428162 edges, 117239 markings/sec, 120 secs
lola: 16113396 markings, 40903202 edges, 117081 markings/sec, 125 secs
lola: 16688902 markings, 42356512 edges, 115101 markings/sec, 130 secs
lola: 17340457 markings, 44002868 edges, 130311 markings/sec, 135 secs
lola: 17974182 markings, 45604961 edges, 126745 markings/sec, 140 secs
lola: 18541015 markings, 47058096 edges, 113367 markings/sec, 145 secs
lola: 19117725 markings, 48536010 edges, 115342 markings/sec, 150 secs
lola: 19734891 markings, 50106887 edges, 123433 markings/sec, 155 secs
lola: 20361615 markings, 51713044 edges, 125345 markings/sec, 160 secs
lola: 20921286 markings, 53167639 edges, 111934 markings/sec, 165 secs
lola: 21474672 markings, 54561118 edges, 110677 markings/sec, 170 secs
lola: 22060914 markings, 56039142 edges, 117248 markings/sec, 175 secs
lola: 22633804 markings, 57484481 edges, 114578 markings/sec, 180 secs
lola: 23208068 markings, 58937609 edges, 114853 markings/sec, 185 secs
lola: 23858319 markings, 60584204 edges, 130050 markings/sec, 190 secs
lola: 24462104 markings, 62115004 edges, 120757 markings/sec, 195 secs
lola: 25029714 markings, 63573273 edges, 113522 markings/sec, 200 secs
lola: 25614795 markings, 65075615 edges, 117016 markings/sec, 205 secs
lola: 26241076 markings, 66671296 edges, 125256 markings/sec, 210 secs
lola: 26867433 markings, 68277147 edges, 125271 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p721)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 728169 markings, 1481336 edges, 145634 markings/sec, 0 secs
lola: 1439408 markings, 2935626 edges, 142248 markings/sec, 5 secs
lola: 2186718 markings, 4292818 edges, 149462 markings/sec, 10 secs
lola: 2820803 markings, 5541077 edges, 126817 markings/sec, 15 secs
lola: 3379727 markings, 6759689 edges, 111785 markings/sec, 20 secs
lola: 3849087 markings, 7778805 edges, 93872 markings/sec, 25 secs
lola: 4345085 markings, 8847231 edges, 99200 markings/sec, 30 secs
lola: 4880115 markings, 10023347 edges, 107006 markings/sec, 35 secs
lola: 5431503 markings, 11222796 edges, 110278 markings/sec, 40 secs
lola: 5982491 markings, 12434913 edges, 110198 markings/sec, 45 secs
lola: 6468984 markings, 13488950 edges, 97299 markings/sec, 50 secs
lola: 6992321 markings, 14646312 edges, 104667 markings/sec, 55 secs
lola: 7504176 markings, 15765063 edges, 102371 markings/sec, 60 secs
lola: 8037488 markings, 16936866 edges, 106662 markings/sec, 65 secs
lola: 8682256 markings, 18037754 edges, 128954 markings/sec, 70 secs
lola: 9270004 markings, 19253585 edges, 117550 markings/sec, 75 secs
lola: 9826471 markings, 20466559 edges, 111293 markings/sec, 80 secs
lola: 10385582 markings, 21668887 edges, 111822 markings/sec, 85 secs
lola: 10961296 markings, 22918760 edges, 115143 markings/sec, 90 secs
lola: 11521938 markings, 24144874 edges, 112128 markings/sec, 95 secs
lola: 12084474 markings, 25371282 edges, 112507 markings/sec, 100 secs
lola: 12627045 markings, 26559028 edges, 108514 markings/sec, 105 secs
lola: 13211142 markings, 27715354 edges, 116819 markings/sec, 110 secs
lola: 13762884 markings, 28912378 edges, 110348 markings/sec, 115 secs
lola: 14291032 markings, 30069463 edges, 105630 markings/sec, 120 secs
lola: 14825221 markings, 31232722 edges, 106838 markings/sec, 125 secs
lola: 15368060 markings, 32437134 edges, 108568 markings/sec, 130 secs
lola: 15927905 markings, 33682040 edges, 111969 markings/sec, 135 secs
lola: 16478756 markings, 34895559 edges, 110170 markings/sec, 140 secs
lola: 17037680 markings, 36135346 edges, 111785 markings/sec, 145 secs
lola: 17543750 markings, 37263015 edges, 101214 markings/sec, 150 secs
lola: 18079422 markings, 38454127 edges, 107134 markings/sec, 155 secs
lola: 18621928 markings, 39638335 edges, 108501 markings/sec, 160 secs
lola: 19158915 markings, 40804777 edges, 107397 markings/sec, 165 secs
lola: 19696860 markings, 41964043 edges, 107589 markings/sec, 170 secs
lola: 20237188 markings, 43135916 edges, 108066 markings/sec, 175 secs
lola: 20791755 markings, 44345867 edges, 110913 markings/sec, 180 secs
lola: 21319408 markings, 45524610 edges, 105531 markings/sec, 185 secs
lola: 21865824 markings, 46737910 edges, 109283 markings/sec, 190 secs
lola: 22400597 markings, 47920413 edges, 106955 markings/sec, 195 secs
lola: 22947211 markings, 49127024 edges, 109323 markings/sec, 200 secs
lola: 23496700 markings, 50349409 edges, 109898 markings/sec, 205 secs
lola: 24041133 markings, 51562120 edges, 108887 markings/sec, 210 secs
lola: 24557045 markings, 52682356 edges, 103182 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p719)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 749889 markings, 1507266 edges, 149978 markings/sec, 0 secs
lola: 1528939 markings, 2945906 edges, 155810 markings/sec, 5 secs
lola: 2295910 markings, 4240773 edges, 153394 markings/sec, 10 secs
lola: 2906244 markings, 5543244 edges, 122067 markings/sec, 15 secs
lola: 3457316 markings, 6727525 edges, 110214 markings/sec, 20 secs
lola: 4005003 markings, 7917928 edges, 109537 markings/sec, 25 secs
lola: 4577644 markings, 9123945 edges, 114528 markings/sec, 30 secs
lola: 5141198 markings, 10292628 edges, 112711 markings/sec, 35 secs
lola: 5705430 markings, 11515349 edges, 112846 markings/sec, 40 secs
lola: 6268504 markings, 12735703 edges, 112615 markings/sec, 45 secs
lola: 6859218 markings, 14018698 edges, 118143 markings/sec, 50 secs
lola: 7430335 markings, 15257008 edges, 114223 markings/sec, 55 secs
lola: 7958732 markings, 16410533 edges, 105679 markings/sec, 60 secs
lola: 8492472 markings, 17572926 edges, 106748 markings/sec, 65 secs
lola: 9040886 markings, 18774296 edges, 109683 markings/sec, 70 secs
lola: 9580777 markings, 19955720 edges, 107978 markings/sec, 75 secs
lola: 10117354 markings, 21132748 edges, 107315 markings/sec, 80 secs
lola: 10630378 markings, 22237252 edges, 102605 markings/sec, 85 secs
lola: 11179324 markings, 23395916 edges, 109789 markings/sec, 90 secs
lola: 11770354 markings, 24565710 edges, 118206 markings/sec, 95 secs
lola: 12314127 markings, 25751244 edges, 108755 markings/sec, 100 secs
lola: 12853203 markings, 26938243 edges, 107815 markings/sec, 105 secs
lola: 13398206 markings, 28101796 edges, 109001 markings/sec, 110 secs
lola: 13917168 markings, 29239304 edges, 103792 markings/sec, 115 secs
lola: 14460203 markings, 30423494 edges, 108607 markings/sec, 120 secs
lola: 14998973 markings, 31601874 edges, 107754 markings/sec, 125 secs
lola: 15513077 markings, 32722556 edges, 102821 markings/sec, 130 secs
lola: 16078495 markings, 33911286 edges, 113084 markings/sec, 135 secs
lola: 16583196 markings, 35016266 edges, 100940 markings/sec, 140 secs
lola: 17133325 markings, 36215999 edges, 110026 markings/sec, 145 secs
lola: 17678326 markings, 37402709 edges, 109000 markings/sec, 150 secs
lola: 18192919 markings, 38524854 edges, 102919 markings/sec, 155 secs
lola: 18740746 markings, 39721312 edges, 109565 markings/sec, 160 secs
lola: 19289296 markings, 40917832 edges, 109710 markings/sec, 165 secs
lola: 19791742 markings, 42031314 edges, 100489 markings/sec, 170 secs
lola: 20302181 markings, 43168747 edges, 102088 markings/sec, 175 secs
lola: 20849330 markings, 44375935 edges, 109430 markings/sec, 180 secs
lola: 21412541 markings, 45619264 edges, 112642 markings/sec, 185 secs
lola: 21970330 markings, 46865415 edges, 111558 markings/sec, 190 secs
lola: 22525081 markings, 48098148 edges, 110950 markings/sec, 195 secs
lola: 23086440 markings, 49325785 edges, 112272 markings/sec, 200 secs
lola: 23644468 markings, 50533996 edges, 111606 markings/sec, 205 secs
lola: 24192461 markings, 51717821 edges, 109599 markings/sec, 210 secs
lola: 24713283 markings, 52855496 edges, 104164 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p880)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 732513 markings, 1744688 edges, 146503 markings/sec, 0 secs
lola: 1459201 markings, 3486413 edges, 145338 markings/sec, 5 secs
lola: 2141080 markings, 5146228 edges, 136376 markings/sec, 10 secs
lola: 2763088 markings, 6655615 edges, 124402 markings/sec, 15 secs
lola: 3414556 markings, 8241562 edges, 130294 markings/sec, 20 secs
lola: 4049015 markings, 9790674 edges, 126892 markings/sec, 25 secs
lola: 4646448 markings, 11250392 edges, 119487 markings/sec, 30 secs
lola: 5232090 markings, 12706293 edges, 117128 markings/sec, 35 secs
lola: 5794412 markings, 14109663 edges, 112464 markings/sec, 40 secs
lola: 6391859 markings, 15629050 edges, 119489 markings/sec, 45 secs
lola: 7023673 markings, 17162512 edges, 126363 markings/sec, 50 secs
lola: 7555154 markings, 18453950 edges, 106296 markings/sec, 55 secs
lola: 8165159 markings, 19940870 edges, 122001 markings/sec, 60 secs
lola: 8819959 markings, 21540303 edges, 130960 markings/sec, 65 secs
lola: 9432279 markings, 23041309 edges, 122464 markings/sec, 70 secs
lola: 9955632 markings, 24321850 edges, 104671 markings/sec, 75 secs
lola: 10520109 markings, 25731050 edges, 112895 markings/sec, 80 secs
lola: 11080357 markings, 27160506 edges, 112050 markings/sec, 85 secs
lola: 11674112 markings, 28647024 edges, 118751 markings/sec, 90 secs
lola: 12174227 markings, 29855372 edges, 100023 markings/sec, 95 secs
lola: 12737091 markings, 31225532 edges, 112573 markings/sec, 100 secs
lola: 13237535 markings, 32442409 edges, 100089 markings/sec, 105 secs
lola: 13883930 markings, 34017074 edges, 129279 markings/sec, 110 secs
lola: 14508494 markings, 35542747 edges, 124913 markings/sec, 115 secs
lola: 15111208 markings, 37016316 edges, 120543 markings/sec, 120 secs
lola: 15734098 markings, 38564330 edges, 124578 markings/sec, 125 secs
lola: 16347311 markings, 40120475 edges, 122643 markings/sec, 130 secs
lola: 16915677 markings, 41541122 edges, 113673 markings/sec, 135 secs
lola: 17469690 markings, 42886987 edges, 110803 markings/sec, 140 secs
lola: 18025160 markings, 44237378 edges, 111094 markings/sec, 145 secs
lola: 18574774 markings, 45578613 edges, 109923 markings/sec, 150 secs
lola: 19219461 markings, 47153240 edges, 128937 markings/sec, 155 secs
lola: 19823740 markings, 48635000 edges, 120856 markings/sec, 160 secs
lola: 20408564 markings, 50067126 edges, 116965 markings/sec, 165 secs
lola: 21006063 markings, 51558475 edges, 119500 markings/sec, 170 secs
lola: 21603286 markings, 53080458 edges, 119445 markings/sec, 175 secs
lola: 22154532 markings, 54461772 edges, 110249 markings/sec, 180 secs
lola: 22736402 markings, 55874900 edges, 116374 markings/sec, 185 secs
lola: 23355343 markings, 57377429 edges, 123788 markings/sec, 190 secs
lola: 23938151 markings, 58799079 edges, 116562 markings/sec, 195 secs
lola: 24558960 markings, 60317240 edges, 124162 markings/sec, 200 secs
lola: 25128959 markings, 61714414 edges, 114000 markings/sec, 205 secs
lola: 25722237 markings, 63167350 edges, 118656 markings/sec, 210 secs
lola: 26360205 markings, 64764765 edges, 127594 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 1084043 markings, 1532722 edges, 216809 markings/sec, 0 secs
lola: 2037956 markings, 3079202 edges, 190783 markings/sec, 5 secs
lola: 2978053 markings, 4656895 edges, 188019 markings/sec, 10 secs
lola: 3861244 markings, 6273096 edges, 176638 markings/sec, 15 secs
lola: 4799087 markings, 7847576 edges, 187569 markings/sec, 20 secs
lola: 5814046 markings, 9391044 edges, 202992 markings/sec, 25 secs
lola: 6641083 markings, 10991812 edges, 165407 markings/sec, 30 secs
lola: 7466976 markings, 12611003 edges, 165179 markings/sec, 35 secs
lola: 8199603 markings, 14263381 edges, 146525 markings/sec, 40 secs
lola: 9053866 markings, 15894963 edges, 170853 markings/sec, 45 secs
lola: 9991133 markings, 17466463 edges, 187453 markings/sec, 50 secs
lola: 11002186 markings, 19008106 edges, 202211 markings/sec, 55 secs
lola: 11821458 markings, 20613145 edges, 163854 markings/sec, 60 secs
lola: 12654197 markings, 22211998 edges, 166548 markings/sec, 65 secs
lola: 13650937 markings, 23755144 edges, 199348 markings/sec, 70 secs
lola: 14609200 markings, 25308631 edges, 191653 markings/sec, 75 secs
lola: 15509588 markings, 26857319 edges, 180078 markings/sec, 80 secs
lola: 16301343 markings, 28474101 edges, 158351 markings/sec, 85 secs
lola: 17078358 markings, 30080977 edges, 155403 markings/sec, 90 secs
lola: 17786388 markings, 31747228 edges, 141606 markings/sec, 95 secs
lola: 18566230 markings, 33353638 edges, 155968 markings/sec, 100 secs
lola: 19343650 markings, 34958669 edges, 155484 markings/sec, 105 secs
lola: 20063648 markings, 36615120 edges, 144000 markings/sec, 110 secs
lola: 20721303 markings, 38281685 edges, 131531 markings/sec, 115 secs
lola: 21379778 markings, 39955352 edges, 131695 markings/sec, 120 secs
lola: 22138368 markings, 41612868 edges, 151718 markings/sec, 125 secs
lola: 23099764 markings, 43181757 edges, 192279 markings/sec, 130 secs
lola: 24109128 markings, 44733228 edges, 201873 markings/sec, 135 secs
lola: 24963908 markings, 46310326 edges, 170956 markings/sec, 140 secs
lola: 25745760 markings, 47930335 edges, 156370 markings/sec, 145 secs
lola: 26756738 markings, 49468991 edges, 202196 markings/sec, 150 secs
lola: 27684530 markings, 51022026 edges, 185558 markings/sec, 155 secs
lola: 28604153 markings, 52554082 edges, 183925 markings/sec, 160 secs
lola: 29387678 markings, 54154514 edges, 156705 markings/sec, 165 secs
lola: 30215790 markings, 55740325 edges, 165622 markings/sec, 170 secs
lola: 30912393 markings, 57391747 edges, 139321 markings/sec, 175 secs
lola: 31638564 markings, 59018914 edges, 145234 markings/sec, 180 secs
lola: 32418793 markings, 60629676 edges, 156046 markings/sec, 185 secs
lola: 33422957 markings, 62178516 edges, 200833 markings/sec, 190 secs
lola: 34345332 markings, 63731706 edges, 184475 markings/sec, 195 secs
lola: 35284668 markings, 65265472 edges, 187867 markings/sec, 200 secs
lola: 36086212 markings, 66854979 edges, 160309 markings/sec, 205 secs
lola: 36972894 markings, 68419195 edges, 177336 markings/sec, 210 secs
lola: 37900991 markings, 69955779 edges, 185619 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1043)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 714164 markings, 1825754 edges, 142833 markings/sec, 0 secs
lola: 1426150 markings, 3687479 edges, 142397 markings/sec, 5 secs
lola: 2122252 markings, 5519194 edges, 139220 markings/sec, 10 secs
lola: 2804759 markings, 7306239 edges, 136501 markings/sec, 15 secs
lola: 3481225 markings, 9078942 edges, 135293 markings/sec, 20 secs
lola: 4157125 markings, 10850841 edges, 135180 markings/sec, 25 secs
lola: 4842215 markings, 12644589 edges, 137018 markings/sec, 30 secs
lola: 5520215 markings, 14420737 edges, 135600 markings/sec, 35 secs
lola: 6192229 markings, 16182113 edges, 134403 markings/sec, 40 secs
lola: 6863704 markings, 17944639 edges, 134295 markings/sec, 45 secs
lola: 7539589 markings, 19715047 edges, 135177 markings/sec, 50 secs
lola: 8204057 markings, 21456463 edges, 132894 markings/sec, 55 secs
lola: 8870765 markings, 23201940 edges, 133342 markings/sec, 60 secs
lola: 9535779 markings, 24944544 edges, 133003 markings/sec, 65 secs
lola: 10197563 markings, 26680002 edges, 132357 markings/sec, 70 secs
lola: 10862456 markings, 28422780 edges, 132979 markings/sec, 75 secs
lola: 11521618 markings, 30149551 edges, 131832 markings/sec, 80 secs
lola: 12190907 markings, 31904282 edges, 133858 markings/sec, 85 secs
lola: 12855344 markings, 33646401 edges, 132887 markings/sec, 90 secs
lola: 13523587 markings, 35397718 edges, 133649 markings/sec, 95 secs
lola: 14186255 markings, 37133836 edges, 132534 markings/sec, 100 secs
lola: 14852419 markings, 38879853 edges, 133233 markings/sec, 105 secs
lola: 15509369 markings, 40603127 edges, 131390 markings/sec, 110 secs
lola: 16174061 markings, 42345960 edges, 132938 markings/sec, 115 secs
lola: 16832416 markings, 44072881 edges, 131671 markings/sec, 120 secs
lola: 17518039 markings, 45873501 edges, 137125 markings/sec, 125 secs
lola: 18199758 markings, 47662126 edges, 136344 markings/sec, 130 secs
lola: 18872612 markings, 49429767 edges, 134571 markings/sec, 135 secs
lola: 19545448 markings, 51203170 edges, 134567 markings/sec, 140 secs
lola: 20209302 markings, 52943124 edges, 132771 markings/sec, 145 secs
lola: 20872154 markings, 54680706 edges, 132570 markings/sec, 150 secs
lola: 21532562 markings, 56410617 edges, 132082 markings/sec, 155 secs
lola: 22199152 markings, 58159632 edges, 133318 markings/sec, 160 secs
lola: 22863842 markings, 59901975 edges, 132938 markings/sec, 165 secs
lola: 23521183 markings, 61623512 edges, 131468 markings/sec, 170 secs
lola: 24172474 markings, 63331003 edges, 130258 markings/sec, 175 secs
lola: 24838913 markings, 65077469 edges, 133288 markings/sec, 180 secs
lola: 25497291 markings, 66803760 edges, 131676 markings/sec, 185 secs
lola: 26152459 markings, 68519430 edges, 131034 markings/sec, 190 secs
lola: 26804316 markings, 70230058 edges, 130371 markings/sec, 195 secs
lola: 27476915 markings, 71993257 edges, 134520 markings/sec, 200 secs
lola: 28135196 markings, 73719221 edges, 131656 markings/sec, 205 secs
lola: 28792983 markings, 75441339 edges, 131557 markings/sec, 210 secs
lola: 29446802 markings, 77154878 edges, 130764 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 755861 markings, 1302662 edges, 151172 markings/sec, 0 secs
lola: 1600878 markings, 2551214 edges, 169003 markings/sec, 5 secs
lola: 2449346 markings, 3808774 edges, 169694 markings/sec, 10 secs
lola: 3345448 markings, 5130461 edges, 179220 markings/sec, 15 secs
lola: 4199709 markings, 6384279 edges, 170852 markings/sec, 20 secs
lola: 5079672 markings, 7686885 edges, 175993 markings/sec, 25 secs
lola: 5929125 markings, 8946918 edges, 169891 markings/sec, 30 secs
lola: 6816432 markings, 10272438 edges, 177461 markings/sec, 35 secs
lola: 7707493 markings, 11597207 edges, 178212 markings/sec, 40 secs
lola: 8587579 markings, 12911309 edges, 176017 markings/sec, 45 secs
lola: 9461791 markings, 14222005 edges, 174842 markings/sec, 50 secs
lola: 10333876 markings, 15520457 edges, 174417 markings/sec, 55 secs
lola: 11201982 markings, 16814997 edges, 173621 markings/sec, 60 secs
lola: 12069728 markings, 18107336 edges, 173549 markings/sec, 65 secs
lola: 12929513 markings, 19384466 edges, 171957 markings/sec, 70 secs
lola: 13768660 markings, 20621108 edges, 167829 markings/sec, 75 secs
lola: 14640796 markings, 21911904 edges, 174427 markings/sec, 80 secs
lola: 15504863 markings, 23191830 edges, 172813 markings/sec, 85 secs
lola: 16355141 markings, 24452528 edges, 170056 markings/sec, 90 secs
lola: 17263036 markings, 25793238 edges, 181579 markings/sec, 95 secs
lola: 18112971 markings, 27042436 edges, 169987 markings/sec, 100 secs
lola: 18997386 markings, 28350446 edges, 176883 markings/sec, 105 secs
lola: 19886279 markings, 29671372 edges, 177779 markings/sec, 110 secs
lola: 20767966 markings, 30990585 edges, 176337 markings/sec, 115 secs
lola: 21649379 markings, 32306590 edges, 176283 markings/sec, 120 secs
lola: 22525829 markings, 33615285 edges, 175290 markings/sec, 125 secs
lola: 23400410 markings, 34917926 edges, 174916 markings/sec, 130 secs
lola: 24259718 markings, 36206133 edges, 171862 markings/sec, 135 secs
lola: 25129192 markings, 37504303 edges, 173895 markings/sec, 140 secs
lola: 25993136 markings, 38792396 edges, 172789 markings/sec, 145 secs
lola: 26849871 markings, 40070181 edges, 171347 markings/sec, 150 secs
lola: 27688339 markings, 41306247 edges, 167694 markings/sec, 155 secs
lola: 28571754 markings, 42606571 edges, 176683 markings/sec, 160 secs
lola: 29429819 markings, 43876119 edges, 171613 markings/sec, 165 secs
lola: 30278862 markings, 45146523 edges, 169809 markings/sec, 170 secs
lola: 31175187 markings, 46468599 edges, 179265 markings/sec, 175 secs
lola: 32009201 markings, 47710386 edges, 166803 markings/sec, 180 secs
lola: 32896057 markings, 49011821 edges, 177371 markings/sec, 185 secs
lola: 33756930 markings, 50288187 edges, 172175 markings/sec, 190 secs
lola: 34616063 markings, 51558273 edges, 171827 markings/sec, 195 secs
lola: 35526906 markings, 52900971 edges, 182169 markings/sec, 200 secs
lola: 36378693 markings, 54156533 edges, 170357 markings/sec, 205 secs
lola: 37275573 markings, 55478672 edges, 179376 markings/sec, 210 secs
lola: 38169225 markings, 56805269 edges, 178730 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Parking-PT-864-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494650784447
--------------------
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="Parking-PT-864"
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/Parking-PT-864.tgz
mv Parking-PT-864 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 Parking-PT-864, 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 r038-blw7-149440484900335"
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 ;