Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246565800136.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is GPPP-PT-C0100N0000001000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565800136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.0K Feb 11 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 11 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 7 00:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 7 00:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 111 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 349 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Jan 31 01:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 31 01:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 17 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1 Mar 10 17:31 large_marking
-rw-r--r-- 1 mcc users 21K Mar 10 17:31 model.pnml

--------------------
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 GPPP-PT-C0100N0000001000-UpperBounds-00
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-01
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-02
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-03
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-04
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-05
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-06
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-07
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-08
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-09
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-10
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-11
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-12
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-13
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-14
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552865553949

info: Time: 3600 - MCC
===========================================================================================
prep: translating GPPP-PT-C0100N0000001000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GPPP-PT-C0100N0000001000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ GPPP-PT-C0100N0000001000 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 55/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 30 transition conflict sets
lola: TASK
lola: reading formula from GPPP-PT-C0100N0000001000-UpperBounds.task
lola: LP says that atomic proposition is always false: (GSSG <= 0)
lola: LP says that atomic proposition is always false: (ATP <= 0)
lola: MAX(GSSG) : MAX(ATP) : MAX(E4P) : MAX(c2) : MAX(c2) : MAX(b2) : MAX(Pi) : MAX(Lac) : MAX(PEP) : MAX(FBP) : MAX(S7P) : MAX(GSH) : MAX(Gluc) : MAX(GAP) : MAX(GSH) : MAX(F6P)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GSSG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GSSG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 5799 markings, 7421 edges, 1160 markings/sec, 25 secs
lola: 3953634 markings, 6024738 edges, 789567 markings/sec, 30 secs
lola: 7665044 markings, 11689831 edges, 742282 markings/sec, 35 secs
lola: 11143804 markings, 16935691 edges, 695752 markings/sec, 40 secs
lola: 14628576 markings, 22208963 edges, 696954 markings/sec, 45 secs
lola: 18160954 markings, 27624711 edges, 706476 markings/sec, 50 secs
lola: 21536883 markings, 32707202 edges, 675186 markings/sec, 55 secs
lola: 24635543 markings, 37612501 edges, 619732 markings/sec, 60 secs
lola: 28159436 markings, 42864543 edges, 704779 markings/sec, 65 secs
lola: 31441722 markings, 47988581 edges, 656457 markings/sec, 70 secs
lola: 34814642 markings, 53017851 edges, 674584 markings/sec, 75 secs
lola: 37837607 markings, 57856858 edges, 604593 markings/sec, 80 secs
lola: 41385824 markings, 63108365 edges, 709643 markings/sec, 85 secs
lola: 44581392 markings, 68123714 edges, 639114 markings/sec, 90 secs
lola: 47894933 markings, 73088343 edges, 662708 markings/sec, 95 secs
lola: 50963085 markings, 77862616 edges, 613630 markings/sec, 100 secs
lola: 54475878 markings, 83161510 edges, 702559 markings/sec, 105 secs
lola: 57717230 markings, 88139914 edges, 648270 markings/sec, 110 secs
lola: 60963008 markings, 93143908 edges, 649156 markings/sec, 115 secs
lola: 64376102 markings, 98295743 edges, 682619 markings/sec, 120 secs
lola: 67759449 markings, 103537136 edges, 676669 markings/sec, 125 secs
lola: 71162534 markings, 108658062 edges, 680617 markings/sec, 130 secs
lola: 74243464 markings, 113546889 edges, 616186 markings/sec, 135 secs
lola: 77880709 markings, 118940001 edges, 727449 markings/sec, 140 secs
lola: 81122961 markings, 124026674 edges, 648450 markings/sec, 145 secs
lola: 84503090 markings, 129093709 edges, 676026 markings/sec, 150 secs
lola: 87645661 markings, 133980463 edges, 628514 markings/sec, 155 secs
lola: 91252454 markings, 139448750 edges, 721359 markings/sec, 160 secs
lola: 94593206 markings, 144521342 edges, 668150 markings/sec, 165 secs
lola: 97774388 markings, 149483120 edges, 636236 markings/sec, 170 secs
lola: 101253933 markings, 154696434 edges, 695909 markings/sec, 175 secs
lola: 104578694 markings, 159879986 edges, 664952 markings/sec, 180 secs
lola: 107998475 markings, 164984209 edges, 683956 markings/sec, 185 secs
lola: 111117790 markings, 169952559 edges, 623863 markings/sec, 190 secs
lola: 114737330 markings, 175347820 edges, 723908 markings/sec, 195 secs
lola: 118066960 markings, 180508316 edges, 665926 markings/sec, 200 secs
lola: 121285100 markings, 185412282 edges, 643628 markings/sec, 205 secs
lola: 124654988 markings, 190532162 edges, 673978 markings/sec, 210 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4496664 KB
lola: time consumption: 288 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 211 markings, 211 edges, 42 markings/sec, 25 secs
lola: 2717996 markings, 7712629 edges, 543557 markings/sec, 30 secs
lola: 5518087 markings, 15177298 edges, 560018 markings/sec, 35 secs
lola: 8054101 markings, 21951521 edges, 507203 markings/sec, 40 secs
lola: 10443745 markings, 28335485 edges, 477929 markings/sec, 45 secs
lola: 12863734 markings, 34800505 edges, 483998 markings/sec, 50 secs
lola: 15288171 markings, 41275100 edges, 484887 markings/sec, 55 secs
lola: 17660326 markings, 47609574 edges, 474431 markings/sec, 60 secs
lola: 19940549 markings, 53697182 edges, 456045 markings/sec, 65 secs
lola: 22358317 markings, 60150282 edges, 483554 markings/sec, 70 secs
lola: 24740111 markings, 66506312 edges, 476359 markings/sec, 75 secs
lola: 27158561 markings, 72955472 edges, 483690 markings/sec, 80 secs
lola: 29605471 markings, 79474093 edges, 489382 markings/sec, 85 secs
lola: 32122337 markings, 86168081 edges, 503373 markings/sec, 90 secs
lola: 34637678 markings, 92888083 edges, 503068 markings/sec, 95 secs
lola: 36989015 markings, 99213974 edges, 470267 markings/sec, 100 secs
lola: 39457333 markings, 105863038 edges, 493664 markings/sec, 105 secs
lola: 41883167 markings, 112388711 edges, 485167 markings/sec, 110 secs
lola: 44286281 markings, 118863059 edges, 480623 markings/sec, 115 secs
lola: 46626541 markings, 125159020 edges, 468052 markings/sec, 120 secs
lola: 48923414 markings, 131338716 edges, 459375 markings/sec, 125 secs
lola: 51209832 markings, 137499785 edges, 457284 markings/sec, 130 secs
lola: 53508638 markings, 143684590 edges, 459761 markings/sec, 135 secs
lola: 55888845 markings, 150094334 edges, 476041 markings/sec, 140 secs
lola: 58300752 markings, 156585254 edges, 482381 markings/sec, 145 secs
lola: 60549361 markings, 162635487 edges, 449722 markings/sec, 150 secs
lola: 62914228 markings, 169006939 edges, 472973 markings/sec, 155 secs
lola: 65250410 markings, 175291737 edges, 467236 markings/sec, 160 secs
lola: 67542984 markings, 181459783 edges, 458515 markings/sec, 165 secs
lola: 69888825 markings, 187780009 edges, 469168 markings/sec, 170 secs
lola: 72295023 markings, 194252683 edges, 481240 markings/sec, 175 secs
lola: 74674423 markings, 200663023 edges, 475880 markings/sec, 180 secs
lola: 77017311 markings, 206965704 edges, 468578 markings/sec, 185 secs
lola: 79374054 markings, 213305862 edges, 471349 markings/sec, 190 secs
lola: 81703303 markings, 219581401 edges, 465850 markings/sec, 195 secs
lola: 83997250 markings, 225752873 edges, 458789 markings/sec, 200 secs
lola: 86391700 markings, 232195324 edges, 478890 markings/sec, 205 secs
lola: 88752606 markings, 238554312 edges, 472181 markings/sec, 210 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3344708 KB
lola: time consumption: 506 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(E4P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(E4P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 10704 markings, 22987 edges, 2141 markings/sec, 25 secs
lola: 2864794 markings, 7539170 edges, 570818 markings/sec, 30 secs
lola: 5508475 markings, 14918837 edges, 528736 markings/sec, 35 secs
lola: 8181545 markings, 22368883 edges, 534614 markings/sec, 40 secs
lola: 11315237 markings, 29864467 edges, 626738 markings/sec, 45 secs
lola: 14133480 markings, 36621759 edges, 563649 markings/sec, 50 secs
lola: 16811365 markings, 43047121 edges, 535577 markings/sec, 55 secs
lola: 19411266 markings, 49285596 edges, 519980 markings/sec, 60 secs
lola: 21962590 markings, 55407317 edges, 510265 markings/sec, 65 secs
lola: 24584816 markings, 61699023 edges, 524445 markings/sec, 70 secs
lola: 27143253 markings, 67837721 edges, 511687 markings/sec, 75 secs
lola: 29677458 markings, 73918267 edges, 506841 markings/sec, 80 secs
lola: 32202827 markings, 79977803 edges, 505074 markings/sec, 85 secs
lola: 34709909 markings, 85993380 edges, 501416 markings/sec, 90 secs
lola: 37204959 markings, 91979993 edges, 499010 markings/sec, 95 secs
lola: 39448332 markings, 97363303 edges, 448675 markings/sec, 100 secs
lola: 41722415 markings, 102819089 edges, 454817 markings/sec, 105 secs
lola: 44002803 markings, 108290641 edges, 456078 markings/sec, 110 secs
lola: 46272161 markings, 113735824 edges, 453872 markings/sec, 115 secs
lola: 48524341 markings, 119139616 edges, 450436 markings/sec, 120 secs
lola: 50769297 markings, 124526155 edges, 448991 markings/sec, 125 secs
lola: 53168240 markings, 130282028 edges, 479789 markings/sec, 130 secs
lola: 55619341 markings, 136163293 edges, 490220 markings/sec, 135 secs
lola: 58077213 markings, 142060693 edges, 491574 markings/sec, 140 secs
lola: 60534190 markings, 147955759 edges, 491395 markings/sec, 145 secs
lola: 62920961 markings, 153682446 edges, 477354 markings/sec, 150 secs
lola: 65299980 markings, 159390736 edges, 475804 markings/sec, 155 secs
lola: 67754839 markings, 165280811 edges, 490972 markings/sec, 160 secs
lola: 70222391 markings, 171201284 edges, 493510 markings/sec, 165 secs
lola: 72618432 markings, 176950123 edges, 479208 markings/sec, 170 secs
lola: 75014946 markings, 182700180 edges, 479303 markings/sec, 175 secs
lola: 77393537 markings, 188407365 edges, 475718 markings/sec, 180 secs
lola: 79853412 markings, 194309355 edges, 491975 markings/sec, 185 secs
lola: 82352703 markings, 200305904 edges, 499858 markings/sec, 190 secs
lola: 84838266 markings, 206269477 edges, 497113 markings/sec, 195 secs
lola: 87263480 markings, 212088844 edges, 485043 markings/sec, 200 secs
lola: 89725402 markings, 217995344 edges, 492384 markings/sec, 205 secs
lola: 92216577 markings, 223972398 edges, 498235 markings/sec, 210 secs
lola: 94709449 markings, 229953375 edges, 498574 markings/sec, 215 secs
lola: 97192751 markings, 235911631 edges, 496660 markings/sec, 220 secs
lola: 99696468 markings, 241918805 edges, 500743 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3759812 KB
lola: time consumption: 742 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 879 markings, 878 edges, 176 markings/sec, 25 secs
lola: 2789978 markings, 7330945 edges, 557820 markings/sec, 30 secs
lola: 5362026 markings, 14511960 edges, 514410 markings/sec, 35 secs
lola: 7953587 markings, 21732659 edges, 518312 markings/sec, 40 secs
lola: 10954564 markings, 29000976 edges, 600195 markings/sec, 45 secs
lola: 13690259 markings, 35558123 edges, 547139 markings/sec, 50 secs
lola: 16255486 markings, 41713396 edges, 513045 markings/sec, 55 secs
lola: 18728923 markings, 47648228 edges, 494687 markings/sec, 60 secs
lola: 21305431 markings, 53830465 edges, 515302 markings/sec, 65 secs
lola: 23869322 markings, 59982183 edges, 512778 markings/sec, 70 secs
lola: 26351104 markings, 65937123 edges, 496356 markings/sec, 75 secs
lola: 28813689 markings, 71845819 edges, 492517 markings/sec, 80 secs
lola: 31233330 markings, 77651853 edges, 483928 markings/sec, 85 secs
lola: 33651345 markings, 83453409 edges, 483603 markings/sec, 90 secs
lola: 36076303 markings, 89271859 edges, 484992 markings/sec, 95 secs
lola: 38492161 markings, 95068555 edges, 483172 markings/sec, 100 secs
lola: 40893972 markings, 100831349 edges, 480362 markings/sec, 105 secs
lola: 43301618 markings, 106608349 edges, 481529 markings/sec, 110 secs
lola: 45770905 markings, 112533111 edges, 493857 markings/sec, 115 secs
lola: 48264065 markings, 118515166 edges, 498632 markings/sec, 120 secs
lola: 50701952 markings, 124364594 edges, 487577 markings/sec, 125 secs
lola: 53134611 markings, 130201355 edges, 486532 markings/sec, 130 secs
lola: 55570929 markings, 136047050 edges, 487264 markings/sec, 135 secs
lola: 58003677 markings, 141884032 edges, 486550 markings/sec, 140 secs
lola: 60442156 markings, 147734878 edges, 487696 markings/sec, 145 secs
lola: 62881142 markings, 153586922 edges, 487797 markings/sec, 150 secs
lola: 65318058 markings, 159433972 edges, 487383 markings/sec, 155 secs
lola: 67747104 markings, 165262213 edges, 485809 markings/sec, 160 secs
lola: 70205805 markings, 171161544 edges, 491740 markings/sec, 165 secs
lola: 72666408 markings, 177065320 edges, 492121 markings/sec, 170 secs
lola: 75050310 markings, 182785004 edges, 476780 markings/sec, 175 secs
lola: 77484196 markings, 188625085 edges, 486777 markings/sec, 180 secs
lola: 79974473 markings, 194599745 edges, 498055 markings/sec, 185 secs
lola: 82481083 markings, 200613898 edges, 501322 markings/sec, 190 secs
lola: 84974644 markings, 206596717 edges, 498712 markings/sec, 195 secs
lola: 87447071 markings, 212528982 edges, 494485 markings/sec, 200 secs
lola: 89924582 markings, 218473257 edges, 495502 markings/sec, 205 secs
lola: 92422645 markings, 224466831 edges, 499613 markings/sec, 210 secs
lola: 94921265 markings, 230461740 edges, 499724 markings/sec, 215 secs
lola: 97422485 markings, 236462875 edges, 500244 markings/sec, 220 secs
lola: 99948464 markings, 242523202 edges, 505196 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3769652 KB
lola: time consumption: 977 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(b2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(b2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 300
lola: SUBRESULT
lola: result: 300
lola: produced by: state space
lola: The maximum value of the given expression is 300
lola: 4 markings, 3 edges

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-5 300 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 259 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pi)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 2 markings, 1 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-6 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Lac)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Lac)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 780 markings, 779 edges, 156 markings/sec, 25 secs
lola: 4015784 markings, 7249526 edges, 803001 markings/sec, 30 secs
lola: 7718768 markings, 13955080 edges, 740597 markings/sec, 35 secs
lola: 11365509 markings, 20559277 edges, 729348 markings/sec, 40 secs
lola: 15169140 markings, 27279090 edges, 760726 markings/sec, 45 secs
lola: 18874145 markings, 33597235 edges, 741001 markings/sec, 50 secs
lola: 22300260 markings, 39430594 edges, 685223 markings/sec, 55 secs
lola: 25698066 markings, 45217084 edges, 679561 markings/sec, 60 secs
lola: 29491009 markings, 51417116 edges, 758589 markings/sec, 65 secs
lola: 32930360 markings, 57463554 edges, 687870 markings/sec, 70 secs
lola: 36228275 markings, 63436994 edges, 659583 markings/sec, 75 secs
lola: 39561487 markings, 69474728 edges, 666642 markings/sec, 80 secs
lola: 42902058 markings, 75526197 edges, 668114 markings/sec, 85 secs
lola: 46243798 markings, 81580166 edges, 668348 markings/sec, 90 secs
lola: 49601535 markings, 87663487 edges, 671547 markings/sec, 95 secs
lola: 53328804 markings, 93851921 edges, 745454 markings/sec, 100 secs
lola: 57201889 markings, 99831201 edges, 774617 markings/sec, 105 secs
lola: 60803145 markings, 105380705 edges, 720251 markings/sec, 110 secs
lola: 64276732 markings, 110734853 edges, 694717 markings/sec, 115 secs
lola: 67785670 markings, 116144808 edges, 701788 markings/sec, 120 secs
lola: 70958104 markings, 122251394 edges, 634487 markings/sec, 125 secs
lola: 74058382 markings, 128003321 edges, 620056 markings/sec, 130 secs
lola: 77260250 markings, 133458399 edges, 640374 markings/sec, 135 secs
lola: 80513142 markings, 139001376 edges, 650578 markings/sec, 140 secs
lola: 83762535 markings, 144540038 edges, 649879 markings/sec, 145 secs
lola: 86958558 markings, 149988792 edges, 639205 markings/sec, 150 secs
lola: 90208220 markings, 155530133 edges, 649932 markings/sec, 155 secs
lola: 93883690 markings, 161664566 edges, 735094 markings/sec, 160 secs
lola: 97608653 markings, 167638235 edges, 744993 markings/sec, 165 secs
lola: 101223280 markings, 173434332 edges, 722925 markings/sec, 170 secs
lola: 105361849 markings, 179669197 edges, 827714 markings/sec, 175 secs
lola: 109306131 markings, 185595137 edges, 788856 markings/sec, 180 secs
lola: 113077222 markings, 191254367 edges, 754218 markings/sec, 185 secs
lola: 116591999 markings, 196528951 edges, 702955 markings/sec, 190 secs
lola: 120129289 markings, 201843568 edges, 707458 markings/sec, 195 secs
lola: 123713863 markings, 207587035 edges, 716915 markings/sec, 200 secs
lola: 127076115 markings, 212972488 edges, 672450 markings/sec, 205 secs
lola: 130487603 markings, 218233608 edges, 682298 markings/sec, 210 secs
lola: 133764430 markings, 223288213 edges, 655365 markings/sec, 215 secs
lola: 137165765 markings, 228536089 edges, 680267 markings/sec, 220 secs
lola: 140576039 markings, 233799440 edges, 682055 markings/sec, 225 secs
lola: 143966445 markings, 239033053 edges, 678081 markings/sec, 230 secs
lola: 147215821 markings, 244050157 edges, 649875 markings/sec, 235 secs
lola: 150462601 markings, 249064405 edges, 649356 markings/sec, 240 secs
lola: 153806729 markings, 254572090 edges, 668826 markings/sec, 245 secs
lola: 156698474 markings, 260372005 edges, 578349 markings/sec, 250 secs
lola: 159534296 markings, 266052238 edges, 567164 markings/sec, 255 secs
lola: 162316953 markings, 271625713 edges, 556531 markings/sec, 260 secs
lola: 165576474 markings, 277485657 edges, 651904 markings/sec, 265 secs
lola: 169116209 markings, 283162233 edges, 707947 markings/sec, 270 secs
lola: 172613094 markings, 288769499 edges, 699377 markings/sec, 275 secs
lola: 176021736 markings, 294843860 edges, 681728 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6692684 KB
lola: time consumption: 1265 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PEP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 372 markings, 372 edges, 74 markings/sec, 25 secs
lola: 3545280 markings, 6648816 edges, 708982 markings/sec, 30 secs
lola: 7466794 markings, 13003130 edges, 784303 markings/sec, 35 secs
lola: 10993830 markings, 18799477 edges, 705407 markings/sec, 40 secs
lola: 14055376 markings, 23868082 edges, 612309 markings/sec, 45 secs
lola: 17512374 markings, 29591807 edges, 691400 markings/sec, 50 secs
lola: 21128909 markings, 35615323 edges, 723307 markings/sec, 55 secs
lola: 24331593 markings, 40995723 edges, 640537 markings/sec, 60 secs
lola: 27508894 markings, 46333538 edges, 635460 markings/sec, 65 secs
lola: 30649403 markings, 51609616 edges, 628102 markings/sec, 70 secs
lola: 33536913 markings, 56460409 edges, 577502 markings/sec, 75 secs
lola: 36508105 markings, 61452018 edges, 594238 markings/sec, 80 secs
lola: 39689323 markings, 66796317 edges, 636244 markings/sec, 85 secs
lola: 42678388 markings, 71817723 edges, 597813 markings/sec, 90 secs
lola: 45623392 markings, 76765053 edges, 589001 markings/sec, 95 secs
lola: 48839449 markings, 82167810 edges, 643211 markings/sec, 100 secs
lola: 52056479 markings, 87572057 edges, 643406 markings/sec, 105 secs
lola: 54907531 markings, 92361591 edges, 570210 markings/sec, 110 secs
lola: 57757574 markings, 97149188 edges, 570009 markings/sec, 115 secs
lola: 60924916 markings, 102470002 edges, 633468 markings/sec, 120 secs
lola: 64037858 markings, 107698943 edges, 622588 markings/sec, 125 secs
lola: 67138152 markings, 112906934 edges, 620059 markings/sec, 130 secs
lola: 70230238 markings, 118101001 edges, 618417 markings/sec, 135 secs
lola: 73391168 markings, 123410355 edges, 632186 markings/sec, 140 secs
lola: 76409950 markings, 128480745 edges, 603756 markings/sec, 145 secs
lola: 79647723 markings, 133928910 edges, 647555 markings/sec, 150 secs
lola: 82908775 markings, 139406675 edges, 652210 markings/sec, 155 secs
lola: 85785538 markings, 144247108 edges, 575353 markings/sec, 160 secs
lola: 88694398 markings, 149141737 edges, 581772 markings/sec, 165 secs
lola: 91492406 markings, 153862017 edges, 559602 markings/sec, 170 secs
lola: 94517454 markings, 158941299 edges, 605010 markings/sec, 175 secs
lola: 97432290 markings, 163846307 edges, 582967 markings/sec, 180 secs
lola: 100231961 markings, 168556964 edges, 559934 markings/sec, 185 secs
lola: 103007491 markings, 173227820 edges, 555106 markings/sec, 190 secs
lola: 105789839 markings, 177917405 edges, 556470 markings/sec, 195 secs
lola: 108535889 markings, 182532873 edges, 549210 markings/sec, 200 secs
lola: 111299343 markings, 187182431 edges, 552691 markings/sec, 205 secs
lola: 113970939 markings, 191678090 edges, 534319 markings/sec, 210 secs
lola: 116576666 markings, 196062908 edges, 521145 markings/sec, 215 secs
lola: 119265982 markings, 200588567 edges, 537863 markings/sec, 220 secs
lola: 122312737 markings, 205723049 edges, 609351 markings/sec, 225 secs
lola: 125153760 markings, 210498282 edges, 568205 markings/sec, 230 secs
lola: 127889992 markings, 215103215 edges, 547246 markings/sec, 235 secs
lola: 130780129 markings, 219966352 edges, 578027 markings/sec, 240 secs
lola: 133708888 markings, 224895487 edges, 585752 markings/sec, 245 secs
lola: 136541385 markings, 229667233 edges, 566499 markings/sec, 250 secs
lola: 139453775 markings, 234565082 edges, 582478 markings/sec, 255 secs
lola: 142165885 markings, 239128676 edges, 542422 markings/sec, 260 secs
lola: 144910004 markings, 243747099 edges, 548824 markings/sec, 265 secs
lola: 147685722 markings, 248418508 edges, 555144 markings/sec, 270 secs
lola: 150594166 markings, 253321476 edges, 581689 markings/sec, 275 secs
lola: 153620941 markings, 258408798 edges, 605355 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5578952 KB
lola: time consumption: 1554 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FBP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FBP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: Structural Bound: 4
lola: 375038 markings, 1120535 edges, 75008 markings/sec, 15 secs
lola: 2141738 markings, 6856233 edges, 353340 markings/sec, 20 secs
lola: 3891887 markings, 12276940 edges, 350030 markings/sec, 25 secs
lola: 5150768 markings, 17343788 edges, 251776 markings/sec, 30 secs
lola: 6519317 markings, 22597033 edges, 273710 markings/sec, 35 secs
lola: 8112011 markings, 27553210 edges, 318539 markings/sec, 40 secs
lola: 9507215 markings, 32299821 edges, 279041 markings/sec, 45 secs
lola: 10623856 markings, 36872825 edges, 223328 markings/sec, 50 secs
lola: 11748172 markings, 41586572 edges, 224863 markings/sec, 55 secs
lola: 13406407 markings, 46713193 edges, 331647 markings/sec, 60 secs
lola: 14856421 markings, 51376940 edges, 290003 markings/sec, 65 secs
lola: 16359105 markings, 56173673 edges, 300537 markings/sec, 70 secs
lola: 17439618 markings, 60509798 edges, 216103 markings/sec, 75 secs
lola: 18531466 markings, 64976505 edges, 218370 markings/sec, 80 secs
lola: 19740282 markings, 69843958 edges, 241763 markings/sec, 85 secs
lola: 21362438 markings, 74824715 edges, 324431 markings/sec, 90 secs
lola: 22815990 markings, 79505228 edges, 290710 markings/sec, 95 secs
lola: 24371819 markings, 84411300 edges, 311166 markings/sec, 100 secs
lola: 25729951 markings, 88937924 edges, 271626 markings/sec, 105 secs
lola: 26783987 markings, 93309053 edges, 210807 markings/sec, 110 secs
lola: 27837571 markings, 97607837 edges, 210717 markings/sec, 115 secs
lola: 28916355 markings, 102188443 edges, 215757 markings/sec, 120 secs
lola: 30540895 markings, 107272308 edges, 324908 markings/sec, 125 secs
lola: 32020308 markings, 112005012 edges, 295883 markings/sec, 130 secs
lola: 33440486 markings, 116581313 edges, 284036 markings/sec, 135 secs
lola: 34832667 markings, 121001193 edges, 278436 markings/sec, 140 secs
lola: 36369932 markings, 125766823 edges, 307453 markings/sec, 145 secs
lola: 37356024 markings, 129821754 edges, 197218 markings/sec, 150 secs
lola: 38330723 markings, 133875791 edges, 194940 markings/sec, 155 secs
lola: 39363791 markings, 138132262 edges, 206614 markings/sec, 160 secs
lola: 40497617 markings, 142799266 edges, 226765 markings/sec, 165 secs
lola: 42135970 markings, 147838821 edges, 327671 markings/sec, 170 secs
lola: 43520784 markings, 152296946 edges, 276963 markings/sec, 175 secs
lola: 44893983 markings, 156718379 edges, 274640 markings/sec, 180 secs
lola: 46311766 markings, 161255551 edges, 283557 markings/sec, 185 secs
lola: 47846336 markings, 166090145 edges, 306914 markings/sec, 190 secs
lola: 49285663 markings, 170716884 edges, 287865 markings/sec, 195 secs
lola: 50248956 markings, 174640131 edges, 192659 markings/sec, 200 secs
lola: 51187316 markings, 178550652 edges, 187672 markings/sec, 205 secs
lola: 52251331 markings, 182859709 edges, 212803 markings/sec, 210 secs
lola: 53322148 markings, 187368967 edges, 214163 markings/sec, 215 secs
lola: 54781370 markings, 192264147 edges, 291844 markings/sec, 220 secs
lola: 56155023 markings, 196628180 edges, 274731 markings/sec, 225 secs
lola: 57577609 markings, 201168743 edges, 284517 markings/sec, 230 secs
lola: 58950066 markings, 205589424 edges, 274491 markings/sec, 235 secs
lola: 60325108 markings, 210018462 edges, 275008 markings/sec, 240 secs
lola: 61780916 markings, 214630532 edges, 291162 markings/sec, 245 secs
lola: 63306598 markings, 219394744 edges, 305136 markings/sec, 250 secs
lola: 64494272 markings, 223761828 edges, 237535 markings/sec, 255 secs
lola: 65479153 markings, 227841263 edges, 196976 markings/sec, 260 secs
lola: 66444895 markings, 231918698 edges, 193148 markings/sec, 265 secs
lola: 67463737 markings, 236060207 edges, 203768 markings/sec, 270 secs
lola: 68558141 markings, 240718337 edges, 218881 markings/sec, 275 secs
lola: 70143640 markings, 245683900 edges, 317100 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2540492 KB
lola: time consumption: 1841 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(S7P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(S7P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 1583 markings, 1721 edges, 317 markings/sec, 25 secs
lola: 3619063 markings, 6136805 edges, 723496 markings/sec, 30 secs
lola: 8889484 markings, 11467670 edges, 1054084 markings/sec, 35 secs
lola: 14040792 markings, 16694023 edges, 1030262 markings/sec, 40 secs
lola: 19087546 markings, 21820479 edges, 1009351 markings/sec, 45 secs
lola: 24456502 markings, 27277625 edges, 1073791 markings/sec, 50 secs
lola: 29170417 markings, 32048819 edges, 942783 markings/sec, 55 secs
lola: 33613801 markings, 36546081 edges, 888677 markings/sec, 60 secs
lola: 37792909 markings, 40775971 edges, 835822 markings/sec, 65 secs
lola: 41763297 markings, 44794644 edges, 794078 markings/sec, 70 secs
lola: 45823681 markings, 48904670 edges, 812077 markings/sec, 75 secs
lola: 49686198 markings, 52814360 edges, 772503 markings/sec, 80 secs
lola: 53649348 markings, 56826018 edges, 792630 markings/sec, 85 secs
lola: 57477569 markings, 60701186 edges, 765644 markings/sec, 90 secs
lola: 61574706 markings, 64848679 edges, 819427 markings/sec, 95 secs
lola: 65485181 markings, 68807304 edges, 782095 markings/sec, 100 secs
lola: 69413934 markings, 72784479 edges, 785751 markings/sec, 105 secs
lola: 73372002 markings, 76791488 edges, 791614 markings/sec, 110 secs
lola: 77237722 markings, 80705073 edges, 773144 markings/sec, 115 secs
lola: 81180300 markings, 84696600 edges, 788516 markings/sec, 120 secs
lola: 84999991 markings, 88563680 edges, 763938 markings/sec, 125 secs
lola: 88923359 markings, 92535985 edges, 784674 markings/sec, 130 secs
lola: 92692910 markings, 96352515 edges, 753910 markings/sec, 135 secs
lola: 96619797 markings, 100328476 edges, 785377 markings/sec, 140 secs
lola: 100376686 markings, 104132455 edges, 751378 markings/sec, 145 secs
lola: 104274556 markings, 108079250 edges, 779574 markings/sec, 150 secs
lola: 108123252 markings, 111976370 edges, 769739 markings/sec, 155 secs
lola: 111929995 markings, 115831015 edges, 761349 markings/sec, 160 secs
lola: 115868734 markings, 119819494 edges, 787748 markings/sec, 165 secs
lola: 119592683 markings, 123590617 edges, 744790 markings/sec, 170 secs
lola: 123433017 markings, 127479640 edges, 768067 markings/sec, 175 secs
lola: 127211229 markings, 131305837 edges, 755642 markings/sec, 180 secs
lola: 131008538 markings, 135151496 edges, 759462 markings/sec, 185 secs
lola: 134855152 markings, 139047166 edges, 769323 markings/sec, 190 secs
lola: 138513992 markings, 142752821 edges, 731768 markings/sec, 195 secs
lola: 142387999 markings, 146676447 edges, 774801 markings/sec, 200 secs
lola: 146219268 markings, 150556973 edges, 766254 markings/sec, 205 secs
lola: 149900196 markings, 154285295 edges, 736186 markings/sec, 210 secs
lola: 153819136 markings, 158254791 edges, 783788 markings/sec, 215 secs
lola: 157668170 markings, 162153627 edges, 769807 markings/sec, 220 secs
lola: 161449758 markings, 165984186 edges, 756318 markings/sec, 225 secs
lola: 165319708 markings, 169904461 edges, 773990 markings/sec, 230 secs
lola: 169205879 markings, 173841274 edges, 777234 markings/sec, 235 secs
lola: 173061865 markings, 177747640 edges, 771197 markings/sec, 240 secs
lola: 177001215 markings, 181738575 edges, 787870 markings/sec, 245 secs
lola: 180914418 markings, 185703125 edges, 782641 markings/sec, 250 secs
lola: 184724865 markings, 189563716 edges, 762089 markings/sec, 255 secs
lola: 188687829 markings, 193578982 edges, 792593 markings/sec, 260 secs
lola: 192685116 markings, 197629198 edges, 799457 markings/sec, 265 secs
lola: 196655675 markings, 201652422 edges, 794112 markings/sec, 270 secs
lola: 200478264 markings, 205525903 edges, 764518 markings/sec, 275 secs
lola: 204480194 markings, 209581164 edges, 800386 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7612312 KB
lola: time consumption: 2129 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GSH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GSH)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 1608
lola: 535939 markings, 862732 edges, 107188 markings/sec, 25 secs
lola: 3536488 markings, 5976873 edges, 600110 markings/sec, 30 secs
lola: 6140606 markings, 10495125 edges, 520824 markings/sec, 35 secs
lola: 8970242 markings, 15512342 edges, 565927 markings/sec, 40 secs
lola: 11615140 markings, 20082525 edges, 528980 markings/sec, 45 secs
lola: 13775661 markings, 24085611 edges, 432104 markings/sec, 50 secs
lola: 16373458 markings, 28686191 edges, 519559 markings/sec, 55 secs
lola: 18785448 markings, 32984315 edges, 482398 markings/sec, 60 secs
lola: 21180851 markings, 37326914 edges, 479081 markings/sec, 65 secs
lola: 23596468 markings, 41575691 edges, 483123 markings/sec, 70 secs
lola: 26026893 markings, 46119823 edges, 486085 markings/sec, 75 secs
lola: 28681014 markings, 50737145 edges, 530824 markings/sec, 80 secs
lola: 30924284 markings, 54806323 edges, 448654 markings/sec, 85 secs
lola: 33493766 markings, 59482016 edges, 513896 markings/sec, 90 secs
lola: 36090160 markings, 64014978 edges, 519279 markings/sec, 95 secs
lola: 38334915 markings, 68166981 edges, 448951 markings/sec, 100 secs
lola: 40866201 markings, 72628966 edges, 506257 markings/sec, 105 secs
lola: 43342024 markings, 77063576 edges, 495165 markings/sec, 110 secs
lola: 45685832 markings, 81312558 edges, 468762 markings/sec, 115 secs
lola: 48096024 markings, 85551333 edges, 482038 markings/sec, 120 secs
lola: 50512336 markings, 90068448 edges, 483262 markings/sec, 125 secs
lola: 53025124 markings, 94433442 edges, 502558 markings/sec, 130 secs
lola: 55214638 markings, 98428553 edges, 437903 markings/sec, 135 secs
lola: 57695148 markings, 102905797 edges, 496102 markings/sec, 140 secs
lola: 60247804 markings, 107377619 edges, 510531 markings/sec, 145 secs
lola: 62448705 markings, 111435994 edges, 440180 markings/sec, 150 secs
lola: 64837319 markings, 115615332 edges, 477723 markings/sec, 155 secs
lola: 67123252 markings, 119824147 edges, 457187 markings/sec, 160 secs
lola: 69600740 markings, 124217730 edges, 495498 markings/sec, 165 secs
lola: 71787199 markings, 128107898 edges, 437292 markings/sec, 170 secs
lola: 74238192 markings, 132637124 edges, 490199 markings/sec, 175 secs
lola: 76709608 markings, 136926205 edges, 494283 markings/sec, 180 secs
lola: 78888192 markings, 140957633 edges, 435717 markings/sec, 185 secs
lola: 81369572 markings, 145348421 edges, 496276 markings/sec, 190 secs
lola: 83758304 markings, 149607761 edges, 477746 markings/sec, 195 secs
lola: 85973056 markings, 153616518 edges, 442950 markings/sec, 200 secs
lola: 88300566 markings, 157685093 edges, 465502 markings/sec, 205 secs
lola: 90703868 markings, 162217384 edges, 480660 markings/sec, 210 secs
lola: 93241141 markings, 166617126 edges, 507455 markings/sec, 215 secs
lola: 95353590 markings, 170484271 edges, 422490 markings/sec, 220 secs
lola: 97854668 markings, 174986694 edges, 500216 markings/sec, 225 secs
lola: 100304932 markings, 179273575 edges, 490053 markings/sec, 230 secs
lola: 102452340 markings, 183225738 edges, 429482 markings/sec, 235 secs
lola: 104922224 markings, 187580718 edges, 493977 markings/sec, 240 secs
lola: 107316024 markings, 191941778 edges, 478760 markings/sec, 245 secs
lola: 109808980 markings, 196388931 edges, 498591 markings/sec, 250 secs
lola: 112163668 markings, 200517536 edges, 470938 markings/sec, 255 secs
lola: 114623984 markings, 205137718 edges, 492063 markings/sec, 260 secs
lola: 117127984 markings, 209489073 edges, 500800 markings/sec, 265 secs
lola: 119193948 markings, 213265676 edges, 413193 markings/sec, 270 secs
lola: 121616124 markings, 217626125 edges, 484435 markings/sec, 275 secs
lola: 124038404 markings, 221871352 edges, 484456 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4462220 KB
lola: time consumption: 2417 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Gluc)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gluc)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 400
lola: SUBRESULT
lola: result: 400
lola: produced by: state space
lola: The maximum value of the given expression is 400
lola: 2 markings, 1 edges

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-12 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 384 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GAP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 737 markings, 762 edges, 147 markings/sec, 25 secs
lola: 2463099 markings, 6894592 edges, 492472 markings/sec, 30 secs
lola: 4109662 markings, 13609893 edges, 329313 markings/sec, 35 secs
lola: 5719957 markings, 20279573 edges, 322059 markings/sec, 40 secs
lola: 7200096 markings, 27043968 edges, 296028 markings/sec, 45 secs
lola: 8648914 markings, 33681797 edges, 289764 markings/sec, 50 secs
lola: 10325604 markings, 40480133 edges, 335338 markings/sec, 55 secs
lola: 12207483 markings, 46982901 edges, 376376 markings/sec, 60 secs
lola: 13965035 markings, 53097313 edges, 351510 markings/sec, 65 secs
lola: 15710520 markings, 59142615 edges, 349097 markings/sec, 70 secs
lola: 17336273 markings, 64802358 edges, 325151 markings/sec, 75 secs
lola: 18968605 markings, 70464356 edges, 326466 markings/sec, 80 secs
lola: 20586610 markings, 76088533 edges, 323601 markings/sec, 85 secs
lola: 22135501 markings, 81486551 edges, 309778 markings/sec, 90 secs
lola: 23744552 markings, 87055397 edges, 321810 markings/sec, 95 secs
lola: 25285937 markings, 92422831 edges, 308277 markings/sec, 100 secs
lola: 26906733 markings, 98038320 edges, 324159 markings/sec, 105 secs
lola: 28419015 markings, 103299671 edges, 302456 markings/sec, 110 secs
lola: 29926608 markings, 108535567 edges, 301519 markings/sec, 115 secs
lola: 31450565 markings, 113824383 edges, 304791 markings/sec, 120 secs
lola: 32940545 markings, 119014982 edges, 297996 markings/sec, 125 secs
lola: 34475156 markings, 124326647 edges, 306922 markings/sec, 130 secs
lola: 35953571 markings, 129472594 edges, 295683 markings/sec, 135 secs
lola: 37451024 markings, 134661579 edges, 299491 markings/sec, 140 secs
lola: 38940052 markings, 139838566 edges, 297806 markings/sec, 145 secs
lola: 40425557 markings, 144999171 edges, 297101 markings/sec, 150 secs
lola: 41936085 markings, 150238750 edges, 302106 markings/sec, 155 secs
lola: 43405926 markings, 155359073 edges, 293968 markings/sec, 160 secs
lola: 44936237 markings, 160654474 edges, 306062 markings/sec, 165 secs
lola: 46441270 markings, 165893713 edges, 301007 markings/sec, 170 secs
lola: 47980673 markings, 171223078 edges, 307881 markings/sec, 175 secs
lola: 49500906 markings, 176514661 edges, 304047 markings/sec, 180 secs
lola: 51029157 markings, 181806908 edges, 305650 markings/sec, 185 secs
lola: 52514572 markings, 186974398 edges, 297083 markings/sec, 190 secs
lola: 54017172 markings, 192179117 edges, 300520 markings/sec, 195 secs
lola: 55487632 markings, 197293243 edges, 294092 markings/sec, 200 secs
lola: 56999742 markings, 202532202 edges, 302422 markings/sec, 205 secs
lola: 58481315 markings, 207683144 edges, 296315 markings/sec, 210 secs
lola: 59997022 markings, 212934774 edges, 303141 markings/sec, 215 secs
lola: 61464643 markings, 218037707 edges, 293524 markings/sec, 220 secs
lola: 62993524 markings, 223333558 edges, 305776 markings/sec, 225 secs
lola: 64506658 markings, 228595870 edges, 302627 markings/sec, 230 secs
lola: 66030469 markings, 233871774 edges, 304762 markings/sec, 235 secs
lola: 67507697 markings, 239011467 edges, 295446 markings/sec, 240 secs
lola: 69019155 markings, 244242003 edges, 302292 markings/sec, 245 secs
lola: 70490019 markings, 249361760 edges, 294173 markings/sec, 250 secs
lola: 72015880 markings, 254640585 edges, 305172 markings/sec, 255 secs
lola: 73496998 markings, 259781642 edges, 296224 markings/sec, 260 secs
lola: 74982494 markings, 264934662 edges, 297099 markings/sec, 265 secs
lola: 76497867 markings, 270184130 edges, 303075 markings/sec, 270 secs
lola: 78004754 markings, 275422709 edges, 301377 markings/sec, 275 secs
lola: 79491035 markings, 280565879 edges, 297256 markings/sec, 280 secs
lola: 80965475 markings, 285691061 edges, 294888 markings/sec, 285 secs
lola: 82488867 markings, 290967288 edges, 304678 markings/sec, 290 secs
lola: 83968543 markings, 296090682 edges, 295935 markings/sec, 295 secs
lola: 85425357 markings, 301155832 edges, 291363 markings/sec, 300 secs
lola: 86950584 markings, 306432408 edges, 305045 markings/sec, 305 secs
lola: 88449027 markings, 311622668 edges, 299689 markings/sec, 310 secs
lola: 89935706 markings, 316790260 edges, 297336 markings/sec, 315 secs
lola: 91459153 markings, 322060585 edges, 304689 markings/sec, 320 secs
lola: 92942943 markings, 327197486 edges, 296758 markings/sec, 325 secs
lola: 94441949 markings, 332405971 edges, 299801 markings/sec, 330 secs
lola: 95986188 markings, 337751404 edges, 308848 markings/sec, 335 secs
lola: 97549764 markings, 343163211 edges, 312715 markings/sec, 340 secs
lola: 99047205 markings, 348346703 edges, 299488 markings/sec, 345 secs
lola: 100532299 markings, 353493337 edges, 297019 markings/sec, 350 secs
lola: 102019472 markings, 358653271 edges, 297435 markings/sec, 355 secs
lola: 103548367 markings, 363941747 edges, 305779 markings/sec, 360 secs
lola: 105113160 markings, 369356705 edges, 312959 markings/sec, 365 secs
lola: 106616909 markings, 374560159 edges, 300750 markings/sec, 370 secs
lola: 108136597 markings, 379818514 edges, 303938 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown 400 unknown unknown unknown
lola: memory consumption: 3997344 KB
lola: time consumption: 2801 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 384 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GSH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GSH)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 2989901 markings, 5010422 edges, 597980 markings/sec, 30 secs
lola: 5316565 markings, 9151282 edges, 465333 markings/sec, 35 secs
lola: 8053227 markings, 13851377 edges, 547332 markings/sec, 40 secs
lola: 10608652 markings, 18306225 edges, 511085 markings/sec, 45 secs
lola: 12836088 markings, 22335799 edges, 445487 markings/sec, 50 secs
lola: 15053410 markings, 26228525 edges, 443464 markings/sec, 55 secs
lola: 17507750 markings, 30836886 edges, 490868 markings/sec, 60 secs
lola: 20024844 markings, 35179764 edges, 503419 markings/sec, 65 secs
lola: 22041200 markings, 38922677 edges, 403271 markings/sec, 70 secs
lola: 24501061 markings, 43254937 edges, 491972 markings/sec, 75 secs
lola: 26852628 markings, 47487909 edges, 470313 markings/sec, 80 secs
lola: 29214536 markings, 51729501 edges, 472382 markings/sec, 85 secs
lola: 31349244 markings, 55501774 edges, 426942 markings/sec, 90 secs
lola: 33760944 markings, 59996415 edges, 482340 markings/sec, 95 secs
lola: 36241662 markings, 64287122 edges, 496144 markings/sec, 100 secs
lola: 38318696 markings, 68138224 edges, 415407 markings/sec, 105 secs
lola: 40778600 markings, 72456150 edges, 491981 markings/sec, 110 secs
lola: 43126793 markings, 76715434 edges, 469639 markings/sec, 115 secs
lola: 45541852 markings, 81036644 edges, 483012 markings/sec, 120 secs
lola: 47809508 markings, 85026306 edges, 453531 markings/sec, 125 secs
lola: 50196036 markings, 89510436 edges, 477306 markings/sec, 130 secs
lola: 52645244 markings, 93732806 edges, 489842 markings/sec, 135 secs
lola: 54641420 markings, 97437756 edges, 399235 markings/sec, 140 secs
lola: 57062400 markings, 101696846 edges, 484196 markings/sec, 145 secs
lola: 59341343 markings, 105823469 edges, 455789 markings/sec, 150 secs
lola: 61646861 markings, 109939867 edges, 461104 markings/sec, 155 secs
lola: 63819508 markings, 113792972 edges, 434529 markings/sec, 160 secs
lola: 66262504 markings, 118340565 edges, 488599 markings/sec, 165 secs
lola: 68765964 markings, 122668072 edges, 500692 markings/sec, 170 secs
lola: 70879427 markings, 126582751 edges, 422693 markings/sec, 175 secs
lola: 73362232 markings, 130985974 edges, 496561 markings/sec, 180 secs
lola: 75739208 markings, 135214177 edges, 475395 markings/sec, 185 secs
lola: 78038128 markings, 139381744 edges, 459784 markings/sec, 190 secs
lola: 80357409 markings, 143442663 edges, 463856 markings/sec, 195 secs
lola: 82739392 markings, 147916062 edges, 476397 markings/sec, 200 secs
lola: 85223593 markings, 152226605 edges, 496840 markings/sec, 205 secs
lola: 87264676 markings, 155981495 edges, 408217 markings/sec, 210 secs
lola: 89774305 markings, 160461718 edges, 501926 markings/sec, 215 secs
lola: 92259012 markings, 164831969 edges, 496941 markings/sec, 220 secs
lola: 94423900 markings, 168809243 edges, 432978 markings/sec, 225 secs
lola: 96796442 markings, 172968714 edges, 474508 markings/sec, 230 secs
lola: 99125987 markings, 177270272 edges, 465909 markings/sec, 235 secs
lola: 101550872 markings, 181553631 edges, 484977 markings/sec, 240 secs
lola: 103759132 markings, 185497817 edges, 441652 markings/sec, 245 secs
lola: 106273996 markings, 190149932 edges, 502973 markings/sec, 250 secs
lola: 108726656 markings, 194392726 edges, 490532 markings/sec, 255 secs
lola: 110825316 markings, 198278085 edges, 419732 markings/sec, 260 secs
lola: 113240005 markings, 202549776 edges, 482938 markings/sec, 265 secs
lola: 115567284 markings, 206699319 edges, 465456 markings/sec, 270 secs
lola: 117783231 markings, 210709475 edges, 443189 markings/sec, 275 secs
lola: 120027340 markings, 214637194 edges, 448822 markings/sec, 280 secs
lola: 122402667 markings, 219115056 edges, 475065 markings/sec, 285 secs
lola: 124793624 markings, 223248627 edges, 478191 markings/sec, 290 secs
lola: 126848676 markings, 227039772 edges, 411010 markings/sec, 295 secs
lola: 129266823 markings, 231339770 edges, 483629 markings/sec, 300 secs
lola: 131733568 markings, 235680872 edges, 493349 markings/sec, 305 secs
lola: 133938628 markings, 239723619 edges, 441012 markings/sec, 310 secs
lola: 136378784 markings, 244011898 edges, 488031 markings/sec, 315 secs
lola: 138719960 markings, 248321288 edges, 468235 markings/sec, 320 secs
lola: 141172420 markings, 252671818 edges, 490492 markings/sec, 325 secs
lola: 143451169 markings, 256689191 edges, 455750 markings/sec, 330 secs
lola: 145894556 markings, 261278753 edges, 488677 markings/sec, 335 secs
lola: 148276584 markings, 265389741 edges, 476406 markings/sec, 340 secs
lola: 150270951 markings, 269079747 edges, 398873 markings/sec, 345 secs
lola: 152731932 markings, 273451281 edges, 492196 markings/sec, 350 secs
lola: 155202444 markings, 277801425 edges, 494102 markings/sec, 355 secs
lola: 157271604 markings, 281594694 edges, 413832 markings/sec, 360 secs
lola: 159528840 markings, 285549922 edges, 451447 markings/sec, 365 secs
lola: 161805192 markings, 289787214 edges, 455270 markings/sec, 370 secs
lola: 164145611 markings, 293871701 edges, 468084 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown 400 unknown unknown unknown
lola: memory consumption: 5916896 KB
lola: time consumption: 3185 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(F6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(F6P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 11491 markings, 23716 edges, 2298 markings/sec, 25 secs
lola: 1732395 markings, 6025330 edges, 344181 markings/sec, 30 secs
lola: 3395451 markings, 11971200 edges, 332611 markings/sec, 35 secs
lola: 4641450 markings, 17194141 edges, 249200 markings/sec, 40 secs
lola: 5689584 markings, 21764054 edges, 209627 markings/sec, 45 secs
lola: 6811170 markings, 26795069 edges, 224317 markings/sec, 50 secs
lola: 8478110 markings, 32711729 edges, 333388 markings/sec, 55 secs
lola: 10011747 markings, 38606281 edges, 306727 markings/sec, 60 secs
lola: 11271712 markings, 43799653 edges, 251993 markings/sec, 65 secs
lola: 12154225 markings, 47841549 edges, 176503 markings/sec, 70 secs
lola: 13124197 markings, 52287286 edges, 193994 markings/sec, 75 secs
lola: 14517576 markings, 57657632 edges, 278676 markings/sec, 80 secs
lola: 16169838 markings, 63500866 edges, 330452 markings/sec, 85 secs
lola: 17664353 markings, 69204868 edges, 298903 markings/sec, 90 secs
lola: 18935140 markings, 74635572 edges, 254157 markings/sec, 95 secs
lola: 19988809 markings, 79096947 edges, 210734 markings/sec, 100 secs
lola: 20866939 markings, 83077899 edges, 175626 markings/sec, 105 secs
lola: 21838547 markings, 87689296 edges, 194322 markings/sec, 110 secs
lola: 23597569 markings, 93618963 edges, 351804 markings/sec, 115 secs
lola: 25228682 markings, 99521907 edges, 326223 markings/sec, 120 secs
lola: 26675137 markings, 105051642 edges, 289291 markings/sec, 125 secs
lola: 27975999 markings, 110319150 edges, 260172 markings/sec, 130 secs
lola: 29201451 markings, 115608036 edges, 245090 markings/sec, 135 secs
lola: 30231854 markings, 119959613 edges, 206081 markings/sec, 140 secs
lola: 31072349 markings, 123787479 edges, 168099 markings/sec, 145 secs
lola: 32025137 markings, 128330538 edges, 190558 markings/sec, 150 secs
lola: 33715121 markings, 134082160 edges, 337997 markings/sec, 155 secs
lola: 35399316 markings, 139888212 edges, 336839 markings/sec, 160 secs
lola: 36926122 markings, 145633019 edges, 305361 markings/sec, 165 secs
lola: 38396156 markings, 151280077 edges, 294007 markings/sec, 170 secs
lola: 39614528 markings, 156321220 edges, 243674 markings/sec, 175 secs
lola: 40827560 markings, 161503709 edges, 242606 markings/sec, 180 secs
lola: 41934602 markings, 166163336 edges, 221408 markings/sec, 185 secs
lola: 42696562 markings, 169693811 edges, 152392 markings/sec, 190 secs
lola: 43604992 markings, 173803595 edges, 181686 markings/sec, 195 secs
lola: 44936760 markings, 178847278 edges, 266354 markings/sec, 200 secs
lola: 46632490 markings, 184569168 edges, 339146 markings/sec, 205 secs
lola: 48270536 markings, 190472156 edges, 327609 markings/sec, 210 secs
lola: 49730330 markings, 196015021 edges, 291959 markings/sec, 215 secs
lola: 51139417 markings, 201439738 edges, 281817 markings/sec, 220 secs
lola: 52489050 markings, 206789059 edges, 269927 markings/sec, 225 secs
lola: 53638092 markings, 211670819 edges, 229808 markings/sec, 230 secs
lola: 54826825 markings, 216870342 edges, 237747 markings/sec, 235 secs
lola: 55809266 markings, 221002341 edges, 196488 markings/sec, 240 secs
lola: 56573528 markings, 224479173 edges, 152852 markings/sec, 245 secs
lola: 57496536 markings, 228711808 edges, 184602 markings/sec, 250 secs
lola: 58939695 markings, 233894661 edges, 288632 markings/sec, 255 secs
lola: 60582804 markings, 239519198 edges, 328622 markings/sec, 260 secs
lola: 62206877 markings, 245244135 edges, 324815 markings/sec, 265 secs
lola: 63703692 markings, 250867846 edges, 299363 markings/sec, 270 secs
lola: 65128151 markings, 256324140 edges, 284892 markings/sec, 275 secs
lola: 66569454 markings, 261857938 edges, 288261 markings/sec, 280 secs
lola: 67866021 markings, 267197571 edges, 259313 markings/sec, 285 secs
lola: 68936855 markings, 271697690 edges, 214167 markings/sec, 290 secs
lola: 70026588 markings, 276438354 edges, 217947 markings/sec, 295 secs
lola: 71066720 markings, 280777327 edges, 208026 markings/sec, 300 secs
lola: 71744119 markings, 283872180 edges, 135480 markings/sec, 305 secs
lola: 72478373 markings, 287148732 edges, 146851 markings/sec, 310 secs
lola: 73363430 markings, 291465631 edges, 177011 markings/sec, 315 secs
lola: 75068970 markings, 296956745 edges, 341108 markings/sec, 320 secs
lola: 76691309 markings, 302463188 edges, 324468 markings/sec, 325 secs
lola: 78273432 markings, 308103222 edges, 316425 markings/sec, 330 secs
lola: 79788539 markings, 313727212 edges, 303021 markings/sec, 335 secs
lola: 81203665 markings, 319150687 edges, 283025 markings/sec, 340 secs
lola: 82579403 markings, 324495939 edges, 275148 markings/sec, 345 secs
lola: 83964107 markings, 329882782 edges, 276941 markings/sec, 350 secs
lola: 85134928 markings, 334858569 edges, 234164 markings/sec, 355 secs
lola: 86250781 markings, 339527558 edges, 223171 markings/sec, 360 secs
lola: 87370234 markings, 344467936 edges, 223891 markings/sec, 365 secs
lola: 88402802 markings, 348743156 edges, 206514 markings/sec, 370 secs
lola: 89097650 markings, 351917847 edges, 138970 markings/sec, 375 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown 400 unknown unknown unknown
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown 400 unknown unknown unknown
lola: memory consumption: 3207572 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown 300 700 unknown unknown unknown unknown unknown 400 unknown unknown unknown

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

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="GPPP-PT-C0100N0000001000"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is GPPP-PT-C0100N0000001000, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-csrt-155246565800136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C0100N0000001000.tgz
mv GPPP-PT-C0100N0000001000 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;