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-03b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961600209
=====================================================================

--------------------
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-03b-UpperBounds-0
FORMULA_NAME DLCround-PT-03b-UpperBounds-1
FORMULA_NAME DLCround-PT-03b-UpperBounds-10
FORMULA_NAME DLCround-PT-03b-UpperBounds-11
FORMULA_NAME DLCround-PT-03b-UpperBounds-12
FORMULA_NAME DLCround-PT-03b-UpperBounds-13
FORMULA_NAME DLCround-PT-03b-UpperBounds-14
FORMULA_NAME DLCround-PT-03b-UpperBounds-15
FORMULA_NAME DLCround-PT-03b-UpperBounds-2
FORMULA_NAME DLCround-PT-03b-UpperBounds-3
FORMULA_NAME DLCround-PT-03b-UpperBounds-4
FORMULA_NAME DLCround-PT-03b-UpperBounds-5
FORMULA_NAME DLCround-PT-03b-UpperBounds-6
FORMULA_NAME DLCround-PT-03b-UpperBounds-7
FORMULA_NAME DLCround-PT-03b-UpperBounds-8
FORMULA_NAME DLCround-PT-03b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496536599380


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-03b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-03b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-03b @ 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: 3270/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 1383 places, 1887 transitions, 1331 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2418 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-03b-UpperBounds.task
lola: MAX(p1140) : MAX(p577) : MAX(p444) : MAX(p530) : MAX(p466) : MAX(p1044) : MAX(p653) : MAX(p798) : MAX(p280) : MAX(p91) : MAX(p1057) : MAX(p1324) : MAX(p1164) : MAX(p920) : MAX(p308) : MAX(p645)
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(p1140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 229332 markings, 279320 edges, 45866 markings/sec, 0 secs
lola: 459291 markings, 559496 edges, 45992 markings/sec, 5 secs
lola: 689555 markings, 838800 edges, 46053 markings/sec, 10 secs
lola: 922333 markings, 1123106 edges, 46556 markings/sec, 15 secs
lola: 1155863 markings, 1412231 edges, 46706 markings/sec, 20 secs
lola: 1400958 markings, 1717105 edges, 49019 markings/sec, 25 secs
lola: 1651113 markings, 2027237 edges, 50031 markings/sec, 30 secs
lola: 1902038 markings, 2338579 edges, 50185 markings/sec, 35 secs
lola: 2151964 markings, 2648609 edges, 49985 markings/sec, 40 secs
lola: 2388079 markings, 2941587 edges, 47223 markings/sec, 45 secs
lola: 2619708 markings, 3228834 edges, 46326 markings/sec, 50 secs
lola: 2846721 markings, 3510371 edges, 45403 markings/sec, 55 secs
lola: 3078938 markings, 3798678 edges, 46443 markings/sec, 60 secs
lola: 3315053 markings, 4093052 edges, 47223 markings/sec, 65 secs
lola: 3538144 markings, 4370431 edges, 44618 markings/sec, 70 secs
lola: 3773467 markings, 4663770 edges, 47065 markings/sec, 75 secs
lola: 3997852 markings, 4940395 edges, 44877 markings/sec, 80 secs
lola: 4240971 markings, 5241775 edges, 48624 markings/sec, 85 secs
lola: 4467996 markings, 5523020 edges, 45405 markings/sec, 90 secs
lola: 4717320 markings, 5834182 edges, 49865 markings/sec, 95 secs
lola: 4958151 markings, 6134496 edges, 48166 markings/sec, 100 secs
lola: 5203309 markings, 6439948 edges, 49032 markings/sec, 105 secs
lola: 5444451 markings, 6741743 edges, 48228 markings/sec, 110 secs
lola: 5684942 markings, 7041818 edges, 48098 markings/sec, 115 secs
lola: 5923601 markings, 7340251 edges, 47732 markings/sec, 120 secs
lola: 6161997 markings, 7638056 edges, 47679 markings/sec, 125 secs
lola: 6397248 markings, 7932656 edges, 47050 markings/sec, 130 secs
lola: 6636369 markings, 8232452 edges, 47824 markings/sec, 135 secs
lola: 6876213 markings, 8533365 edges, 47969 markings/sec, 140 secs
lola: 7115833 markings, 8832854 edges, 47924 markings/sec, 145 secs
lola: 7355345 markings, 9132919 edges, 47902 markings/sec, 150 secs
lola: 7588013 markings, 9424740 edges, 46534 markings/sec, 155 secs
lola: 7840020 markings, 9739261 edges, 50401 markings/sec, 160 secs
lola: 8088382 markings, 10048370 edges, 49672 markings/sec, 165 secs
lola: 8344277 markings, 10367383 edges, 51179 markings/sec, 170 secs
lola: 8607363 markings, 10695283 edges, 52617 markings/sec, 175 secs
lola: 8863897 markings, 11015654 edges, 51307 markings/sec, 180 secs
lola: 9122448 markings, 11338125 edges, 51710 markings/sec, 185 secs
lola: 9377770 markings, 11656180 edges, 51064 markings/sec, 190 secs
lola: 9620387 markings, 11958854 edges, 48523 markings/sec, 195 secs
lola: 9866904 markings, 12266851 edges, 49303 markings/sec, 200 secs
lola: 10116024 markings, 12577646 edges, 49824 markings/sec, 205 secs
lola: 10367854 markings, 12892045 edges, 50366 markings/sec, 210 secs
lola: 10612755 markings, 13197872 edges, 48980 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(p577)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 384167 markings, 456132 edges, 76833 markings/sec, 0 secs
lola: 751209 markings, 893991 edges, 73408 markings/sec, 5 secs
lola: 1101463 markings, 1310364 edges, 70051 markings/sec, 10 secs
lola: 1441715 markings, 1714946 edges, 68050 markings/sec, 15 secs
lola: 1785651 markings, 2121323 edges, 68787 markings/sec, 20 secs
lola: 2133251 markings, 2532646 edges, 69520 markings/sec, 25 secs
lola: 2488767 markings, 2952627 edges, 71103 markings/sec, 30 secs
lola: 2847573 markings, 3379009 edges, 71761 markings/sec, 35 secs
lola: 3203059 markings, 3803116 edges, 71097 markings/sec, 40 secs
lola: 3560566 markings, 4226919 edges, 71501 markings/sec, 45 secs
lola: 3917171 markings, 4651493 edges, 71321 markings/sec, 50 secs
lola: 4263783 markings, 5068414 edges, 69322 markings/sec, 55 secs
lola: 4615875 markings, 5485087 edges, 70418 markings/sec, 60 secs
lola: 4963540 markings, 5899692 edges, 69533 markings/sec, 65 secs
lola: 5305101 markings, 6307369 edges, 68312 markings/sec, 70 secs
lola: 5645275 markings, 6712720 edges, 68035 markings/sec, 75 secs
lola: 5988799 markings, 7119786 edges, 68705 markings/sec, 80 secs
lola: 6325518 markings, 7520561 edges, 67344 markings/sec, 85 secs
lola: 6673784 markings, 7936541 edges, 69653 markings/sec, 90 secs
lola: 7013182 markings, 8342394 edges, 67880 markings/sec, 95 secs
lola: 7365444 markings, 8761398 edges, 70452 markings/sec, 100 secs
lola: 7724996 markings, 9188825 edges, 71910 markings/sec, 105 secs
lola: 8069680 markings, 9600566 edges, 68937 markings/sec, 110 secs
lola: 8413608 markings, 10009185 edges, 68786 markings/sec, 115 secs
lola: 8768326 markings, 10431238 edges, 70944 markings/sec, 120 secs
lola: 9122390 markings, 10852496 edges, 70813 markings/sec, 125 secs
lola: 9462978 markings, 11260915 edges, 68118 markings/sec, 130 secs
lola: 9809520 markings, 11674127 edges, 69308 markings/sec, 135 secs
lola: 10152008 markings, 12088409 edges, 68498 markings/sec, 140 secs
lola: 10497958 markings, 12500210 edges, 69190 markings/sec, 145 secs
lola: 10843642 markings, 12912385 edges, 69137 markings/sec, 150 secs
lola: 11212798 markings, 13352231 edges, 73831 markings/sec, 155 secs
lola: 11577598 markings, 13786375 edges, 72960 markings/sec, 160 secs
lola: 11939146 markings, 14220299 edges, 72310 markings/sec, 165 secs
lola: 12276610 markings, 14623390 edges, 67493 markings/sec, 170 secs
lola: 12620262 markings, 15030944 edges, 68730 markings/sec, 175 secs
lola: 12959936 markings, 15438203 edges, 67935 markings/sec, 180 secs
lola: 13306494 markings, 15850732 edges, 69312 markings/sec, 185 secs
lola: 13652886 markings, 16264520 edges, 69278 markings/sec, 190 secs
lola: 14000199 markings, 16681140 edges, 69463 markings/sec, 195 secs
lola: 14351425 markings, 17098673 edges, 70245 markings/sec, 200 secs
lola: 14689337 markings, 17503200 edges, 67582 markings/sec, 205 secs
lola: 15027929 markings, 17906148 edges, 67718 markings/sec, 210 secs
lola: 15364895 markings, 18311014 edges, 67393 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(p444)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 481117 markings, 525588 edges, 96223 markings/sec, 0 secs
lola: 944548 markings, 1031690 edges, 92686 markings/sec, 5 secs
lola: 1312355 markings, 1433697 edges, 73561 markings/sec, 10 secs
lola: 1695016 markings, 1851636 edges, 76532 markings/sec, 15 secs
lola: 2088005 markings, 2280665 edges, 78598 markings/sec, 20 secs
lola: 2464767 markings, 2691536 edges, 75352 markings/sec, 25 secs
lola: 2841519 markings, 3101859 edges, 75350 markings/sec, 30 secs
lola: 3217475 markings, 3512063 edges, 75191 markings/sec, 35 secs
lola: 3586900 markings, 3915053 edges, 73885 markings/sec, 40 secs
lola: 3967321 markings, 4329977 edges, 76084 markings/sec, 45 secs
lola: 4340249 markings, 4736856 edges, 74586 markings/sec, 50 secs
lola: 4719319 markings, 5149445 edges, 75814 markings/sec, 55 secs
lola: 5081112 markings, 5543466 edges, 72359 markings/sec, 60 secs
lola: 5431449 markings, 5926528 edges, 70067 markings/sec, 65 secs
lola: 5782197 markings, 6308597 edges, 70150 markings/sec, 70 secs
lola: 6140756 markings, 6699992 edges, 71712 markings/sec, 75 secs
lola: 6487632 markings, 7078735 edges, 69375 markings/sec, 80 secs
lola: 6837673 markings, 7460854 edges, 70008 markings/sec, 85 secs
lola: 7204381 markings, 7861197 edges, 73342 markings/sec, 90 secs
lola: 7560824 markings, 8250947 edges, 71289 markings/sec, 95 secs
lola: 7934511 markings, 8657216 edges, 74737 markings/sec, 100 secs
lola: 8291594 markings, 9047059 edges, 71417 markings/sec, 105 secs
lola: 8634607 markings, 9421490 edges, 68603 markings/sec, 110 secs
lola: 8973451 markings, 9791503 edges, 67769 markings/sec, 115 secs
lola: 9315936 markings, 10165382 edges, 68497 markings/sec, 120 secs
lola: 9680423 markings, 10563407 edges, 72897 markings/sec, 125 secs
lola: 10040042 markings, 10955832 edges, 71924 markings/sec, 130 secs
lola: 10395177 markings, 11343543 edges, 71027 markings/sec, 135 secs
lola: 10756566 markings, 11736948 edges, 72278 markings/sec, 140 secs
lola: 11116652 markings, 12129338 edges, 72017 markings/sec, 145 secs
lola: 11471680 markings, 12516821 edges, 71006 markings/sec, 150 secs
lola: 11812320 markings, 12888577 edges, 68128 markings/sec, 155 secs
lola: 12155431 markings, 13263736 edges, 68622 markings/sec, 160 secs
lola: 12497146 markings, 13637113 edges, 68343 markings/sec, 165 secs
lola: 12839812 markings, 14010506 edges, 68533 markings/sec, 170 secs
lola: 13174592 markings, 14376328 edges, 66956 markings/sec, 175 secs
lola: 13506451 markings, 14738190 edges, 66372 markings/sec, 180 secs
lola: 13831017 markings, 15092803 edges, 64913 markings/sec, 185 secs
lola: 14165288 markings, 15457713 edges, 66854 markings/sec, 190 secs
lola: 14512948 markings, 15836838 edges, 69532 markings/sec, 195 secs
lola: 14879796 markings, 16237625 edges, 73370 markings/sec, 200 secs
lola: 15245043 markings, 16636555 edges, 73049 markings/sec, 205 secs
lola: 15615283 markings, 17040393 edges, 74048 markings/sec, 210 secs
lola: 15986192 markings, 17445316 edges, 74182 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(p530)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 366110 markings, 437138 edges, 73222 markings/sec, 0 secs
lola: 755434 markings, 897840 edges, 77865 markings/sec, 5 secs
lola: 1161252 markings, 1381119 edges, 81164 markings/sec, 10 secs
lola: 1552491 markings, 1844194 edges, 78248 markings/sec, 15 secs
lola: 1930657 markings, 2292278 edges, 75633 markings/sec, 20 secs
lola: 2290633 markings, 2718484 edges, 71995 markings/sec, 25 secs
lola: 2651028 markings, 3145563 edges, 72079 markings/sec, 30 secs
lola: 3002686 markings, 3561726 edges, 70332 markings/sec, 35 secs
lola: 3358127 markings, 3983592 edges, 71088 markings/sec, 40 secs
lola: 3719596 markings, 4413541 edges, 72294 markings/sec, 45 secs
lola: 4085839 markings, 4848723 edges, 73249 markings/sec, 50 secs
lola: 4451339 markings, 5282298 edges, 73100 markings/sec, 55 secs
lola: 4816550 markings, 5716680 edges, 73042 markings/sec, 60 secs
lola: 5193461 markings, 6165613 edges, 75382 markings/sec, 65 secs
lola: 5550048 markings, 6592417 edges, 71317 markings/sec, 70 secs
lola: 5916146 markings, 7029216 edges, 73220 markings/sec, 75 secs
lola: 6265762 markings, 7445519 edges, 69923 markings/sec, 80 secs
lola: 6631624 markings, 7882804 edges, 73172 markings/sec, 85 secs
lola: 7006100 markings, 8329491 edges, 74895 markings/sec, 90 secs
lola: 7385923 markings, 8784020 edges, 75965 markings/sec, 95 secs
lola: 7754051 markings, 9226490 edges, 73626 markings/sec, 100 secs
lola: 8131764 markings, 9682271 edges, 75543 markings/sec, 105 secs
lola: 8511488 markings, 10144043 edges, 75945 markings/sec, 110 secs
lola: 8848678 markings, 10553417 edges, 67438 markings/sec, 115 secs
lola: 9191423 markings, 10963899 edges, 68549 markings/sec, 120 secs
lola: 9530301 markings, 11368167 edges, 67776 markings/sec, 125 secs
lola: 9885187 markings, 11793210 edges, 70977 markings/sec, 130 secs
lola: 10228447 markings, 12204310 edges, 68652 markings/sec, 135 secs
lola: 10596074 markings, 12644256 edges, 73525 markings/sec, 140 secs
lola: 10959287 markings, 13075416 edges, 72643 markings/sec, 145 secs
lola: 11334563 markings, 13522505 edges, 75055 markings/sec, 150 secs
lola: 11681370 markings, 13936628 edges, 69361 markings/sec, 155 secs
lola: 12028400 markings, 14350203 edges, 69406 markings/sec, 160 secs
lola: 12378368 markings, 14769463 edges, 69994 markings/sec, 165 secs
lola: 12727764 markings, 15189007 edges, 69879 markings/sec, 170 secs
lola: 13074630 markings, 15605718 edges, 69373 markings/sec, 175 secs
lola: 13448019 markings, 16050958 edges, 74678 markings/sec, 180 secs
lola: 13822946 markings, 16496031 edges, 74985 markings/sec, 185 secs
lola: 14178619 markings, 16920989 edges, 71135 markings/sec, 190 secs
lola: 14533026 markings, 17343756 edges, 70881 markings/sec, 195 secs
lola: 14886176 markings, 17766751 edges, 70630 markings/sec, 200 secs
lola: 15231183 markings, 18177889 edges, 69001 markings/sec, 205 secs
lola: 15572827 markings, 18587102 edges, 68329 markings/sec, 210 secs
lola: 15921080 markings, 19005424 edges, 69651 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p466)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 408821 markings, 512476 edges, 81764 markings/sec, 0 secs
lola: 755303 markings, 946982 edges, 69296 markings/sec, 5 secs
lola: 1113724 markings, 1396503 edges, 71684 markings/sec, 10 secs
lola: 1491091 markings, 1869863 edges, 75473 markings/sec, 15 secs
lola: 1871584 markings, 2347065 edges, 76099 markings/sec, 20 secs
lola: 2257032 markings, 2830535 edges, 77090 markings/sec, 25 secs
lola: 2655455 markings, 3330421 edges, 79685 markings/sec, 30 secs
lola: 3049685 markings, 3825561 edges, 78846 markings/sec, 35 secs
lola: 3442851 markings, 4317282 edges, 78633 markings/sec, 40 secs
lola: 3831100 markings, 4804279 edges, 77650 markings/sec, 45 secs
lola: 4211019 markings, 5280053 edges, 75984 markings/sec, 50 secs
lola: 4599740 markings, 5766788 edges, 77744 markings/sec, 55 secs
lola: 4992363 markings, 6258038 edges, 78525 markings/sec, 60 secs
lola: 5373096 markings, 6734660 edges, 76147 markings/sec, 65 secs
lola: 5742149 markings, 7197161 edges, 73811 markings/sec, 70 secs
lola: 6107562 markings, 7655420 edges, 73083 markings/sec, 75 secs
lola: 6471353 markings, 8110332 edges, 72758 markings/sec, 80 secs
lola: 6848895 markings, 8582304 edges, 75508 markings/sec, 85 secs
lola: 7218442 markings, 9044772 edges, 73909 markings/sec, 90 secs
lola: 7591227 markings, 9510895 edges, 74557 markings/sec, 95 secs
lola: 7969268 markings, 9983946 edges, 75608 markings/sec, 100 secs
lola: 8355261 markings, 10466903 edges, 77199 markings/sec, 105 secs
lola: 8730549 markings, 10935986 edges, 75058 markings/sec, 110 secs
lola: 9105182 markings, 11405645 edges, 74927 markings/sec, 115 secs
lola: 9483071 markings, 11878184 edges, 75578 markings/sec, 120 secs
lola: 9856620 markings, 12345594 edges, 74710 markings/sec, 125 secs
lola: 10216325 markings, 12795992 edges, 71941 markings/sec, 130 secs
lola: 10589347 markings, 13262390 edges, 74604 markings/sec, 135 secs
lola: 10959115 markings, 13724911 edges, 73954 markings/sec, 140 secs
lola: 11324215 markings, 14181455 edges, 73020 markings/sec, 145 secs
lola: 11694321 markings, 14644757 edges, 74021 markings/sec, 150 secs
lola: 12060778 markings, 15103037 edges, 73291 markings/sec, 155 secs
lola: 12394601 markings, 15520566 edges, 66765 markings/sec, 160 secs
lola: 12733379 markings, 15944413 edges, 67756 markings/sec, 165 secs
lola: 13071497 markings, 16369419 edges, 67624 markings/sec, 170 secs
lola: 13429674 markings, 16817800 edges, 71635 markings/sec, 175 secs
lola: 13796240 markings, 17276573 edges, 73313 markings/sec, 180 secs
lola: 14161635 markings, 17733962 edges, 73079 markings/sec, 185 secs
lola: 14519329 markings, 18181699 edges, 71539 markings/sec, 190 secs
lola: 14876510 markings, 18628628 edges, 71436 markings/sec, 195 secs
lola: 15230808 markings, 19071853 edges, 70860 markings/sec, 200 secs
lola: 15587152 markings, 19519014 edges, 71269 markings/sec, 205 secs
lola: 15957775 markings, 19982195 edges, 74125 markings/sec, 210 secs
lola: 16318820 markings, 20433152 edges, 72209 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1044)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 491588 markings, 566817 edges, 98318 markings/sec, 0 secs
lola: 977927 markings, 1127590 edges, 97268 markings/sec, 5 secs
lola: 1442476 markings, 1663640 edges, 92910 markings/sec, 10 secs
lola: 1906675 markings, 2200384 edges, 92840 markings/sec, 15 secs
lola: 2365510 markings, 2729276 edges, 91767 markings/sec, 20 secs
lola: 2840831 markings, 3276763 edges, 95064 markings/sec, 25 secs
lola: 3309244 markings, 3815703 edges, 93683 markings/sec, 30 secs
lola: 3802999 markings, 4383883 edges, 98751 markings/sec, 35 secs
lola: 4300655 markings, 4957921 edges, 99531 markings/sec, 40 secs
lola: 4781401 markings, 5510225 edges, 96149 markings/sec, 45 secs
lola: 5263361 markings, 6065933 edges, 96392 markings/sec, 50 secs
lola: 5731041 markings, 6606645 edges, 93536 markings/sec, 55 secs
lola: 6206146 markings, 7155694 edges, 95021 markings/sec, 60 secs
lola: 6697922 markings, 7723867 edges, 98355 markings/sec, 65 secs
lola: 7191271 markings, 8295754 edges, 98670 markings/sec, 70 secs
lola: 7706099 markings, 8889022 edges, 102966 markings/sec, 75 secs
lola: 8148709 markings, 9399778 edges, 88522 markings/sec, 80 secs
lola: 8580644 markings, 9897885 edges, 86387 markings/sec, 85 secs
lola: 9018451 markings, 10403387 edges, 87561 markings/sec, 90 secs
lola: 9452936 markings, 10905228 edges, 86897 markings/sec, 95 secs
lola: 9887554 markings, 11407182 edges, 86924 markings/sec, 100 secs
lola: 10322703 markings, 11909030 edges, 87030 markings/sec, 105 secs
lola: 10759255 markings, 12414876 edges, 87310 markings/sec, 110 secs
lola: 11211661 markings, 12935467 edges, 90481 markings/sec, 115 secs
lola: 11645719 markings, 13436854 edges, 86812 markings/sec, 120 secs
lola: 12088892 markings, 13947407 edges, 88635 markings/sec, 125 secs
lola: 12548700 markings, 14477647 edges, 91962 markings/sec, 130 secs
lola: 13034506 markings, 15038493 edges, 97161 markings/sec, 135 secs
lola: 13515297 markings, 15593857 edges, 96158 markings/sec, 140 secs
lola: 14009385 markings, 16162056 edges, 98818 markings/sec, 145 secs
lola: 14485316 markings, 16709766 edges, 95186 markings/sec, 150 secs
lola: 14974791 markings, 17272916 edges, 97895 markings/sec, 155 secs
lola: 15458920 markings, 17830825 edges, 96826 markings/sec, 160 secs
lola: 15955725 markings, 18403828 edges, 99361 markings/sec, 165 secs
lola: 16414334 markings, 18932383 edges, 91722 markings/sec, 170 secs
lola: 16874180 markings, 19464358 edges, 91969 markings/sec, 175 secs
lola: 17336808 markings, 19999946 edges, 92526 markings/sec, 180 secs
lola: 17803025 markings, 20536921 edges, 93243 markings/sec, 185 secs
lola: 18261002 markings, 21067562 edges, 91595 markings/sec, 190 secs
lola: 18719764 markings, 21598121 edges, 91752 markings/sec, 195 secs
lola: 19178636 markings, 22126135 edges, 91774 markings/sec, 200 secs
lola: 19635836 markings, 22654033 edges, 91440 markings/sec, 205 secs
lola: 20085681 markings, 23173266 edges, 89969 markings/sec, 210 secs
lola: 20563957 markings, 23726583 edges, 95655 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p653)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 461354 markings, 528878 edges, 92271 markings/sec, 0 secs
lola: 911939 markings, 1047395 edges, 90117 markings/sec, 5 secs
lola: 1357009 markings, 1558099 edges, 89014 markings/sec, 10 secs
lola: 1802019 markings, 2070111 edges, 89002 markings/sec, 15 secs
lola: 2244275 markings, 2579802 edges, 88451 markings/sec, 20 secs
lola: 2679028 markings, 3078971 edges, 86951 markings/sec, 25 secs
lola: 3125427 markings, 3592175 edges, 89280 markings/sec, 30 secs
lola: 3556905 markings, 4091915 edges, 86296 markings/sec, 35 secs
lola: 4000984 markings, 4604136 edges, 88816 markings/sec, 40 secs
lola: 4443333 markings, 5114100 edges, 88470 markings/sec, 45 secs
lola: 4876401 markings, 5613363 edges, 86614 markings/sec, 50 secs
lola: 5308507 markings, 6111254 edges, 86421 markings/sec, 55 secs
lola: 5717434 markings, 6581239 edges, 81785 markings/sec, 60 secs
lola: 6140374 markings, 7066544 edges, 84588 markings/sec, 65 secs
lola: 6545589 markings, 7532496 edges, 81043 markings/sec, 70 secs
lola: 6969928 markings, 8018574 edges, 84868 markings/sec, 75 secs
lola: 7373935 markings, 8482633 edges, 80801 markings/sec, 80 secs
lola: 7776199 markings, 8944777 edges, 80453 markings/sec, 85 secs
lola: 8177129 markings, 9405516 edges, 80186 markings/sec, 90 secs
lola: 8578701 markings, 9868224 edges, 80314 markings/sec, 95 secs
lola: 8982088 markings, 10331500 edges, 80677 markings/sec, 100 secs
lola: 9391300 markings, 10802801 edges, 81842 markings/sec, 105 secs
lola: 9792953 markings, 11264153 edges, 80331 markings/sec, 110 secs
lola: 10182162 markings, 11711676 edges, 77842 markings/sec, 115 secs
lola: 10565361 markings, 12152379 edges, 76640 markings/sec, 120 secs
lola: 10993485 markings, 12645427 edges, 85625 markings/sec, 125 secs
lola: 11435116 markings, 13152750 edges, 88326 markings/sec, 130 secs
lola: 11855209 markings, 13635578 edges, 84019 markings/sec, 135 secs
lola: 12255051 markings, 14094615 edges, 79968 markings/sec, 140 secs
lola: 12651529 markings, 14551851 edges, 79296 markings/sec, 145 secs
lola: 13076330 markings, 15042756 edges, 84960 markings/sec, 150 secs
lola: 13500148 markings, 15530593 edges, 84764 markings/sec, 155 secs
lola: 13922003 markings, 16015253 edges, 84371 markings/sec, 160 secs
lola: 14336342 markings, 16490878 edges, 82868 markings/sec, 165 secs
lola: 14762801 markings, 16981062 edges, 85292 markings/sec, 170 secs
lola: 15185796 markings, 17467350 edges, 84599 markings/sec, 175 secs
lola: 15613835 markings, 17958834 edges, 85608 markings/sec, 180 secs
lola: 16035287 markings, 18443707 edges, 84290 markings/sec, 185 secs
lola: 16451844 markings, 18923338 edges, 83311 markings/sec, 190 secs
lola: 16865418 markings, 19399357 edges, 82715 markings/sec, 195 secs
lola: 17281877 markings, 19878579 edges, 83292 markings/sec, 200 secs
lola: 17694087 markings, 20352270 edges, 82442 markings/sec, 205 secs
lola: 18102088 markings, 20821485 edges, 81600 markings/sec, 210 secs
lola: 18510937 markings, 21291279 edges, 81770 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p798)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 309182 markings, 363028 edges, 61836 markings/sec, 0 secs
lola: 620605 markings, 729624 edges, 62285 markings/sec, 5 secs
lola: 936113 markings, 1100863 edges, 63102 markings/sec, 10 secs
lola: 1254390 markings, 1475903 edges, 63655 markings/sec, 15 secs
lola: 1569699 markings, 1847571 edges, 63062 markings/sec, 20 secs
lola: 1899504 markings, 2235897 edges, 65961 markings/sec, 25 secs
lola: 2220649 markings, 2614050 edges, 64229 markings/sec, 30 secs
lola: 2546259 markings, 2997889 edges, 65122 markings/sec, 35 secs
lola: 2871697 markings, 3380883 edges, 65088 markings/sec, 40 secs
lola: 3189956 markings, 3755483 edges, 63652 markings/sec, 45 secs
lola: 3511465 markings, 4134070 edges, 64302 markings/sec, 50 secs
lola: 3832980 markings, 4512977 edges, 64303 markings/sec, 55 secs
lola: 4152870 markings, 4889576 edges, 63978 markings/sec, 60 secs
lola: 4470629 markings, 5263973 edges, 63552 markings/sec, 65 secs
lola: 4790755 markings, 5641949 edges, 64025 markings/sec, 70 secs
lola: 5109737 markings, 6017270 edges, 63796 markings/sec, 75 secs
lola: 5428426 markings, 6393825 edges, 63738 markings/sec, 80 secs
lola: 5750316 markings, 6773417 edges, 64378 markings/sec, 85 secs
lola: 6081770 markings, 7163202 edges, 66291 markings/sec, 90 secs
lola: 6410563 markings, 7550191 edges, 65759 markings/sec, 95 secs
lola: 6726027 markings, 7921563 edges, 63093 markings/sec, 100 secs
lola: 7022119 markings, 8270532 edges, 59218 markings/sec, 105 secs
lola: 7318873 markings, 8620018 edges, 59351 markings/sec, 110 secs
lola: 7621227 markings, 8975869 edges, 60471 markings/sec, 115 secs
lola: 7937627 markings, 9348482 edges, 63280 markings/sec, 120 secs
lola: 8260384 markings, 9728877 edges, 64551 markings/sec, 125 secs
lola: 8584469 markings, 10110399 edges, 64817 markings/sec, 130 secs
lola: 8913166 markings, 10498531 edges, 65739 markings/sec, 135 secs
lola: 9231257 markings, 10872895 edges, 63618 markings/sec, 140 secs
lola: 9559656 markings, 11259865 edges, 65680 markings/sec, 145 secs
lola: 9888523 markings, 11647139 edges, 65773 markings/sec, 150 secs
lola: 10204021 markings, 12018502 edges, 63100 markings/sec, 155 secs
lola: 10481583 markings, 12345359 edges, 55512 markings/sec, 160 secs
lola: 10764749 markings, 12679057 edges, 56633 markings/sec, 165 secs
lola: 11071261 markings, 13040059 edges, 61302 markings/sec, 170 secs
lola: 11361606 markings, 13382720 edges, 58069 markings/sec, 175 secs
lola: 11655714 markings, 13729287 edges, 58822 markings/sec, 180 secs
lola: 11971341 markings, 14100966 edges, 63125 markings/sec, 185 secs
lola: 12294438 markings, 14481733 edges, 64619 markings/sec, 190 secs
lola: 12617742 markings, 14862235 edges, 64661 markings/sec, 195 secs
lola: 12932192 markings, 15232395 edges, 62890 markings/sec, 200 secs
lola: 13254765 markings, 15612312 edges, 64515 markings/sec, 205 secs
lola: 13577165 markings, 15992213 edges, 64480 markings/sec, 210 secs
lola: 13902026 markings, 16374656 edges, 64972 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 469885 markings, 525562 edges, 93977 markings/sec, 0 secs
lola: 927229 markings, 1034762 edges, 91469 markings/sec, 5 secs
lola: 1387784 markings, 1551959 edges, 92111 markings/sec, 10 secs
lola: 1819626 markings, 2034949 edges, 86368 markings/sec, 15 secs
lola: 2238548 markings, 2505382 edges, 83784 markings/sec, 20 secs
lola: 2654610 markings, 2971889 edges, 83212 markings/sec, 25 secs
lola: 3064897 markings, 3431470 edges, 82057 markings/sec, 30 secs
lola: 3484927 markings, 3902346 edges, 84006 markings/sec, 35 secs
lola: 3925954 markings, 4396069 edges, 88205 markings/sec, 40 secs
lola: 4348828 markings, 4871024 edges, 84575 markings/sec, 45 secs
lola: 4766444 markings, 5339011 edges, 83523 markings/sec, 50 secs
lola: 5170148 markings, 5792327 edges, 80741 markings/sec, 55 secs
lola: 5560178 markings, 6230120 edges, 78006 markings/sec, 60 secs
lola: 5943719 markings, 6660262 edges, 76708 markings/sec, 65 secs
lola: 6321224 markings, 7083980 edges, 75501 markings/sec, 70 secs
lola: 6694822 markings, 7502242 edges, 74720 markings/sec, 75 secs
lola: 7063881 markings, 7918078 edges, 73812 markings/sec, 80 secs
lola: 7425213 markings, 8323210 edges, 72266 markings/sec, 85 secs
lola: 7800037 markings, 8744123 edges, 74965 markings/sec, 90 secs
lola: 8156809 markings, 9143727 edges, 71354 markings/sec, 95 secs
lola: 8508094 markings, 9538976 edges, 70257 markings/sec, 100 secs
lola: 8879307 markings, 9954845 edges, 74243 markings/sec, 105 secs
lola: 9228253 markings, 10344653 edges, 69789 markings/sec, 110 secs
lola: 9568011 markings, 10725775 edges, 67952 markings/sec, 115 secs
lola: 9936427 markings, 11139539 edges, 73683 markings/sec, 120 secs
lola: 10338585 markings, 11590750 edges, 80432 markings/sec, 125 secs
lola: 10739923 markings, 12041625 edges, 80268 markings/sec, 130 secs
lola: 11149170 markings, 12501070 edges, 81849 markings/sec, 135 secs
lola: 11550018 markings, 12950184 edges, 80170 markings/sec, 140 secs
lola: 11943690 markings, 13394407 edges, 78734 markings/sec, 145 secs
lola: 12308745 markings, 13805260 edges, 73011 markings/sec, 150 secs
lola: 12686578 markings, 14230035 edges, 75567 markings/sec, 155 secs
lola: 13051087 markings, 14638941 edges, 72902 markings/sec, 160 secs
lola: 13477916 markings, 15118561 edges, 85366 markings/sec, 165 secs
lola: 13915259 markings, 15610777 edges, 87469 markings/sec, 170 secs
lola: 14331482 markings, 16078093 edges, 83245 markings/sec, 175 secs
lola: 14744932 markings, 16541604 edges, 82690 markings/sec, 180 secs
lola: 15163519 markings, 17011022 edges, 83717 markings/sec, 185 secs
lola: 15559196 markings, 17455541 edges, 79135 markings/sec, 190 secs
lola: 15951251 markings, 17895414 edges, 78411 markings/sec, 195 secs
lola: 16344777 markings, 18335236 edges, 78705 markings/sec, 200 secs
lola: 16740147 markings, 18778579 edges, 79074 markings/sec, 205 secs
lola: 17119990 markings, 19204047 edges, 75969 markings/sec, 210 secs
lola: 17491907 markings, 19621650 edges, 74383 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 369086 markings, 413753 edges, 73817 markings/sec, 0 secs
lola: 724553 markings, 812184 edges, 71093 markings/sec, 5 secs
lola: 1078468 markings, 1208979 edges, 70783 markings/sec, 10 secs
lola: 1414837 markings, 1585107 edges, 67274 markings/sec, 15 secs
lola: 1772820 markings, 1986199 edges, 71597 markings/sec, 20 secs
lola: 2120093 markings, 2375182 edges, 69455 markings/sec, 25 secs
lola: 2465251 markings, 2761537 edges, 69032 markings/sec, 30 secs
lola: 2802556 markings, 3139089 edges, 67461 markings/sec, 35 secs
lola: 3146310 markings, 3524257 edges, 68751 markings/sec, 40 secs
lola: 3503720 markings, 3924453 edges, 71482 markings/sec, 45 secs
lola: 3863410 markings, 4327012 edges, 71938 markings/sec, 50 secs
lola: 4223866 markings, 4730265 edges, 72091 markings/sec, 55 secs
lola: 4569910 markings, 5117812 edges, 69209 markings/sec, 60 secs
lola: 4896489 markings, 5483272 edges, 65316 markings/sec, 65 secs
lola: 5196145 markings, 5818254 edges, 59931 markings/sec, 70 secs
lola: 5517016 markings, 6177521 edges, 64174 markings/sec, 75 secs
lola: 5830906 markings, 6529145 edges, 62778 markings/sec, 80 secs
lola: 6127115 markings, 6860649 edges, 59242 markings/sec, 85 secs
lola: 6439867 markings, 7210897 edges, 62550 markings/sec, 90 secs
lola: 6747798 markings, 7556315 edges, 61586 markings/sec, 95 secs
lola: 7051953 markings, 7896940 edges, 60831 markings/sec, 100 secs
lola: 7356700 markings, 8238305 edges, 60949 markings/sec, 105 secs
lola: 7668184 markings, 8587009 edges, 62297 markings/sec, 110 secs
lola: 7982576 markings, 8939278 edges, 62878 markings/sec, 115 secs
lola: 8287454 markings, 9280427 edges, 60976 markings/sec, 120 secs
lola: 8588825 markings, 9617975 edges, 60274 markings/sec, 125 secs
lola: 8908982 markings, 9977242 edges, 64031 markings/sec, 130 secs
lola: 9231982 markings, 10338864 edges, 64600 markings/sec, 135 secs
lola: 9566356 markings, 10713238 edges, 66875 markings/sec, 140 secs
lola: 9895354 markings, 11081798 edges, 65800 markings/sec, 145 secs
lola: 10219291 markings, 11444393 edges, 64787 markings/sec, 150 secs
lola: 10548490 markings, 11812700 edges, 65840 markings/sec, 155 secs
lola: 10881047 markings, 12185154 edges, 66511 markings/sec, 160 secs
lola: 11212303 markings, 12556210 edges, 66251 markings/sec, 165 secs
lola: 11547541 markings, 12931787 edges, 67048 markings/sec, 170 secs
lola: 11880626 markings, 13304750 edges, 66617 markings/sec, 175 secs
lola: 12221858 markings, 13686754 edges, 68246 markings/sec, 180 secs
lola: 12557239 markings, 14061777 edges, 67076 markings/sec, 185 secs
lola: 12891268 markings, 14435282 edges, 66806 markings/sec, 190 secs
lola: 13245886 markings, 14832288 edges, 70924 markings/sec, 195 secs
lola: 13604221 markings, 15233642 edges, 71667 markings/sec, 200 secs
lola: 13945515 markings, 15615915 edges, 68259 markings/sec, 205 secs
lola: 14282750 markings, 15993463 edges, 67447 markings/sec, 210 secs
lola: 14621029 markings, 16372439 edges, 67656 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1057)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 268901 markings, 301327 edges, 53780 markings/sec, 0 secs
lola: 545012 markings, 611221 edges, 55222 markings/sec, 5 secs
lola: 811188 markings, 909816 edges, 53235 markings/sec, 10 secs
lola: 1085350 markings, 1217377 edges, 54832 markings/sec, 15 secs
lola: 1364048 markings, 1530358 edges, 55740 markings/sec, 20 secs
lola: 1638106 markings, 1838673 edges, 54812 markings/sec, 25 secs
lola: 1938512 markings, 2176720 edges, 60081 markings/sec, 30 secs
lola: 2228226 markings, 2502542 edges, 57943 markings/sec, 35 secs
lola: 2503194 markings, 2811336 edges, 54994 markings/sec, 40 secs
lola: 2771638 markings, 3112529 edges, 53689 markings/sec, 45 secs
lola: 3036158 markings, 3409262 edges, 52904 markings/sec, 50 secs
lola: 3285900 markings, 3689424 edges, 49948 markings/sec, 55 secs
lola: 3531005 markings, 3964439 edges, 49021 markings/sec, 60 secs
lola: 3767040 markings, 4229181 edges, 47207 markings/sec, 65 secs
lola: 4014423 markings, 4507003 edges, 49477 markings/sec, 70 secs
lola: 4259586 markings, 4782552 edges, 49033 markings/sec, 75 secs
lola: 4510376 markings, 5063919 edges, 50158 markings/sec, 80 secs
lola: 4767193 markings, 5352017 edges, 51363 markings/sec, 85 secs
lola: 5008344 markings, 5622610 edges, 48230 markings/sec, 90 secs
lola: 5250425 markings, 5894606 edges, 48416 markings/sec, 95 secs
lola: 5491770 markings, 6166114 edges, 48269 markings/sec, 100 secs
lola: 5751908 markings, 6458574 edges, 52028 markings/sec, 105 secs
lola: 6023098 markings, 6763762 edges, 54238 markings/sec, 110 secs
lola: 6289802 markings, 7063876 edges, 53341 markings/sec, 115 secs
lola: 6551112 markings, 7357580 edges, 52262 markings/sec, 120 secs
lola: 6819403 markings, 7658539 edges, 53658 markings/sec, 125 secs
lola: 7091743 markings, 7964998 edges, 54468 markings/sec, 130 secs
lola: 7361396 markings, 8268164 edges, 53931 markings/sec, 135 secs
lola: 7631868 markings, 8572179 edges, 54094 markings/sec, 140 secs
lola: 7899007 markings, 8872488 edges, 53428 markings/sec, 145 secs
lola: 8146761 markings, 9150995 edges, 49551 markings/sec, 150 secs
lola: 8391372 markings, 9426139 edges, 48922 markings/sec, 155 secs
lola: 8651481 markings, 9718809 edges, 52022 markings/sec, 160 secs
lola: 8900231 markings, 9997821 edges, 49750 markings/sec, 165 secs
lola: 9131163 markings, 10257092 edges, 46186 markings/sec, 170 secs
lola: 9347228 markings, 10500104 edges, 43213 markings/sec, 175 secs
lola: 9564726 markings, 10744580 edges, 43500 markings/sec, 180 secs
lola: 9785343 markings, 10992441 edges, 44123 markings/sec, 185 secs
lola: 10011567 markings, 11246761 edges, 45245 markings/sec, 190 secs
lola: 10239247 markings, 11502681 edges, 45536 markings/sec, 195 secs
lola: 10465361 markings, 11757131 edges, 45223 markings/sec, 200 secs
lola: 10692057 markings, 12012304 edges, 45339 markings/sec, 205 secs
lola: 10925574 markings, 12274963 edges, 46703 markings/sec, 210 secs
lola: 11182583 markings, 12564296 edges, 51402 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1324)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 525762 markings, 600504 edges, 105152 markings/sec, 0 secs
lola: 1055687 markings, 1206146 edges, 105985 markings/sec, 5 secs
lola: 1596553 markings, 1824763 edges, 108173 markings/sec, 10 secs
lola: 2135691 markings, 2441386 edges, 107828 markings/sec, 15 secs
lola: 2684326 markings, 3068843 edges, 109727 markings/sec, 20 secs
lola: 3237988 markings, 3702085 edges, 110732 markings/sec, 25 secs
lola: 3785751 markings, 4328568 edges, 109553 markings/sec, 30 secs
lola: 4323162 markings, 4943235 edges, 107482 markings/sec, 35 secs
lola: 4846095 markings, 5541323 edges, 104587 markings/sec, 40 secs
lola: 5355468 markings, 6123825 edges, 101875 markings/sec, 45 secs
lola: 5844180 markings, 6682743 edges, 97742 markings/sec, 50 secs
lola: 6359432 markings, 7272050 edges, 103050 markings/sec, 55 secs
lola: 6869219 markings, 7855132 edges, 101957 markings/sec, 60 secs
lola: 7382853 markings, 8442580 edges, 102727 markings/sec, 65 secs
lola: 7861425 markings, 8989868 edges, 95714 markings/sec, 70 secs
lola: 8323028 markings, 9517601 edges, 92321 markings/sec, 75 secs
lola: 8811377 markings, 10076132 edges, 97670 markings/sec, 80 secs
lola: 9297608 markings, 10632258 edges, 97246 markings/sec, 85 secs
lola: 9778200 markings, 11181873 edges, 96118 markings/sec, 90 secs
lola: 10270383 markings, 11744795 edges, 98437 markings/sec, 95 secs
lola: 10764381 markings, 12309807 edges, 98800 markings/sec, 100 secs
lola: 11251782 markings, 12867268 edges, 97480 markings/sec, 105 secs
lola: 11733052 markings, 13417686 edges, 96254 markings/sec, 110 secs
lola: 12205770 markings, 13958351 edges, 94544 markings/sec, 115 secs
lola: 12659640 markings, 14477173 edges, 90774 markings/sec, 120 secs
lola: 13121899 markings, 15005549 edges, 92452 markings/sec, 125 secs
lola: 13596481 markings, 15548086 edges, 94916 markings/sec, 130 secs
lola: 14066708 markings, 16085897 edges, 94045 markings/sec, 135 secs
lola: 14538960 markings, 16626049 edges, 94450 markings/sec, 140 secs
lola: 15000934 markings, 17154377 edges, 92395 markings/sec, 145 secs
lola: 15498383 markings, 17723186 edges, 99490 markings/sec, 150 secs
lola: 16062490 markings, 18368369 edges, 112821 markings/sec, 155 secs
lola: 16622472 markings, 19008845 edges, 111996 markings/sec, 160 secs
lola: 17161741 markings, 19625607 edges, 107854 markings/sec, 165 secs
lola: 17651861 markings, 20186199 edges, 98024 markings/sec, 170 secs
lola: 18111308 markings, 20711515 edges, 91889 markings/sec, 175 secs
lola: 18579185 markings, 21246525 edges, 93575 markings/sec, 180 secs
lola: 19076033 markings, 21814799 edges, 99370 markings/sec, 185 secs
lola: 19595362 markings, 22408772 edges, 103866 markings/sec, 190 secs
lola: 20100728 markings, 22986755 edges, 101073 markings/sec, 195 secs
lola: 20607927 markings, 23566849 edges, 101440 markings/sec, 200 secs
lola: 21110835 markings, 24141910 edges, 100582 markings/sec, 205 secs
lola: 21604207 markings, 24705742 edges, 98674 markings/sec, 210 secs
lola: 22125556 markings, 25301680 edges, 104270 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 346601 markings, 418502 edges, 69320 markings/sec, 0 secs
lola: 663562 markings, 801349 edges, 63392 markings/sec, 5 secs
lola: 975847 markings, 1178043 edges, 62457 markings/sec, 10 secs
lola: 1289079 markings, 1556648 edges, 62646 markings/sec, 15 secs
lola: 1601637 markings, 1933879 edges, 62512 markings/sec, 20 secs
lola: 1918439 markings, 2316554 edges, 63360 markings/sec, 25 secs
lola: 2245273 markings, 2711317 edges, 65367 markings/sec, 30 secs
lola: 2609093 markings, 3150830 edges, 72764 markings/sec, 35 secs
lola: 2978484 markings, 3596772 edges, 73878 markings/sec, 40 secs
lola: 3352621 markings, 4048904 edges, 74827 markings/sec, 45 secs
lola: 3721717 markings, 4494298 edges, 73819 markings/sec, 50 secs
lola: 4094120 markings, 4943656 edges, 74481 markings/sec, 55 secs
lola: 4488962 markings, 5419988 edges, 78968 markings/sec, 60 secs
lola: 4876720 markings, 5888537 edges, 77552 markings/sec, 65 secs
lola: 5257921 markings, 6348424 edges, 76240 markings/sec, 70 secs
lola: 5637561 markings, 6806822 edges, 75928 markings/sec, 75 secs
lola: 6010846 markings, 7258714 edges, 74657 markings/sec, 80 secs
lola: 6395628 markings, 7723319 edges, 76956 markings/sec, 85 secs
lola: 6776951 markings, 8183565 edges, 76265 markings/sec, 90 secs
lola: 7165011 markings, 8652517 edges, 77612 markings/sec, 95 secs
lola: 7548047 markings, 9115017 edges, 76607 markings/sec, 100 secs
lola: 7929861 markings, 9575899 edges, 76363 markings/sec, 105 secs
lola: 8292899 markings, 10014565 edges, 72608 markings/sec, 110 secs
lola: 8658032 markings, 10455113 edges, 73027 markings/sec, 115 secs
lola: 9039084 markings, 10915098 edges, 76210 markings/sec, 120 secs
lola: 9414097 markings, 11367833 edges, 75003 markings/sec, 125 secs
lola: 9779782 markings, 11809155 edges, 73137 markings/sec, 130 secs
lola: 10145514 markings, 12251021 edges, 73146 markings/sec, 135 secs
lola: 10515703 markings, 12697736 edges, 74038 markings/sec, 140 secs
lola: 10877250 markings, 13133901 edges, 72309 markings/sec, 145 secs
lola: 11232473 markings, 13562789 edges, 71045 markings/sec, 150 secs
lola: 11552472 markings, 13949813 edges, 64000 markings/sec, 155 secs
lola: 11868742 markings, 14331742 edges, 63254 markings/sec, 160 secs
lola: 12217059 markings, 14751903 edges, 69663 markings/sec, 165 secs
lola: 12569282 markings, 15177294 edges, 70445 markings/sec, 170 secs
lola: 12917819 markings, 15597552 edges, 69707 markings/sec, 175 secs
lola: 13262333 markings, 16013403 edges, 68903 markings/sec, 180 secs
lola: 13623898 markings, 16449989 edges, 72313 markings/sec, 185 secs
lola: 14002581 markings, 16906946 edges, 75737 markings/sec, 190 secs
lola: 14366314 markings, 17346520 edges, 72747 markings/sec, 195 secs
lola: 14726935 markings, 17782235 edges, 72124 markings/sec, 200 secs
lola: 15098708 markings, 18232072 edges, 74355 markings/sec, 205 secs
lola: 15463267 markings, 18672189 edges, 72912 markings/sec, 210 secs
lola: 15845984 markings, 19134226 edges, 76543 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p920)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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 14 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p308)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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 15 will run for 666 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p645)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 168 bytes per marking, with 13 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: 445334 markings, 513307 edges, 89067 markings/sec, 0 secs
lola: 861364 markings, 994233 edges, 83206 markings/sec, 5 secs
lola: 1272589 markings, 1468522 edges, 82245 markings/sec, 10 secs
lola: 1671159 markings, 1929698 edges, 79714 markings/sec, 15 secs
lola: 2055436 markings, 2373975 edges, 76855 markings/sec, 20 secs
lola: 2446937 markings, 2827231 edges, 78300 markings/sec, 25 secs
lola: 2831322 markings, 3270604 edges, 76877 markings/sec, 30 secs
lola: 3221963 markings, 3722779 edges, 78128 markings/sec, 35 secs
lola: 3606707 markings, 4167145 edges, 76949 markings/sec, 40 secs
lola: 3987365 markings, 4606098 edges, 76132 markings/sec, 45 secs
lola: 4365302 markings, 5042460 edges, 75587 markings/sec, 50 secs
lola: 4723209 markings, 5452786 edges, 71581 markings/sec, 55 secs
lola: 5091953 markings, 5880153 edges, 73749 markings/sec, 60 secs
lola: 5462370 markings, 6306668 edges, 74083 markings/sec, 65 secs
lola: 5824453 markings, 6725215 edges, 72417 markings/sec, 70 secs
lola: 6174385 markings, 7127336 edges, 69986 markings/sec, 75 secs
lola: 6535124 markings, 7543745 edges, 72148 markings/sec, 80 secs
lola: 6902849 markings, 7968220 edges, 73545 markings/sec, 85 secs
lola: 7267872 markings, 8389332 edges, 73005 markings/sec, 90 secs
lola: 7624392 markings, 8801290 edges, 71304 markings/sec, 95 secs
lola: 7985959 markings, 9218944 edges, 72313 markings/sec, 100 secs
lola: 8373384 markings, 9665215 edges, 77485 markings/sec, 105 secs
lola: 8750026 markings, 10098855 edges, 75328 markings/sec, 110 secs
lola: 9123038 markings, 10529159 edges, 74602 markings/sec, 115 secs
lola: 9502499 markings, 10966720 edges, 75892 markings/sec, 120 secs
lola: 9867949 markings, 11388108 edges, 73090 markings/sec, 125 secs
lola: 10238112 markings, 11816579 edges, 74033 markings/sec, 130 secs
lola: 10621083 markings, 12258320 edges, 76594 markings/sec, 135 secs
lola: 10989247 markings, 12682500 edges, 73633 markings/sec, 140 secs
lola: 11362083 markings, 13112672 edges, 74567 markings/sec, 145 secs
lola: 11732502 markings, 13539913 edges, 74084 markings/sec, 150 secs
lola: 12106252 markings, 13973702 edges, 74750 markings/sec, 155 secs
lola: 12468119 markings, 14391785 edges, 72373 markings/sec, 160 secs
lola: 12860856 markings, 14844724 edges, 78547 markings/sec, 165 secs
lola: 13246966 markings, 15289618 edges, 77222 markings/sec, 170 secs
lola: 13633838 markings, 15736332 edges, 77374 markings/sec, 175 secs
lola: 14015207 markings, 16175747 edges, 76274 markings/sec, 180 secs
lola: 14392105 markings, 16610671 edges, 75380 markings/sec, 185 secs
lola: 14759386 markings, 17036097 edges, 73456 markings/sec, 190 secs
lola: 15138340 markings, 17473445 edges, 75791 markings/sec, 195 secs
lola: 15490573 markings, 17881067 edges, 70447 markings/sec, 200 secs
lola: 15860326 markings, 18307676 edges, 73951 markings/sec, 205 secs
lola: 16210523 markings, 18711582 edges, 70039 markings/sec, 210 secs
lola: 16547079 markings, 19100097 edges, 67311 markings/sec, 215 secs
lola: 16870421 markings, 19473798 edges, 64668 markings/sec, 220 secs
lola: 17195857 markings, 19848466 edges, 65087 markings/sec, 225 secs
lola: 17545949 markings, 20252394 edges, 70018 markings/sec, 230 secs
lola: 17893101 markings, 20653640 edges, 69430 markings/sec, 235 secs
lola: 18238376 markings, 21053175 edges, 69055 markings/sec, 240 secs
lola: 18607618 markings, 21479819 edges, 73848 markings/sec, 245 secs
lola: 18991558 markings, 21923858 edges, 76788 markings/sec, 250 secs
lola: 19377289 markings, 22367518 edges, 77146 markings/sec, 255 secs
lola: 19744966 markings, 22792776 edges, 73535 markings/sec, 260 secs
lola: 20131478 markings, 23237562 edges, 77302 markings/sec, 265 secs
lola: 20515284 markings, 23680759 edges, 76761 markings/sec, 270 secs
lola: 20901086 markings, 24125244 edges, 77160 markings/sec, 275 secs
lola: 21270205 markings, 24551126 edges, 73824 markings/sec, 280 secs
lola: 21614358 markings, 24948312 edges, 68831 markings/sec, 285 secs
lola: 21954206 markings, 25340503 edges, 67970 markings/sec, 290 secs
lola: 22293005 markings, 25732353 edges, 67760 markings/sec, 295 secs
lola: 22676377 markings, 26174096 edges, 76674 markings/sec, 300 secs
lola: 23051337 markings, 26606712 edges, 74992 markings/sec, 305 secs
lola: 23424653 markings, 27038036 edges, 74663 markings/sec, 310 secs
lola: 23796181 markings, 27466250 edges, 74306 markings/sec, 315 secs
lola: 24128362 markings, 27850359 edges, 66436 markings/sec, 320 secs
lola: 24457853 markings, 28231359 edges, 65898 markings/sec, 325 secs
lola: 24813031 markings, 28640266 edges, 71036 markings/sec, 330 secs
lola: 25144828 markings, 29022340 edges, 66359 markings/sec, 335 secs
lola: 25491269 markings, 29421595 edges, 69288 markings/sec, 340 secs
lola: 25851819 markings, 29837827 edges, 72110 markings/sec, 345 secs
lola: 26227336 markings, 30271744 edges, 75103 markings/sec, 350 secs
lola: 26601253 markings, 30702986 edges, 74783 markings/sec, 355 secs
lola: 26946466 markings, 31099797 edges, 69043 markings/sec, 360 secs
lola: 27291362 markings, 31498620 edges, 68979 markings/sec, 365 secs
lola: 27627424 markings, 31887600 edges, 67212 markings/sec, 370 secs
lola: 27981336 markings, 32297798 edges, 70782 markings/sec, 375 secs
lola: 28329918 markings, 32698439 edges, 69716 markings/sec, 380 secs
lola: 28659184 markings, 33078063 edges, 65853 markings/sec, 385 secs
lola: 29017884 markings, 33492418 edges, 71740 markings/sec, 390 secs
lola: 29400189 markings, 33931481 edges, 76461 markings/sec, 395 secs
lola: 29775725 markings, 34363056 edges, 75107 markings/sec, 400 secs
lola: 30148400 markings, 34792567 edges, 74535 markings/sec, 405 secs
lola: 30511775 markings, 35212262 edges, 72675 markings/sec, 410 secs
lola: 30874275 markings, 35630238 edges, 72500 markings/sec, 415 secs
lola: 31240359 markings, 36052655 edges, 73217 markings/sec, 420 secs
lola: 31592340 markings, 36459637 edges, 70396 markings/sec, 425 secs
lola: 31956456 markings, 36877453 edges, 72823 markings/sec, 430 secs
lola: 32312093 markings, 37287935 edges, 71127 markings/sec, 435 secs
lola: 32659330 markings, 37688469 edges, 69447 markings/sec, 440 secs
lola: 32993483 markings, 38073690 edges, 66831 markings/sec, 445 secs
lola: 33318276 markings, 38447050 edges, 64959 markings/sec, 450 secs
lola: 33658426 markings, 38839093 edges, 68030 markings/sec, 455 secs
lola: 33999316 markings, 39233339 edges, 68178 markings/sec, 460 secs
lola: 34346227 markings, 39633386 edges, 69382 markings/sec, 465 secs
lola: 34732832 markings, 40078260 edges, 77321 markings/sec, 470 secs
lola: 35095530 markings, 40496466 edges, 72540 markings/sec, 475 secs
lola: 35459455 markings, 40915714 edges, 72785 markings/sec, 480 secs
lola: 35828819 markings, 41341945 edges, 73873 markings/sec, 485 secs
lola: 36206412 markings, 41776736 edges, 75519 markings/sec, 490 secs
lola: 36580747 markings, 42209008 edges, 74867 markings/sec, 495 secs
lola: 36943428 markings, 42626149 edges, 72536 markings/sec, 500 secs
lola: 37299368 markings, 43035125 edges, 71188 markings/sec, 505 secs
lola: 37638331 markings, 43427539 edges, 67793 markings/sec, 510 secs
lola: 38001427 markings, 43845734 edges, 72619 markings/sec, 515 secs
lola: 38365662 markings, 44264717 edges, 72847 markings/sec, 520 secs
lola: 38714607 markings, 44666974 edges, 69789 markings/sec, 525 secs
lola: 39081774 markings, 45090385 edges, 73433 markings/sec, 530 secs
lola: 39439418 markings, 45502459 edges, 71529 markings/sec, 535 secs
lola: 39780198 markings, 45895815 edges, 68156 markings/sec, 540 secs
lola: 40131367 markings, 46301551 edges, 70234 markings/sec, 545 secs
lola: 40487725 markings, 46713329 edges, 71272 markings/sec, 550 secs
lola: 40860629 markings, 47143408 edges, 74581 markings/sec, 555 secs
lola: 41215260 markings, 47551946 edges, 70926 markings/sec, 560 secs
lola: 41587818 markings, 47980300 edges, 74512 markings/sec, 565 secs
lola: 41958466 markings, 48406146 edges, 74130 markings/sec, 570 secs
lola: 42323406 markings, 48826821 edges, 72988 markings/sec, 575 secs
lola: 42677687 markings, 49235375 edges, 70856 markings/sec, 580 secs
lola: 43050172 markings, 49664324 edges, 74497 markings/sec, 585 secs
lola: 43429676 markings, 50099964 edges, 75901 markings/sec, 590 secs
lola: 43786233 markings, 50512813 edges, 71311 markings/sec, 595 secs
lola: 44144184 markings, 50925527 edges, 71590 markings/sec, 600 secs
lola: 44498484 markings, 51335113 edges, 70860 markings/sec, 605 secs
lola: 44855599 markings, 51745857 edges, 71423 markings/sec, 610 secs
lola: 45189664 markings, 52133205 edges, 66813 markings/sec, 615 secs
lola: 45560137 markings, 52562254 edges, 74095 markings/sec, 620 secs
lola: 45914405 markings, 52969664 edges, 70854 markings/sec, 625 secs
lola: 46281993 markings, 53392531 edges, 73518 markings/sec, 630 secs
lola: 46649467 markings, 53815311 edges, 73495 markings/sec, 635 secs
lola: 47016571 markings, 54238795 edges, 73421 markings/sec, 640 secs
lola: 47375063 markings, 54651635 edges, 71698 markings/sec, 645 secs
lola: 47729002 markings, 55058724 edges, 70788 markings/sec, 650 secs
lola: 48088646 markings, 55471821 edges, 71929 markings/sec, 655 secs
lola: 48435474 markings, 55871309 edges, 69366 markings/sec, 660 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DLCround-PT-03b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-03b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496540139647

--------------------
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-03b"
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-03b.tgz
mv DLCround-PT-03b 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-03b, 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-149580961600209"
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 ;