About the Execution of LoLA for DLCround-PT-05b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3411.930 | 3540266.00 | 3551412.00 | 245.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 DLCround-PT-05b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961700245
=====================================================================
--------------------
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 DLCround-PT-05b-UpperBounds-0
FORMULA_NAME DLCround-PT-05b-UpperBounds-1
FORMULA_NAME DLCround-PT-05b-UpperBounds-10
FORMULA_NAME DLCround-PT-05b-UpperBounds-11
FORMULA_NAME DLCround-PT-05b-UpperBounds-12
FORMULA_NAME DLCround-PT-05b-UpperBounds-13
FORMULA_NAME DLCround-PT-05b-UpperBounds-14
FORMULA_NAME DLCround-PT-05b-UpperBounds-15
FORMULA_NAME DLCround-PT-05b-UpperBounds-2
FORMULA_NAME DLCround-PT-05b-UpperBounds-3
FORMULA_NAME DLCround-PT-05b-UpperBounds-4
FORMULA_NAME DLCround-PT-05b-UpperBounds-5
FORMULA_NAME DLCround-PT-05b-UpperBounds-6
FORMULA_NAME DLCround-PT-05b-UpperBounds-7
FORMULA_NAME DLCround-PT-05b-UpperBounds-8
FORMULA_NAME DLCround-PT-05b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496538034340
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-05b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-05b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-05b @ 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: 4886/65536 symbol table entries, 384 collisions
lola: preprocessing...
lola: finding significant places
lola: 1999 places, 2887 transitions, 1911 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3874 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-05b-UpperBounds.task
lola: MAX(p525) : MAX(p474) : MAX(p268) : MAX(p1258) : MAX(p1090) : MAX(p1543) : MAX(p1215) : MAX(p1788) : MAX(p1434) : MAX(p576) : MAX(p128) : MAX(p531) : MAX(p764) : MAX(p1122) : MAX(p897) : MAX(p1536)
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(p525)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 182081 markings, 202771 edges, 36416 markings/sec, 0 secs
lola: 368799 markings, 411656 edges, 37344 markings/sec, 5 secs
lola: 542552 markings, 606395 edges, 34751 markings/sec, 10 secs
lola: 776272 markings, 867219 edges, 46744 markings/sec, 15 secs
lola: 1008432 markings, 1126443 edges, 46432 markings/sec, 20 secs
lola: 1248396 markings, 1393786 edges, 47993 markings/sec, 25 secs
lola: 1512528 markings, 1687687 edges, 52826 markings/sec, 30 secs
lola: 1756657 markings, 1959461 edges, 48826 markings/sec, 35 secs
lola: 1991090 markings, 2220642 edges, 46887 markings/sec, 40 secs
lola: 2245996 markings, 2504340 edges, 50981 markings/sec, 45 secs
lola: 2480221 markings, 2765407 edges, 46845 markings/sec, 50 secs
lola: 2749595 markings, 3065117 edges, 53875 markings/sec, 55 secs
lola: 3005922 markings, 3350794 edges, 51265 markings/sec, 60 secs
lola: 3285814 markings, 3662337 edges, 55978 markings/sec, 65 secs
lola: 3542510 markings, 3948294 edges, 51339 markings/sec, 70 secs
lola: 3817537 markings, 4254456 edges, 55005 markings/sec, 75 secs
lola: 4072359 markings, 4538310 edges, 50964 markings/sec, 80 secs
lola: 4324733 markings, 4819430 edges, 50475 markings/sec, 85 secs
lola: 4578540 markings, 5102482 edges, 50761 markings/sec, 90 secs
lola: 4847635 markings, 5401935 edges, 53819 markings/sec, 95 secs
lola: 5119455 markings, 5704123 edges, 54364 markings/sec, 100 secs
lola: 5398361 markings, 6014841 edges, 55781 markings/sec, 105 secs
lola: 5678103 markings, 6326470 edges, 55948 markings/sec, 110 secs
lola: 5937791 markings, 6615702 edges, 51938 markings/sec, 115 secs
lola: 6195377 markings, 6902778 edges, 51517 markings/sec, 120 secs
lola: 6445011 markings, 7181146 edges, 49927 markings/sec, 125 secs
lola: 6710056 markings, 7475991 edges, 53009 markings/sec, 130 secs
lola: 6993380 markings, 7791736 edges, 56665 markings/sec, 135 secs
lola: 7253243 markings, 8081329 edges, 51973 markings/sec, 140 secs
lola: 7525608 markings, 8384140 edges, 54473 markings/sec, 145 secs
lola: 7778651 markings, 8666104 edges, 50609 markings/sec, 150 secs
lola: 8033828 markings, 8950347 edges, 51035 markings/sec, 155 secs
lola: 8319358 markings, 9268355 edges, 57106 markings/sec, 160 secs
lola: 8604470 markings, 9586075 edges, 57022 markings/sec, 165 secs
lola: 8840469 markings, 9849381 edges, 47200 markings/sec, 170 secs
lola: 9076621 markings, 10113438 edges, 47230 markings/sec, 175 secs
lola: 9388705 markings, 10460771 edges, 62417 markings/sec, 180 secs
lola: 9676470 markings, 10781176 edges, 57553 markings/sec, 185 secs
lola: 9874121 markings, 11001130 edges, 39530 markings/sec, 190 secs
lola: 10071506 markings, 11221485 edges, 39477 markings/sec, 195 secs
lola: 10258205 markings, 11430266 edges, 37340 markings/sec, 200 secs
lola: 10439084 markings, 11631637 edges, 36176 markings/sec, 205 secs
lola: 10634417 markings, 11849868 edges, 39067 markings/sec, 210 secs
lola: 10833368 markings, 12071324 edges, 39790 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(p474)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 110774 markings, 138588 edges, 22155 markings/sec, 0 secs
lola: 227037 markings, 284642 edges, 23253 markings/sec, 5 secs
lola: 351018 markings, 441228 edges, 24796 markings/sec, 10 secs
lola: 473951 markings, 595930 edges, 24587 markings/sec, 15 secs
lola: 603646 markings, 760337 edges, 25939 markings/sec, 20 secs
lola: 732977 markings, 925081 edges, 25866 markings/sec, 25 secs
lola: 859614 markings, 1085421 edges, 25327 markings/sec, 30 secs
lola: 985157 markings, 1243598 edges, 25109 markings/sec, 35 secs
lola: 1106159 markings, 1397213 edges, 24200 markings/sec, 40 secs
lola: 1229750 markings, 1554542 edges, 24718 markings/sec, 45 secs
lola: 1359777 markings, 1719979 edges, 26005 markings/sec, 50 secs
lola: 1489165 markings, 1883382 edges, 25878 markings/sec, 55 secs
lola: 1610794 markings, 2035890 edges, 24326 markings/sec, 60 secs
lola: 1729177 markings, 2185685 edges, 23677 markings/sec, 65 secs
lola: 1849875 markings, 2339274 edges, 24140 markings/sec, 70 secs
lola: 1974128 markings, 2497558 edges, 24851 markings/sec, 75 secs
lola: 2106650 markings, 2666013 edges, 26504 markings/sec, 80 secs
lola: 2235589 markings, 2829372 edges, 25788 markings/sec, 85 secs
lola: 2360462 markings, 2987859 edges, 24975 markings/sec, 90 secs
lola: 2486683 markings, 3147809 edges, 25244 markings/sec, 95 secs
lola: 2616999 markings, 3313926 edges, 26063 markings/sec, 100 secs
lola: 2745663 markings, 3477067 edges, 25733 markings/sec, 105 secs
lola: 2868618 markings, 3632477 edges, 24591 markings/sec, 110 secs
lola: 2994757 markings, 3792768 edges, 25228 markings/sec, 115 secs
lola: 3121535 markings, 3953851 edges, 25356 markings/sec, 120 secs
lola: 3251014 markings, 4118345 edges, 25896 markings/sec, 125 secs
lola: 3378313 markings, 4280362 edges, 25460 markings/sec, 130 secs
lola: 3505244 markings, 4440925 edges, 25386 markings/sec, 135 secs
lola: 3629491 markings, 4598121 edges, 24849 markings/sec, 140 secs
lola: 3755503 markings, 4757368 edges, 25202 markings/sec, 145 secs
lola: 3882985 markings, 4919362 edges, 25496 markings/sec, 150 secs
lola: 4009929 markings, 5080619 edges, 25389 markings/sec, 155 secs
lola: 4134193 markings, 5238805 edges, 24853 markings/sec, 160 secs
lola: 4252273 markings, 5388127 edges, 23616 markings/sec, 165 secs
lola: 4379070 markings, 5548244 edges, 25359 markings/sec, 170 secs
lola: 4501879 markings, 5704544 edges, 24562 markings/sec, 175 secs
lola: 4627044 markings, 5864090 edges, 25033 markings/sec, 180 secs
lola: 4748302 markings, 6018278 edges, 24252 markings/sec, 185 secs
lola: 4869067 markings, 6171997 edges, 24153 markings/sec, 190 secs
lola: 4986138 markings, 6319486 edges, 23414 markings/sec, 195 secs
lola: 5102714 markings, 6467034 edges, 23315 markings/sec, 200 secs
lola: 5224256 markings, 6621772 edges, 24308 markings/sec, 205 secs
lola: 5343145 markings, 6773200 edges, 23778 markings/sec, 210 secs
lola: 5465281 markings, 6928608 edges, 24427 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(p268)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 146572 markings, 165921 edges, 29314 markings/sec, 0 secs
lola: 294038 markings, 333248 edges, 29493 markings/sec, 5 secs
lola: 440957 markings, 499729 edges, 29384 markings/sec, 10 secs
lola: 589138 markings, 667856 edges, 29636 markings/sec, 15 secs
lola: 741332 markings, 841126 edges, 30439 markings/sec, 20 secs
lola: 892302 markings, 1012574 edges, 30194 markings/sec, 25 secs
lola: 1041093 markings, 1181847 edges, 29758 markings/sec, 30 secs
lola: 1193733 markings, 1355796 edges, 30528 markings/sec, 35 secs
lola: 1335078 markings, 1515885 edges, 28269 markings/sec, 40 secs
lola: 1471668 markings, 1670590 edges, 27318 markings/sec, 45 secs
lola: 1614598 markings, 1832843 edges, 28586 markings/sec, 50 secs
lola: 1757182 markings, 1994495 edges, 28517 markings/sec, 55 secs
lola: 1911575 markings, 2170058 edges, 30879 markings/sec, 60 secs
lola: 2054660 markings, 2331804 edges, 28617 markings/sec, 65 secs
lola: 2205763 markings, 2504135 edges, 30221 markings/sec, 70 secs
lola: 2353568 markings, 2671772 edges, 29561 markings/sec, 75 secs
lola: 2501254 markings, 2839283 edges, 29537 markings/sec, 80 secs
lola: 2648540 markings, 3006395 edges, 29457 markings/sec, 85 secs
lola: 2796994 markings, 3175685 edges, 29691 markings/sec, 90 secs
lola: 2949204 markings, 3348298 edges, 30442 markings/sec, 95 secs
lola: 3105237 markings, 3525848 edges, 31207 markings/sec, 100 secs
lola: 3258371 markings, 3699192 edges, 30627 markings/sec, 105 secs
lola: 3420142 markings, 3883214 edges, 32354 markings/sec, 110 secs
lola: 3578748 markings, 4063493 edges, 31721 markings/sec, 115 secs
lola: 3732896 markings, 4238584 edges, 30830 markings/sec, 120 secs
lola: 3884200 markings, 4411556 edges, 30261 markings/sec, 125 secs
lola: 4036642 markings, 4585039 edges, 30488 markings/sec, 130 secs
lola: 4187641 markings, 4756574 edges, 30200 markings/sec, 135 secs
lola: 4343129 markings, 4933653 edges, 31098 markings/sec, 140 secs
lola: 4491425 markings, 5102450 edges, 29659 markings/sec, 145 secs
lola: 4634799 markings, 5265664 edges, 28675 markings/sec, 150 secs
lola: 4776363 markings, 5426633 edges, 28313 markings/sec, 155 secs
lola: 4927619 markings, 5598963 edges, 30251 markings/sec, 160 secs
lola: 5079124 markings, 5771547 edges, 30301 markings/sec, 165 secs
lola: 5227243 markings, 5940059 edges, 29624 markings/sec, 170 secs
lola: 5376329 markings, 6109345 edges, 29817 markings/sec, 175 secs
lola: 5528236 markings, 6282419 edges, 30381 markings/sec, 180 secs
lola: 5674999 markings, 6449709 edges, 29353 markings/sec, 185 secs
lola: 5825875 markings, 6621362 edges, 30175 markings/sec, 190 secs
lola: 5976386 markings, 6792962 edges, 30102 markings/sec, 195 secs
lola: 6122549 markings, 6959412 edges, 29233 markings/sec, 200 secs
lola: 6261689 markings, 7117760 edges, 27828 markings/sec, 205 secs
lola: 6399734 markings, 7273692 edges, 27609 markings/sec, 210 secs
lola: 6538206 markings, 7431533 edges, 27694 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(p1258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1090)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 219465 markings, 249361 edges, 43893 markings/sec, 0 secs
lola: 443417 markings, 503751 edges, 44790 markings/sec, 5 secs
lola: 667440 markings, 757352 edges, 44805 markings/sec, 10 secs
lola: 879724 markings, 998675 edges, 42457 markings/sec, 15 secs
lola: 1098288 markings, 1246940 edges, 43713 markings/sec, 20 secs
lola: 1336453 markings, 1517784 edges, 47633 markings/sec, 25 secs
lola: 1579165 markings, 1793546 edges, 48542 markings/sec, 30 secs
lola: 1832054 markings, 2078481 edges, 50578 markings/sec, 35 secs
lola: 2081608 markings, 2358673 edges, 49911 markings/sec, 40 secs
lola: 2332177 markings, 2640691 edges, 50114 markings/sec, 45 secs
lola: 2587824 markings, 2927665 edges, 51129 markings/sec, 50 secs
lola: 2839791 markings, 3211028 edges, 50393 markings/sec, 55 secs
lola: 3093062 markings, 3495722 edges, 50654 markings/sec, 60 secs
lola: 3348023 markings, 3782526 edges, 50992 markings/sec, 65 secs
lola: 3599811 markings, 4065650 edges, 50358 markings/sec, 70 secs
lola: 3842998 markings, 4339070 edges, 48637 markings/sec, 75 secs
lola: 4096425 markings, 4623952 edges, 50685 markings/sec, 80 secs
lola: 4346969 markings, 4905317 edges, 50109 markings/sec, 85 secs
lola: 4599208 markings, 5188973 edges, 50448 markings/sec, 90 secs
lola: 4854612 markings, 5476055 edges, 51081 markings/sec, 95 secs
lola: 5104069 markings, 5756990 edges, 49891 markings/sec, 100 secs
lola: 5344642 markings, 6027158 edges, 48115 markings/sec, 105 secs
lola: 5587111 markings, 6300045 edges, 48494 markings/sec, 110 secs
lola: 5832010 markings, 6574832 edges, 48980 markings/sec, 115 secs
lola: 6070750 markings, 6843320 edges, 47748 markings/sec, 120 secs
lola: 6318464 markings, 7121598 edges, 49543 markings/sec, 125 secs
lola: 6550808 markings, 7385650 edges, 46469 markings/sec, 130 secs
lola: 6782731 markings, 7649089 edges, 46385 markings/sec, 135 secs
lola: 7013361 markings, 7911164 edges, 46126 markings/sec, 140 secs
lola: 7243650 markings, 8171946 edges, 46058 markings/sec, 145 secs
lola: 7471546 markings, 8431046 edges, 45579 markings/sec, 150 secs
lola: 7698671 markings, 8688995 edges, 45425 markings/sec, 155 secs
lola: 7932455 markings, 8953422 edges, 46757 markings/sec, 160 secs
lola: 8161991 markings, 9214283 edges, 45907 markings/sec, 165 secs
lola: 8391537 markings, 9475010 edges, 45909 markings/sec, 170 secs
lola: 8622963 markings, 9736858 edges, 46285 markings/sec, 175 secs
lola: 8854576 markings, 10000270 edges, 46323 markings/sec, 180 secs
lola: 9071544 markings, 10246968 edges, 43394 markings/sec, 185 secs
lola: 9292709 markings, 10497240 edges, 44233 markings/sec, 190 secs
lola: 9512852 markings, 10747351 edges, 44029 markings/sec, 195 secs
lola: 9731114 markings, 10995479 edges, 43652 markings/sec, 200 secs
lola: 9946972 markings, 11240879 edges, 43172 markings/sec, 205 secs
lola: 10161160 markings, 11484104 edges, 42838 markings/sec, 210 secs
lola: 10374922 markings, 11727009 edges, 42752 markings/sec, 215 secs
lola: 10607282 markings, 11989927 edges, 46472 markings/sec, 220 secs
lola: 10835028 markings, 12248769 edges, 45549 markings/sec, 225 secs
lola: 11071229 markings, 12517087 edges, 47240 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1543)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 279130 markings, 311362 edges, 55826 markings/sec, 0 secs
lola: 561166 markings, 626100 edges, 56407 markings/sec, 5 secs
lola: 801269 markings, 894038 edges, 48021 markings/sec, 10 secs
lola: 1047031 markings, 1168369 edges, 49152 markings/sec, 15 secs
lola: 1286137 markings, 1435214 edges, 47821 markings/sec, 20 secs
lola: 1525696 markings, 1703056 edges, 47912 markings/sec, 25 secs
lola: 1763880 markings, 1969108 edges, 47637 markings/sec, 30 secs
lola: 1993465 markings, 2225601 edges, 45917 markings/sec, 35 secs
lola: 2194628 markings, 2450566 edges, 40233 markings/sec, 40 secs
lola: 2398249 markings, 2678210 edges, 40724 markings/sec, 45 secs
lola: 2604178 markings, 2908589 edges, 41186 markings/sec, 50 secs
lola: 2822285 markings, 3152440 edges, 43621 markings/sec, 55 secs
lola: 3024575 markings, 3378561 edges, 40458 markings/sec, 60 secs
lola: 3233957 markings, 3612604 edges, 41876 markings/sec, 65 secs
lola: 3463036 markings, 3868469 edges, 45816 markings/sec, 70 secs
lola: 3679989 markings, 4110950 edges, 43391 markings/sec, 75 secs
lola: 3897446 markings, 4354096 edges, 43491 markings/sec, 80 secs
lola: 4124761 markings, 4608140 edges, 45463 markings/sec, 85 secs
lola: 4379940 markings, 4892994 edges, 51036 markings/sec, 90 secs
lola: 4634155 markings, 5176682 edges, 50843 markings/sec, 95 secs
lola: 4872949 markings, 5443454 edges, 47759 markings/sec, 100 secs
lola: 5099493 markings, 5696766 edges, 45309 markings/sec, 105 secs
lola: 5342855 markings, 5968742 edges, 48672 markings/sec, 110 secs
lola: 5591616 markings, 6246469 edges, 49752 markings/sec, 115 secs
lola: 5846929 markings, 6531429 edges, 51063 markings/sec, 120 secs
lola: 6104563 markings, 6818994 edges, 51527 markings/sec, 125 secs
lola: 6357388 markings, 7101159 edges, 50565 markings/sec, 130 secs
lola: 6614269 markings, 7387917 edges, 51376 markings/sec, 135 secs
lola: 6885209 markings, 7690328 edges, 54188 markings/sec, 140 secs
lola: 7156438 markings, 7992889 edges, 54246 markings/sec, 145 secs
lola: 7415269 markings, 8281729 edges, 51766 markings/sec, 150 secs
lola: 7665134 markings, 8560635 edges, 49973 markings/sec, 155 secs
lola: 7934171 markings, 8860826 edges, 53807 markings/sec, 160 secs
lola: 8193059 markings, 9149785 edges, 51778 markings/sec, 165 secs
lola: 8426946 markings, 9411074 edges, 46777 markings/sec, 170 secs
lola: 8655174 markings, 9666318 edges, 45646 markings/sec, 175 secs
lola: 8882281 markings, 9920156 edges, 45421 markings/sec, 180 secs
lola: 9119283 markings, 10184954 edges, 47400 markings/sec, 185 secs
lola: 9360821 markings, 10454484 edges, 48308 markings/sec, 190 secs
lola: 9606956 markings, 10729131 edges, 49227 markings/sec, 195 secs
lola: 9856222 markings, 11007152 edges, 49853 markings/sec, 200 secs
lola: 10076854 markings, 11253317 edges, 44126 markings/sec, 205 secs
lola: 10282857 markings, 11483202 edges, 41201 markings/sec, 210 secs
lola: 10505999 markings, 11732143 edges, 44628 markings/sec, 215 secs
lola: 10747794 markings, 12001913 edges, 48359 markings/sec, 220 secs
lola: 10982247 markings, 12263609 edges, 46891 markings/sec, 225 secs
lola: 11185107 markings, 12489972 edges, 40572 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1788)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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 8 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 342033 markings, 373716 edges, 68407 markings/sec, 0 secs
lola: 679646 markings, 742871 edges, 67523 markings/sec, 5 secs
lola: 1022972 markings, 1118358 edges, 68665 markings/sec, 10 secs
lola: 1369308 markings, 1497503 edges, 69267 markings/sec, 15 secs
lola: 1734718 markings, 1897077 edges, 73082 markings/sec, 20 secs
lola: 2082913 markings, 2278071 edges, 69639 markings/sec, 25 secs
lola: 2417142 markings, 2643620 edges, 66846 markings/sec, 30 secs
lola: 2760175 markings, 3018648 edges, 68607 markings/sec, 35 secs
lola: 3105859 markings, 3396594 edges, 69137 markings/sec, 40 secs
lola: 3456128 markings, 3779619 edges, 70054 markings/sec, 45 secs
lola: 3810911 markings, 4167468 edges, 70957 markings/sec, 50 secs
lola: 4157602 markings, 4546793 edges, 69338 markings/sec, 55 secs
lola: 4503425 markings, 4925039 edges, 69165 markings/sec, 60 secs
lola: 4845074 markings, 5298712 edges, 68330 markings/sec, 65 secs
lola: 5171611 markings, 5655737 edges, 65307 markings/sec, 70 secs
lola: 5515611 markings, 6032148 edges, 68800 markings/sec, 75 secs
lola: 5865094 markings, 6414355 edges, 69897 markings/sec, 80 secs
lola: 6215316 markings, 6797049 edges, 70044 markings/sec, 85 secs
lola: 6566870 markings, 7181463 edges, 70311 markings/sec, 90 secs
lola: 6914123 markings, 7561290 edges, 69451 markings/sec, 95 secs
lola: 7263059 markings, 7942876 edges, 69787 markings/sec, 100 secs
lola: 7610031 markings, 8322371 edges, 69394 markings/sec, 105 secs
lola: 7961745 markings, 8706999 edges, 70343 markings/sec, 110 secs
lola: 8311969 markings, 9090224 edges, 70045 markings/sec, 115 secs
lola: 8646954 markings, 9456595 edges, 66997 markings/sec, 120 secs
lola: 8987749 markings, 9829258 edges, 68159 markings/sec, 125 secs
lola: 9334389 markings, 10208239 edges, 69328 markings/sec, 130 secs
lola: 9680596 markings, 10586870 edges, 69241 markings/sec, 135 secs
lola: 10024988 markings, 10963566 edges, 68878 markings/sec, 140 secs
lola: 10350325 markings, 11319315 edges, 65067 markings/sec, 145 secs
lola: 10684630 markings, 11685033 edges, 66861 markings/sec, 150 secs
lola: 11025586 markings, 12057866 edges, 68191 markings/sec, 155 secs
lola: 11364522 markings, 12428691 edges, 67787 markings/sec, 160 secs
lola: 11710177 markings, 12806628 edges, 69131 markings/sec, 165 secs
lola: 12054218 markings, 13182827 edges, 68808 markings/sec, 170 secs
lola: 12403277 markings, 13564521 edges, 69812 markings/sec, 175 secs
lola: 12766043 markings, 13961247 edges, 72553 markings/sec, 180 secs
lola: 13142957 markings, 14373190 edges, 75383 markings/sec, 185 secs
lola: 13521159 markings, 14786687 edges, 75640 markings/sec, 190 secs
lola: 13895717 markings, 15196348 edges, 74912 markings/sec, 195 secs
lola: 14261380 markings, 15596333 edges, 73133 markings/sec, 200 secs
lola: 14620751 markings, 15989110 edges, 71874 markings/sec, 205 secs
lola: 14955396 markings, 16355152 edges, 66929 markings/sec, 210 secs
lola: 15288946 markings, 16719997 edges, 66710 markings/sec, 215 secs
lola: 15621297 markings, 17083416 edges, 66470 markings/sec, 220 secs
lola: 15978413 markings, 17473738 edges, 71423 markings/sec, 225 secs
lola: 16327172 markings, 17855027 edges, 69752 markings/sec, 230 secs
lola: 16671925 markings, 18232082 edges, 68951 markings/sec, 235 secs
lola: 17041532 markings, 18636324 edges, 73921 markings/sec, 240 secs
lola: 17421340 markings, 19051710 edges, 75962 markings/sec, 245 secs
lola: 17806884 markings, 19473256 edges, 77109 markings/sec, 250 secs
lola: 18199990 markings, 19903151 edges, 78621 markings/sec, 255 secs
lola: 18577002 markings, 20315247 edges, 75402 markings/sec, 260 secs
lola: 18939233 markings, 20711338 edges, 72446 markings/sec, 265 secs
lola: 19301033 markings, 21106921 edges, 72360 markings/sec, 270 secs
lola: 19669086 markings, 21509292 edges, 73611 markings/sec, 275 secs
lola: 20035999 markings, 21910661 edges, 73383 markings/sec, 280 secs
lola: 20405783 markings, 22315000 edges, 73957 markings/sec, 285 secs
lola: 20754370 markings, 22696360 edges, 69717 markings/sec, 290 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 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p576)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 149514 markings, 168473 edges, 29903 markings/sec, 0 secs
lola: 295504 markings, 333121 edges, 29198 markings/sec, 5 secs
lola: 433028 markings, 488851 edges, 27505 markings/sec, 10 secs
lola: 560412 markings, 633886 edges, 25477 markings/sec, 15 secs
lola: 692937 markings, 783769 edges, 26505 markings/sec, 20 secs
lola: 849219 markings, 962345 edges, 31256 markings/sec, 25 secs
lola: 982417 markings, 1113285 edges, 26640 markings/sec, 30 secs
lola: 1137761 markings, 1290423 edges, 31069 markings/sec, 35 secs
lola: 1273976 markings, 1445001 edges, 27243 markings/sec, 40 secs
lola: 1431282 markings, 1624089 edges, 31461 markings/sec, 45 secs
lola: 1576738 markings, 1789110 edges, 29091 markings/sec, 50 secs
lola: 1723253 markings, 1954353 edges, 29303 markings/sec, 55 secs
lola: 1878008 markings, 2130771 edges, 30951 markings/sec, 60 secs
lola: 2013504 markings, 2284541 edges, 27099 markings/sec, 65 secs
lola: 2156101 markings, 2446323 edges, 28519 markings/sec, 70 secs
lola: 2297820 markings, 2607577 edges, 28344 markings/sec, 75 secs
lola: 2433467 markings, 2761547 edges, 27129 markings/sec, 80 secs
lola: 2570700 markings, 2917496 edges, 27447 markings/sec, 85 secs
lola: 2699757 markings, 3063814 edges, 25811 markings/sec, 90 secs
lola: 2844974 markings, 3228894 edges, 29043 markings/sec, 95 secs
lola: 2991546 markings, 3395753 edges, 29314 markings/sec, 100 secs
lola: 3139079 markings, 3563630 edges, 29507 markings/sec, 105 secs
lola: 3285255 markings, 3729688 edges, 29235 markings/sec, 110 secs
lola: 3429892 markings, 3893915 edges, 28927 markings/sec, 115 secs
lola: 3561455 markings, 4043247 edges, 26313 markings/sec, 120 secs
lola: 3692916 markings, 4192489 edges, 26292 markings/sec, 125 secs
lola: 3826671 markings, 4343720 edges, 26751 markings/sec, 130 secs
lola: 3948811 markings, 4482983 edges, 24428 markings/sec, 135 secs
lola: 4075182 markings, 4626011 edges, 25274 markings/sec, 140 secs
lola: 4218141 markings, 4788922 edges, 28592 markings/sec, 145 secs
lola: 4352966 markings, 4941939 edges, 26965 markings/sec, 150 secs
lola: 4504785 markings, 5115041 edges, 30364 markings/sec, 155 secs
lola: 4636651 markings, 5264773 edges, 26373 markings/sec, 160 secs
lola: 4779737 markings, 5427253 edges, 28617 markings/sec, 165 secs
lola: 4913289 markings, 5578587 edges, 26710 markings/sec, 170 secs
lola: 5044063 markings, 5726901 edges, 26155 markings/sec, 175 secs
lola: 5174707 markings, 5875440 edges, 26129 markings/sec, 180 secs
lola: 5296662 markings, 6013636 edges, 24391 markings/sec, 185 secs
lola: 5433590 markings, 6169130 edges, 27386 markings/sec, 190 secs
lola: 5562562 markings, 6315586 edges, 25794 markings/sec, 195 secs
lola: 5700598 markings, 6472644 edges, 27607 markings/sec, 200 secs
lola: 5851357 markings, 6643996 edges, 30152 markings/sec, 205 secs
lola: 6004487 markings, 6818530 edges, 30626 markings/sec, 210 secs
lola: 6132954 markings, 6964590 edges, 25693 markings/sec, 215 secs
lola: 6275595 markings, 7127060 edges, 28528 markings/sec, 220 secs
lola: 6421007 markings, 7292899 edges, 29082 markings/sec, 225 secs
lola: 6557801 markings, 7447955 edges, 27359 markings/sec, 230 secs
lola: 6685651 markings, 7592767 edges, 25570 markings/sec, 235 secs
lola: 6820570 markings, 7746485 edges, 26984 markings/sec, 240 secs
lola: 6964240 markings, 7909959 edges, 28734 markings/sec, 245 secs
lola: 7098386 markings, 8061928 edges, 26829 markings/sec, 250 secs
lola: 7235437 markings, 8217389 edges, 27410 markings/sec, 255 secs
lola: 7374024 markings, 8374219 edges, 27717 markings/sec, 260 secs
lola: 7513894 markings, 8532709 edges, 27974 markings/sec, 265 secs
lola: 7657557 markings, 8695931 edges, 28733 markings/sec, 270 secs
lola: 7809043 markings, 8868991 edges, 30297 markings/sec, 275 secs
lola: 7951526 markings, 9032283 edges, 28497 markings/sec, 280 secs
lola: 8099036 markings, 9199883 edges, 29502 markings/sec, 285 secs
lola: 8238975 markings, 9359561 edges, 27988 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 158853 markings, 180948 edges, 31771 markings/sec, 0 secs
lola: 325294 markings, 371825 edges, 33288 markings/sec, 5 secs
lola: 496370 markings, 568459 edges, 34215 markings/sec, 10 secs
lola: 661237 markings, 757731 edges, 32973 markings/sec, 15 secs
lola: 817720 markings, 936994 edges, 31297 markings/sec, 20 secs
lola: 973245 markings, 1115423 edges, 31105 markings/sec, 25 secs
lola: 1130642 markings, 1296415 edges, 31479 markings/sec, 30 secs
lola: 1284024 markings, 1472067 edges, 30676 markings/sec, 35 secs
lola: 1441954 markings, 1653536 edges, 31586 markings/sec, 40 secs
lola: 1605959 markings, 1841744 edges, 32801 markings/sec, 45 secs
lola: 1772861 markings, 2033309 edges, 33380 markings/sec, 50 secs
lola: 1915317 markings, 2196851 edges, 28491 markings/sec, 55 secs
lola: 2069436 markings, 2373522 edges, 30824 markings/sec, 60 secs
lola: 2231236 markings, 2559322 edges, 32360 markings/sec, 65 secs
lola: 2391004 markings, 2742587 edges, 31954 markings/sec, 70 secs
lola: 2546055 markings, 2920825 edges, 31010 markings/sec, 75 secs
lola: 2709279 markings, 3108052 edges, 32645 markings/sec, 80 secs
lola: 2868353 markings, 3290691 edges, 31815 markings/sec, 85 secs
lola: 3024040 markings, 3469560 edges, 31137 markings/sec, 90 secs
lola: 3190731 markings, 3660708 edges, 33338 markings/sec, 95 secs
lola: 3353611 markings, 3847842 edges, 32576 markings/sec, 100 secs
lola: 3524225 markings, 4043645 edges, 34123 markings/sec, 105 secs
lola: 3688536 markings, 4231700 edges, 32862 markings/sec, 110 secs
lola: 3859714 markings, 4428070 edges, 34236 markings/sec, 115 secs
lola: 4026283 markings, 4618777 edges, 33314 markings/sec, 120 secs
lola: 4197964 markings, 4815528 edges, 34336 markings/sec, 125 secs
lola: 4370825 markings, 5013858 edges, 34572 markings/sec, 130 secs
lola: 4539887 markings, 5207722 edges, 33812 markings/sec, 135 secs
lola: 4709677 markings, 5402587 edges, 33958 markings/sec, 140 secs
lola: 4870035 markings, 5586658 edges, 32072 markings/sec, 145 secs
lola: 5031159 markings, 5771330 edges, 32225 markings/sec, 150 secs
lola: 5199034 markings, 5963802 edges, 33575 markings/sec, 155 secs
lola: 5367936 markings, 6157279 edges, 33780 markings/sec, 160 secs
lola: 5537910 markings, 6352024 edges, 33995 markings/sec, 165 secs
lola: 5704706 markings, 6543290 edges, 33359 markings/sec, 170 secs
lola: 5871506 markings, 6734439 edges, 33360 markings/sec, 175 secs
lola: 6041280 markings, 6928993 edges, 33955 markings/sec, 180 secs
lola: 6212072 markings, 7124977 edges, 34158 markings/sec, 185 secs
lola: 6373636 markings, 7309072 edges, 32313 markings/sec, 190 secs
lola: 6537691 markings, 7496888 edges, 32811 markings/sec, 195 secs
lola: 6704953 markings, 7688413 edges, 33452 markings/sec, 200 secs
lola: 6871957 markings, 7879771 edges, 33401 markings/sec, 205 secs
lola: 7035895 markings, 8067195 edges, 32788 markings/sec, 210 secs
lola: 7202733 markings, 8258898 edges, 33368 markings/sec, 215 secs
lola: 7371916 markings, 8453013 edges, 33837 markings/sec, 220 secs
lola: 7545211 markings, 8651353 edges, 34659 markings/sec, 225 secs
lola: 7710671 markings, 8841282 edges, 33092 markings/sec, 230 secs
lola: 7884558 markings, 9040483 edges, 34777 markings/sec, 235 secs
lola: 8058392 markings, 9239950 edges, 34767 markings/sec, 240 secs
lola: 8228329 markings, 9434885 edges, 33987 markings/sec, 245 secs
lola: 8398252 markings, 9629914 edges, 33985 markings/sec, 250 secs
lola: 8570858 markings, 9827474 edges, 34521 markings/sec, 255 secs
lola: 8740185 markings, 10021897 edges, 33865 markings/sec, 260 secs
lola: 8909937 markings, 10216365 edges, 33950 markings/sec, 265 secs
lola: 9082519 markings, 10414475 edges, 34516 markings/sec, 270 secs
lola: 9247468 markings, 10603437 edges, 32990 markings/sec, 275 secs
lola: 9417103 markings, 10797764 edges, 33927 markings/sec, 280 secs
lola: 9580354 markings, 10985291 edges, 32650 markings/sec, 285 secs
lola: 9746320 markings, 11175694 edges, 33193 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p531)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 154288 markings, 178488 edges, 30858 markings/sec, 0 secs
lola: 292447 markings, 337222 edges, 27632 markings/sec, 5 secs
lola: 423611 markings, 489148 edges, 26233 markings/sec, 10 secs
lola: 558066 markings, 646046 edges, 26891 markings/sec, 15 secs
lola: 701702 markings, 813795 edges, 28727 markings/sec, 20 secs
lola: 844291 markings, 982143 edges, 28518 markings/sec, 25 secs
lola: 983381 markings, 1146735 edges, 27818 markings/sec, 30 secs
lola: 1125802 markings, 1317397 edges, 28484 markings/sec, 35 secs
lola: 1263917 markings, 1480130 edges, 27623 markings/sec, 40 secs
lola: 1399627 markings, 1643455 edges, 27142 markings/sec, 45 secs
lola: 1535240 markings, 1804264 edges, 27123 markings/sec, 50 secs
lola: 1668491 markings, 1963718 edges, 26650 markings/sec, 55 secs
lola: 1802707 markings, 2123685 edges, 26843 markings/sec, 60 secs
lola: 1935403 markings, 2279578 edges, 26539 markings/sec, 65 secs
lola: 2067045 markings, 2434251 edges, 26328 markings/sec, 70 secs
lola: 2204446 markings, 2600296 edges, 27480 markings/sec, 75 secs
lola: 2337528 markings, 2760190 edges, 26616 markings/sec, 80 secs
lola: 2468091 markings, 2912237 edges, 26113 markings/sec, 85 secs
lola: 2600360 markings, 3068902 edges, 26454 markings/sec, 90 secs
lola: 2733667 markings, 3228156 edges, 26661 markings/sec, 95 secs
lola: 2854570 markings, 3372224 edges, 24181 markings/sec, 100 secs
lola: 2979393 markings, 3521370 edges, 24965 markings/sec, 105 secs
lola: 3102421 markings, 3668790 edges, 24606 markings/sec, 110 secs
lola: 3225377 markings, 3815587 edges, 24591 markings/sec, 115 secs
lola: 3348393 markings, 3961008 edges, 24603 markings/sec, 120 secs
lola: 3471704 markings, 4107537 edges, 24662 markings/sec, 125 secs
lola: 3599192 markings, 4258806 edges, 25498 markings/sec, 130 secs
lola: 3726586 markings, 4410037 edges, 25479 markings/sec, 135 secs
lola: 3864782 markings, 4572709 edges, 27639 markings/sec, 140 secs
lola: 4006155 markings, 4738730 edges, 28275 markings/sec, 145 secs
lola: 4138543 markings, 4895707 edges, 26478 markings/sec, 150 secs
lola: 4269770 markings, 5051565 edges, 26245 markings/sec, 155 secs
lola: 4396013 markings, 5200137 edges, 25249 markings/sec, 160 secs
lola: 4524117 markings, 5351591 edges, 25621 markings/sec, 165 secs
lola: 4652560 markings, 5503547 edges, 25689 markings/sec, 170 secs
lola: 4781667 markings, 5656119 edges, 25821 markings/sec, 175 secs
lola: 4906916 markings, 5803294 edges, 25050 markings/sec, 180 secs
lola: 5033781 markings, 5953714 edges, 25373 markings/sec, 185 secs
lola: 5159321 markings, 6102578 edges, 25108 markings/sec, 190 secs
lola: 5285015 markings, 6251793 edges, 25139 markings/sec, 195 secs
lola: 5405888 markings, 6395230 edges, 24175 markings/sec, 200 secs
lola: 5524913 markings, 6535104 edges, 23805 markings/sec, 205 secs
lola: 5646840 markings, 6679966 edges, 24385 markings/sec, 210 secs
lola: 5781757 markings, 6838975 edges, 26983 markings/sec, 215 secs
lola: 5915398 markings, 6997107 edges, 26728 markings/sec, 220 secs
lola: 6049442 markings, 7155244 edges, 26809 markings/sec, 225 secs
lola: 6180298 markings, 7308676 edges, 26171 markings/sec, 230 secs
lola: 6308494 markings, 7460256 edges, 25639 markings/sec, 235 secs
lola: 6434152 markings, 7609302 edges, 25132 markings/sec, 240 secs
lola: 6561189 markings, 7758962 edges, 25407 markings/sec, 245 secs
lola: 6695603 markings, 7917936 edges, 26883 markings/sec, 250 secs
lola: 6830936 markings, 8077847 edges, 27067 markings/sec, 255 secs
lola: 6965237 markings, 8236469 edges, 26860 markings/sec, 260 secs
lola: 7091981 markings, 8386654 edges, 25349 markings/sec, 265 secs
lola: 7221353 markings, 8540685 edges, 25874 markings/sec, 270 secs
lola: 7340547 markings, 8680868 edges, 23839 markings/sec, 275 secs
lola: 7470701 markings, 8834138 edges, 26031 markings/sec, 280 secs
lola: 7603464 markings, 8991385 edges, 26553 markings/sec, 285 secs
lola: 7733760 markings, 9146026 edges, 26059 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p764)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 197601 markings, 221454 edges, 39520 markings/sec, 0 secs
lola: 407154 markings, 454193 edges, 41911 markings/sec, 5 secs
lola: 615521 markings, 684653 edges, 41673 markings/sec, 10 secs
lola: 819077 markings, 910304 edges, 40711 markings/sec, 15 secs
lola: 1030988 markings, 1146132 edges, 42382 markings/sec, 20 secs
lola: 1270341 markings, 1413378 edges, 47871 markings/sec, 25 secs
lola: 1507629 markings, 1678804 edges, 47458 markings/sec, 30 secs
lola: 1747628 markings, 1947280 edges, 48000 markings/sec, 35 secs
lola: 2007896 markings, 2236987 edges, 52054 markings/sec, 40 secs
lola: 2252901 markings, 2509683 edges, 49001 markings/sec, 45 secs
lola: 2509319 markings, 2794049 edges, 51284 markings/sec, 50 secs
lola: 2756027 markings, 3068773 edges, 49342 markings/sec, 55 secs
lola: 3016264 markings, 3357507 edges, 52047 markings/sec, 60 secs
lola: 3274938 markings, 3644762 edges, 51735 markings/sec, 65 secs
lola: 3527117 markings, 3925075 edges, 50436 markings/sec, 70 secs
lola: 3767028 markings, 4191902 edges, 47982 markings/sec, 75 secs
lola: 4002230 markings, 4453368 edges, 47040 markings/sec, 80 secs
lola: 4252521 markings, 4731670 edges, 50058 markings/sec, 85 secs
lola: 4487517 markings, 4992644 edges, 46999 markings/sec, 90 secs
lola: 4713014 markings, 5243433 edges, 45099 markings/sec, 95 secs
lola: 4952502 markings, 5509932 edges, 47898 markings/sec, 100 secs
lola: 5201137 markings, 5786436 edges, 49727 markings/sec, 105 secs
lola: 5462319 markings, 6076655 edges, 52236 markings/sec, 110 secs
lola: 5724115 markings, 6367912 edges, 52359 markings/sec, 115 secs
lola: 5960638 markings, 6630972 edges, 47305 markings/sec, 120 secs
lola: 6216119 markings, 6915042 edges, 51096 markings/sec, 125 secs
lola: 6448859 markings, 7173529 edges, 46548 markings/sec, 130 secs
lola: 6693284 markings, 7445339 edges, 48885 markings/sec, 135 secs
lola: 6930303 markings, 7708371 edges, 47404 markings/sec, 140 secs
lola: 7164790 markings, 7968633 edges, 46897 markings/sec, 145 secs
lola: 7424654 markings, 8258106 edges, 51973 markings/sec, 150 secs
lola: 7661944 markings, 8521450 edges, 47458 markings/sec, 155 secs
lola: 7864989 markings, 8746602 edges, 40609 markings/sec, 160 secs
lola: 8118727 markings, 9028627 edges, 50748 markings/sec, 165 secs
lola: 8371959 markings, 9309740 edges, 50646 markings/sec, 170 secs
lola: 8608526 markings, 9572737 edges, 47313 markings/sec, 175 secs
lola: 8858443 markings, 9850877 edges, 49983 markings/sec, 180 secs
lola: 9072717 markings, 10088738 edges, 42855 markings/sec, 185 secs
lola: 9263839 markings, 10300308 edges, 38224 markings/sec, 190 secs
lola: 9526378 markings, 10591847 edges, 52508 markings/sec, 195 secs
lola: 9783062 markings, 10877576 edges, 51337 markings/sec, 200 secs
lola: 10042048 markings, 11165478 edges, 51797 markings/sec, 205 secs
lola: 10290559 markings, 11441617 edges, 49702 markings/sec, 210 secs
lola: 10508335 markings, 11683675 edges, 43555 markings/sec, 215 secs
lola: 10782786 markings, 11987492 edges, 54890 markings/sec, 220 secs
lola: 11020817 markings, 12252277 edges, 47606 markings/sec, 225 secs
lola: 11250032 markings, 12507136 edges, 45843 markings/sec, 230 secs
lola: 11483551 markings, 12766813 edges, 46704 markings/sec, 235 secs
lola: 11710344 markings, 13018950 edges, 45359 markings/sec, 240 secs
lola: 11943234 markings, 13277541 edges, 46578 markings/sec, 245 secs
lola: 12225054 markings, 13589640 edges, 56364 markings/sec, 250 secs
lola: 12471422 markings, 13863787 edges, 49274 markings/sec, 255 secs
lola: 12698009 markings, 14115850 edges, 45317 markings/sec, 260 secs
lola: 12930949 markings, 14374555 edges, 46588 markings/sec, 265 secs
lola: 13136812 markings, 14603319 edges, 41173 markings/sec, 270 secs
lola: 13373226 markings, 14866491 edges, 47283 markings/sec, 275 secs
lola: 13631499 markings, 15153697 edges, 51655 markings/sec, 280 secs
lola: 13887209 markings, 15438257 edges, 51142 markings/sec, 285 secs
lola: 14137140 markings, 15715988 edges, 49986 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 229593 markings, 254767 edges, 45919 markings/sec, 0 secs
lola: 492201 markings, 546733 edges, 52522 markings/sec, 5 secs
lola: 743489 markings, 826166 edges, 50258 markings/sec, 10 secs
lola: 951918 markings, 1058172 edges, 41686 markings/sec, 15 secs
lola: 1159657 markings, 1289307 edges, 41548 markings/sec, 20 secs
lola: 1376801 markings, 1530867 edges, 43429 markings/sec, 25 secs
lola: 1589801 markings, 1767850 edges, 42600 markings/sec, 30 secs
lola: 1794959 markings, 1996165 edges, 41032 markings/sec, 35 secs
lola: 2003455 markings, 2228107 edges, 41699 markings/sec, 40 secs
lola: 2211033 markings, 2459031 edges, 41516 markings/sec, 45 secs
lola: 2410747 markings, 2681322 edges, 39943 markings/sec, 50 secs
lola: 2613263 markings, 2906559 edges, 40503 markings/sec, 55 secs
lola: 2812929 markings, 3128726 edges, 39933 markings/sec, 60 secs
lola: 3008745 markings, 3346703 edges, 39163 markings/sec, 65 secs
lola: 3204861 markings, 3564843 edges, 39223 markings/sec, 70 secs
lola: 3412957 markings, 3796362 edges, 41619 markings/sec, 75 secs
lola: 3622316 markings, 4029311 edges, 41872 markings/sec, 80 secs
lola: 3827591 markings, 4257675 edges, 41055 markings/sec, 85 secs
lola: 4034463 markings, 4487892 edges, 41374 markings/sec, 90 secs
lola: 4258236 markings, 4736854 edges, 44755 markings/sec, 95 secs
lola: 4450394 markings, 4950791 edges, 38432 markings/sec, 100 secs
lola: 4687301 markings, 5214358 edges, 47381 markings/sec, 105 secs
lola: 4895320 markings, 5445949 edges, 41604 markings/sec, 110 secs
lola: 5076471 markings, 5647888 edges, 36230 markings/sec, 115 secs
lola: 5264509 markings, 5857472 edges, 37608 markings/sec, 120 secs
lola: 5493037 markings, 6111652 edges, 45706 markings/sec, 125 secs
lola: 5686443 markings, 6327011 edges, 38681 markings/sec, 130 secs
lola: 5900851 markings, 6565654 edges, 42882 markings/sec, 135 secs
lola: 6126425 markings, 6816692 edges, 45115 markings/sec, 140 secs
lola: 6335607 markings, 7049411 edges, 41836 markings/sec, 145 secs
lola: 6588721 markings, 7331147 edges, 50623 markings/sec, 150 secs
lola: 6801769 markings, 7568312 edges, 42610 markings/sec, 155 secs
lola: 7035222 markings, 7828146 edges, 46691 markings/sec, 160 secs
lola: 7219745 markings, 8033842 edges, 36905 markings/sec, 165 secs
lola: 7454250 markings, 8294812 edges, 46901 markings/sec, 170 secs
lola: 7652476 markings, 8515450 edges, 39645 markings/sec, 175 secs
lola: 7862717 markings, 8749623 edges, 42048 markings/sec, 180 secs
lola: 8100589 markings, 9014226 edges, 47574 markings/sec, 185 secs
lola: 8312883 markings, 9250543 edges, 42459 markings/sec, 190 secs
lola: 8550411 markings, 9514813 edges, 47506 markings/sec, 195 secs
lola: 8774246 markings, 9764075 edges, 44767 markings/sec, 200 secs
lola: 9020918 markings, 10038461 edges, 49334 markings/sec, 205 secs
lola: 9206706 markings, 10245674 edges, 37158 markings/sec, 210 secs
lola: 9426621 markings, 10490471 edges, 43983 markings/sec, 215 secs
lola: 9634968 markings, 10722308 edges, 41669 markings/sec, 220 secs
lola: 9835384 markings, 10945522 edges, 40083 markings/sec, 225 secs
lola: 10071871 markings, 11208567 edges, 47297 markings/sec, 230 secs
lola: 10295031 markings, 11457026 edges, 44632 markings/sec, 235 secs
lola: 10523602 markings, 11711324 edges, 45714 markings/sec, 240 secs
lola: 10764634 markings, 11979558 edges, 48206 markings/sec, 245 secs
lola: 10999032 markings, 12240440 edges, 46880 markings/sec, 250 secs
lola: 11190326 markings, 12453612 edges, 38259 markings/sec, 255 secs
lola: 11384972 markings, 12670538 edges, 38929 markings/sec, 260 secs
lola: 11610242 markings, 12921129 edges, 45054 markings/sec, 265 secs
lola: 11803144 markings, 13135919 edges, 38580 markings/sec, 270 secs
lola: 12020601 markings, 13377945 edges, 43491 markings/sec, 275 secs
lola: 12249418 markings, 13632551 edges, 45763 markings/sec, 280 secs
lola: 12461613 markings, 13868710 edges, 42439 markings/sec, 285 secs
lola: 12715665 markings, 14151514 edges, 50810 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p897)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 246021 markings, 265564 edges, 49204 markings/sec, 0 secs
lola: 494402 markings, 534175 edges, 49676 markings/sec, 5 secs
lola: 732576 markings, 790853 edges, 47635 markings/sec, 10 secs
lola: 977907 markings, 1055925 edges, 49066 markings/sec, 15 secs
lola: 1225509 markings, 1323941 edges, 49520 markings/sec, 20 secs
lola: 1477405 markings, 1596550 edges, 50379 markings/sec, 25 secs
lola: 1712908 markings, 1850837 edges, 47101 markings/sec, 30 secs
lola: 1947946 markings, 2105395 edges, 47008 markings/sec, 35 secs
lola: 2185591 markings, 2362183 edges, 47529 markings/sec, 40 secs
lola: 2402681 markings, 2597191 edges, 43418 markings/sec, 45 secs
lola: 2624952 markings, 2838509 edges, 44454 markings/sec, 50 secs
lola: 2868020 markings, 3102131 edges, 48614 markings/sec, 55 secs
lola: 3110262 markings, 3364724 edges, 48448 markings/sec, 60 secs
lola: 3347024 markings, 3621131 edges, 47352 markings/sec, 65 secs
lola: 3568027 markings, 3860658 edges, 44201 markings/sec, 70 secs
lola: 3787693 markings, 4098904 edges, 43933 markings/sec, 75 secs
lola: 4014728 markings, 4345156 edges, 45407 markings/sec, 80 secs
lola: 4245385 markings, 4595540 edges, 46131 markings/sec, 85 secs
lola: 4476599 markings, 4845817 edges, 46243 markings/sec, 90 secs
lola: 4712638 markings, 5101769 edges, 47208 markings/sec, 95 secs
lola: 4954919 markings, 5364283 edges, 48456 markings/sec, 100 secs
lola: 5199257 markings, 5628716 edges, 48868 markings/sec, 105 secs
lola: 5444101 markings, 5893768 edges, 48969 markings/sec, 110 secs
lola: 5695840 markings, 6166419 edges, 50348 markings/sec, 115 secs
lola: 5943124 markings, 6434297 edges, 49457 markings/sec, 120 secs
lola: 6177936 markings, 6689191 edges, 46962 markings/sec, 125 secs
lola: 6415397 markings, 6946511 edges, 47492 markings/sec, 130 secs
lola: 6651904 markings, 7202905 edges, 47301 markings/sec, 135 secs
lola: 6880641 markings, 7450726 edges, 45747 markings/sec, 140 secs
lola: 7117126 markings, 7706938 edges, 47297 markings/sec, 145 secs
lola: 7353616 markings, 7963259 edges, 47298 markings/sec, 150 secs
lola: 7588485 markings, 8218022 edges, 46974 markings/sec, 155 secs
lola: 7819085 markings, 8467743 edges, 46120 markings/sec, 160 secs
lola: 8045016 markings, 8711431 edges, 45186 markings/sec, 165 secs
lola: 8274779 markings, 8959380 edges, 45953 markings/sec, 170 secs
lola: 8501045 markings, 9203835 edges, 45253 markings/sec, 175 secs
lola: 8726102 markings, 9447183 edges, 45011 markings/sec, 180 secs
lola: 8955420 markings, 9694860 edges, 45864 markings/sec, 185 secs
lola: 9187291 markings, 9945450 edges, 46374 markings/sec, 190 secs
lola: 9422865 markings, 10200204 edges, 47115 markings/sec, 195 secs
lola: 9659956 markings, 10456967 edges, 47418 markings/sec, 200 secs
lola: 9893647 markings, 10709526 edges, 46738 markings/sec, 205 secs
lola: 10126099 markings, 10960809 edges, 46490 markings/sec, 210 secs
lola: 10352690 markings, 11207437 edges, 45318 markings/sec, 215 secs
lola: 10577906 markings, 11452390 edges, 45043 markings/sec, 220 secs
lola: 10798123 markings, 11691247 edges, 44043 markings/sec, 225 secs
lola: 11021614 markings, 11934002 edges, 44698 markings/sec, 230 secs
lola: 11247604 markings, 12178774 edges, 45198 markings/sec, 235 secs
lola: 11466477 markings, 12416808 edges, 43775 markings/sec, 240 secs
lola: 11692465 markings, 12662752 edges, 45198 markings/sec, 245 secs
lola: 11917862 markings, 12907844 edges, 45079 markings/sec, 250 secs
lola: 12149041 markings, 13158726 edges, 46236 markings/sec, 255 secs
lola: 12370876 markings, 13399720 edges, 44367 markings/sec, 260 secs
lola: 12594968 markings, 13643496 edges, 44818 markings/sec, 265 secs
lola: 12818139 markings, 13886573 edges, 44634 markings/sec, 270 secs
lola: 13041774 markings, 14129531 edges, 44727 markings/sec, 275 secs
lola: 13276806 markings, 14385669 edges, 47006 markings/sec, 280 secs
lola: 13514203 markings, 14643053 edges, 47479 markings/sec, 285 secs
lola: 13755087 markings, 14904971 edges, 48177 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1536)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 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: 382753 markings, 419513 edges, 76551 markings/sec, 0 secs
lola: 749580 markings, 821167 edges, 73365 markings/sec, 5 secs
lola: 1122912 markings, 1230374 edges, 74666 markings/sec, 10 secs
lola: 1498851 markings, 1642487 edges, 75188 markings/sec, 15 secs
lola: 1862465 markings, 2040939 edges, 72723 markings/sec, 20 secs
lola: 2213403 markings, 2425564 edges, 70188 markings/sec, 25 secs
lola: 2571480 markings, 2817966 edges, 71615 markings/sec, 30 secs
lola: 2932531 markings, 3213554 edges, 72210 markings/sec, 35 secs
lola: 3283001 markings, 3597525 edges, 70094 markings/sec, 40 secs
lola: 3633764 markings, 3981883 edges, 70153 markings/sec, 45 secs
lola: 3981293 markings, 4362706 edges, 69506 markings/sec, 50 secs
lola: 4329692 markings, 4744426 edges, 69680 markings/sec, 55 secs
lola: 4678250 markings, 5126422 edges, 69712 markings/sec, 60 secs
lola: 5022353 markings, 5503478 edges, 68821 markings/sec, 65 secs
lola: 5370802 markings, 5885377 edges, 69690 markings/sec, 70 secs
lola: 5714762 markings, 6262219 edges, 68792 markings/sec, 75 secs
lola: 6061506 markings, 6642067 edges, 69349 markings/sec, 80 secs
lola: 6411246 markings, 7025349 edges, 69948 markings/sec, 85 secs
lola: 6761111 markings, 7408685 edges, 69973 markings/sec, 90 secs
lola: 7109587 markings, 7790697 edges, 69695 markings/sec, 95 secs
lola: 7439669 markings, 8152309 edges, 66016 markings/sec, 100 secs
lola: 7790614 markings, 8536784 edges, 70189 markings/sec, 105 secs
lola: 8136255 markings, 8915492 edges, 69128 markings/sec, 110 secs
lola: 8485530 markings, 9298488 edges, 69855 markings/sec, 115 secs
lola: 8848082 markings, 9695837 edges, 72510 markings/sec, 120 secs
lola: 9207475 markings, 10089647 edges, 71879 markings/sec, 125 secs
lola: 9564138 markings, 10480665 edges, 71333 markings/sec, 130 secs
lola: 9913298 markings, 10863507 edges, 69832 markings/sec, 135 secs
lola: 10262905 markings, 11246571 edges, 69921 markings/sec, 140 secs
lola: 10613468 markings, 11630669 edges, 70113 markings/sec, 145 secs
lola: 10970005 markings, 12021296 edges, 71307 markings/sec, 150 secs
lola: 11319944 markings, 12404836 edges, 69988 markings/sec, 155 secs
lola: 11655272 markings, 12772157 edges, 67066 markings/sec, 160 secs
lola: 12000176 markings, 13150081 edges, 68981 markings/sec, 165 secs
lola: 12337691 markings, 13519986 edges, 67503 markings/sec, 170 secs
lola: 12682354 markings, 13897648 edges, 68933 markings/sec, 175 secs
lola: 13028182 markings, 14276430 edges, 69166 markings/sec, 180 secs
lola: 13376278 markings, 14658020 edges, 69619 markings/sec, 185 secs
lola: 13711066 markings, 15024863 edges, 66958 markings/sec, 190 secs
lola: 14022987 markings, 15366842 edges, 62384 markings/sec, 195 secs
lola: 14349782 markings, 15724891 edges, 65359 markings/sec, 200 secs
lola: 14693956 markings, 16101899 edges, 68835 markings/sec, 205 secs
lola: 15045854 markings, 16487559 edges, 70380 markings/sec, 210 secs
lola: 15393439 markings, 16868693 edges, 69517 markings/sec, 215 secs
lola: 15740167 markings, 17248872 edges, 69346 markings/sec, 220 secs
lola: 16082921 markings, 17624571 edges, 68551 markings/sec, 225 secs
lola: 16425630 markings, 18000735 edges, 68542 markings/sec, 230 secs
lola: 16779320 markings, 18388423 edges, 70738 markings/sec, 235 secs
lola: 17133945 markings, 18777096 edges, 70925 markings/sec, 240 secs
lola: 17485067 markings, 19161838 edges, 70224 markings/sec, 245 secs
lola: 17841011 markings, 19551701 edges, 71189 markings/sec, 250 secs
lola: 18186011 markings, 19929887 edges, 69000 markings/sec, 255 secs
lola: 18529348 markings, 20306310 edges, 68667 markings/sec, 260 secs
lola: 18870079 markings, 20679774 edges, 68146 markings/sec, 265 secs
lola: 19218874 markings, 21061875 edges, 69759 markings/sec, 270 secs
lola: 19560234 markings, 21435911 edges, 68272 markings/sec, 275 secs
lola: 19889527 markings, 21796792 edges, 65859 markings/sec, 280 secs
lola: 20229685 markings, 22169818 edges, 68032 markings/sec, 285 secs
lola: 20545720 markings, 22516127 edges, 63207 markings/sec, 290 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DLCround-PT-05b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496541574606
--------------------
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="DLCround-PT-05b"
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/DLCround-PT-05b.tgz
mv DLCround-PT-05b 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 DLCround-PT-05b, 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 r178-csrt-149580961700245"
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 ;