fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r178-csrt-149580961700245
Last Updated
June 27, 2017

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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;