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)
...............
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 17 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 21K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is GPPP-PT-C1000N0000001000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998400352
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526758878776

info: Time: 3600 - MCC
===========================================================================================
prep: translating GPPP-PT-C1000N0000001000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GPPP-PT-C1000N0000001000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ GPPP-PT-C1000N0000001000 @ 3570 seconds
lola: LoLA will run for 3570 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-C1000N0000001000-UpperBounds.task
lola: MAX(_2PG) : MAX(ATP) : MAX(NADPH) : MAX(c2) : MAX(Ru5P) : MAX(PEP) : MAX(GSSG) : MAX(Pyr) : MAX(R5P) : MAX(GSSG) : MAX(ADP) : MAX(GSH) : MAX(FBP) : MAX(c1) : MAX(GSH) : MAX(a2)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_2PG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 122 markings, 121 edges, 24 markings/sec, 25 secs
lola: 3913207 markings, 8393434 edges, 782617 markings/sec, 30 secs
lola: 7634526 markings, 16421074 edges, 744264 markings/sec, 35 secs
lola: 11292590 markings, 24315786 edges, 731613 markings/sec, 40 secs
lola: 14844485 markings, 31983101 edges, 710379 markings/sec, 45 secs
lola: 18377555 markings, 39610816 edges, 706614 markings/sec, 50 secs
lola: 21888602 markings, 47191475 edges, 702209 markings/sec, 55 secs
lola: 25361758 markings, 54691191 edges, 694631 markings/sec, 60 secs
lola: 28810425 markings, 62138703 edges, 689733 markings/sec, 65 secs
lola: 32267545 markings, 69604148 edges, 691424 markings/sec, 70 secs
lola: 35695660 markings, 77008077 edges, 685623 markings/sec, 75 secs
lola: 39106977 markings, 84375542 edges, 682263 markings/sec, 80 secs
lola: 42516634 markings, 91739431 edges, 681931 markings/sec, 85 secs
lola: 45901309 markings, 99050181 edges, 676935 markings/sec, 90 secs
lola: 49277382 markings, 106341619 edges, 675215 markings/sec, 95 secs
lola: 52633004 markings, 113589945 edges, 671124 markings/sec, 100 secs
lola: 55984971 markings, 120829777 edges, 670393 markings/sec, 105 secs
lola: 59322309 markings, 128039302 edges, 667468 markings/sec, 110 secs
lola: 62673176 markings, 135276652 edges, 670173 markings/sec, 115 secs
lola: 66015836 markings, 142497746 edges, 668532 markings/sec, 120 secs
lola: 69352863 markings, 149706195 edges, 667405 markings/sec, 125 secs
lola: 72728674 markings, 156998233 edges, 675162 markings/sec, 130 secs
lola: 76131570 markings, 164349150 edges, 680579 markings/sec, 135 secs
lola: 79514928 markings, 171658245 edges, 676672 markings/sec, 140 secs
lola: 82902784 markings, 178976229 edges, 677571 markings/sec, 145 secs
lola: 86303698 markings, 186323252 edges, 680183 markings/sec, 150 secs
lola: 89667158 markings, 193588767 edges, 672692 markings/sec, 155 secs
lola: 92970388 markings, 200719002 edges, 660646 markings/sec, 160 secs
lola: 95609190 markings, 206437561 edges, 527760 markings/sec, 165 secs
lola: 98266817 markings, 212189631 edges, 531525 markings/sec, 170 secs
lola: 101109318 markings, 218337773 edges, 568500 markings/sec, 175 secs
lola: 103886165 markings, 224352763 edges, 555369 markings/sec, 180 secs
lola: 106767590 markings, 230585269 edges, 576285 markings/sec, 185 secs
lola: 109573473 markings, 236663342 edges, 561177 markings/sec, 190 secs
lola: 112525762 markings, 243046901 edges, 590458 markings/sec, 195 secs
lola: 115425015 markings, 249325495 edges, 579851 markings/sec, 200 secs
lola: 118273846 markings, 255495613 edges, 569766 markings/sec, 205 secs
lola: 121247014 markings, 261924914 edges, 594634 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: 4617604 KB
lola: time consumption: 308 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 217 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-C1000N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 4073522 markings, 8716453 edges, 814704 markings/sec, 30 secs
lola: 7899932 markings, 16940675 edges, 765282 markings/sec, 35 secs
lola: 11668714 markings, 25042610 edges, 753756 markings/sec, 40 secs
lola: 15403493 markings, 33072359 edges, 746956 markings/sec, 45 secs
lola: 19100862 markings, 41023061 edges, 739474 markings/sec, 50 secs
lola: 22729068 markings, 48825132 edges, 725641 markings/sec, 55 secs
lola: 26228048 markings, 56349143 edges, 699796 markings/sec, 60 secs
lola: 29790813 markings, 64010549 edges, 712553 markings/sec, 65 secs
lola: 33269863 markings, 71820942 edges, 695810 markings/sec, 70 secs
lola: 36009456 markings, 80438952 edges, 547919 markings/sec, 75 secs
lola: 38636309 markings, 88707091 edges, 525371 markings/sec, 80 secs
lola: 41223620 markings, 96852125 edges, 517462 markings/sec, 85 secs
lola: 43782185 markings, 104907737 edges, 511713 markings/sec, 90 secs
lola: 46316567 markings, 112887085 edges, 506876 markings/sec, 95 secs
lola: 48812649 markings, 120746946 edges, 499216 markings/sec, 100 secs
lola: 51306016 markings, 128598084 edges, 498673 markings/sec, 105 secs
lola: 53824288 markings, 136527737 edges, 503654 markings/sec, 110 secs
lola: 56304951 markings, 144338793 edges, 496133 markings/sec, 115 secs
lola: 58888439 markings, 152474262 edges, 516698 markings/sec, 120 secs
lola: 61471016 markings, 160607086 edges, 516515 markings/sec, 125 secs
lola: 64188853 markings, 169147590 edges, 543567 markings/sec, 130 secs
lola: 66886487 markings, 177636708 edges, 539527 markings/sec, 135 secs
lola: 69413976 markings, 185592774 edges, 505498 markings/sec, 140 secs
lola: 71961727 markings, 193613451 edges, 509550 markings/sec, 145 secs
lola: 74546833 markings, 201752716 edges, 517021 markings/sec, 150 secs
lola: 77113959 markings, 209835703 edges, 513425 markings/sec, 155 secs
lola: 79656432 markings, 217841231 edges, 508495 markings/sec, 160 secs
lola: 82190469 markings, 225820004 edges, 506807 markings/sec, 165 secs
lola: 84700586 markings, 233724556 edges, 502023 markings/sec, 170 secs
lola: 87132918 markings, 241383718 edges, 486466 markings/sec, 175 secs
lola: 89591229 markings, 249124824 edges, 491662 markings/sec, 180 secs
lola: 92053877 markings, 256880266 edges, 492530 markings/sec, 185 secs
lola: 94707170 markings, 265215510 edges, 530659 markings/sec, 190 secs
lola: 97308672 markings, 273402774 edges, 520300 markings/sec, 195 secs
lola: 99863519 markings, 281445350 edges, 510969 markings/sec, 200 secs
lola: 102373654 markings, 289347691 edges, 502027 markings/sec, 205 secs
lola: 104865558 markings, 297193429 edges, 498381 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: 3950328 KB
lola: time consumption: 525 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NADPH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NADPH)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5004119 markings, 7821184 edges, 1000824 markings/sec, 30 secs
lola: 9604568 markings, 15036615 edges, 920090 markings/sec, 35 secs
lola: 14431765 markings, 21917586 edges, 965439 markings/sec, 40 secs
lola: 18994461 markings, 28636481 edges, 912539 markings/sec, 45 secs
lola: 23350017 markings, 35204985 edges, 871111 markings/sec, 50 secs
lola: 27618161 markings, 41636101 edges, 853629 markings/sec, 55 secs
lola: 31296640 markings, 47315339 edges, 735696 markings/sec, 60 secs
lola: 35339793 markings, 53489314 edges, 808631 markings/sec, 65 secs
lola: 39183975 markings, 59443536 edges, 768836 markings/sec, 70 secs
lola: 42897824 markings, 65209536 edges, 742770 markings/sec, 75 secs
lola: 46830054 markings, 71191649 edges, 786446 markings/sec, 80 secs
lola: 50846771 markings, 77295136 edges, 803343 markings/sec, 85 secs
lola: 54788971 markings, 83427285 edges, 788440 markings/sec, 90 secs
lola: 59030917 markings, 89457286 edges, 848389 markings/sec, 95 secs
lola: 63173382 markings, 95312090 edges, 828493 markings/sec, 100 secs
lola: 67337300 markings, 101442906 edges, 832784 markings/sec, 105 secs
lola: 71131616 markings, 107122790 edges, 758863 markings/sec, 110 secs
lola: 74971000 markings, 113046255 edges, 767877 markings/sec, 115 secs
lola: 78609134 markings, 118720016 edges, 727627 markings/sec, 120 secs
lola: 82279606 markings, 124471874 edges, 734094 markings/sec, 125 secs
lola: 85779133 markings, 129982551 edges, 699905 markings/sec, 130 secs
lola: 89141704 markings, 135280339 edges, 672514 markings/sec, 135 secs
lola: 92747337 markings, 140915413 edges, 721127 markings/sec, 140 secs
lola: 96644902 markings, 146807244 edges, 779513 markings/sec, 145 secs
lola: 100652339 markings, 152801778 edges, 801487 markings/sec, 150 secs
lola: 104330369 markings, 158711975 edges, 735606 markings/sec, 155 secs
lola: 107388339 markings, 163659016 edges, 611594 markings/sec, 160 secs
lola: 110971672 markings, 169030704 edges, 716667 markings/sec, 165 secs
lola: 114844367 markings, 174579616 edges, 774539 markings/sec, 170 secs
lola: 118879899 markings, 180582967 edges, 807106 markings/sec, 175 secs
lola: 123376161 markings, 187159859 edges, 899252 markings/sec, 180 secs
lola: 127655152 markings, 193341208 edges, 855798 markings/sec, 185 secs
lola: 131655385 markings, 199334598 edges, 800047 markings/sec, 190 secs
lola: 135304058 markings, 204941044 edges, 729735 markings/sec, 195 secs
lola: 139117946 markings, 210794185 edges, 762778 markings/sec, 200 secs
lola: 142792281 markings, 216496867 edges, 734867 markings/sec, 205 secs
lola: 146052753 markings, 221593960 edges, 652094 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: 5310752 KB
lola: time consumption: 742 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 217 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-C1000N0000001000-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: 68 markings, 68 edges, 14 markings/sec, 25 secs
lola: 4118281 markings, 8937077 edges, 823643 markings/sec, 30 secs
lola: 7947198 markings, 17325738 edges, 765783 markings/sec, 35 secs
lola: 11713596 markings, 25585591 edges, 753280 markings/sec, 40 secs
lola: 15174623 markings, 33179578 edges, 692205 markings/sec, 45 secs
lola: 18863877 markings, 41277159 edges, 737851 markings/sec, 50 secs
lola: 22558513 markings, 49389196 edges, 738927 markings/sec, 55 secs
lola: 26256122 markings, 57508968 edges, 739522 markings/sec, 60 secs
lola: 29829288 markings, 65357497 edges, 714633 markings/sec, 65 secs
lola: 33386189 markings, 73171557 edges, 711380 markings/sec, 70 secs
lola: 37053890 markings, 81227864 edges, 733540 markings/sec, 75 secs
lola: 40680348 markings, 89196289 edges, 725292 markings/sec, 80 secs
lola: 44309056 markings, 97169526 edges, 725742 markings/sec, 85 secs
lola: 47921700 markings, 105107241 edges, 722529 markings/sec, 90 secs
lola: 51513464 markings, 113000432 edges, 718353 markings/sec, 95 secs
lola: 55129569 markings, 120947113 edges, 723221 markings/sec, 100 secs
lola: 58718807 markings, 128836140 edges, 717848 markings/sec, 105 secs
lola: 62320541 markings, 136752576 edges, 720347 markings/sec, 110 secs
lola: 65810633 markings, 144423088 edges, 698018 markings/sec, 115 secs
lola: 69279180 markings, 152047710 edges, 693709 markings/sec, 120 secs
lola: 72852303 markings, 159901218 edges, 714625 markings/sec, 125 secs
lola: 76389590 markings, 167676699 edges, 707457 markings/sec, 130 secs
lola: 79926544 markings, 175451716 edges, 707391 markings/sec, 135 secs
lola: 83447231 markings, 183192543 edges, 704137 markings/sec, 140 secs
lola: 86904875 markings, 190792770 edges, 691529 markings/sec, 145 secs
lola: 90416878 markings, 198514343 edges, 702401 markings/sec, 150 secs
lola: 93903381 markings, 206179716 edges, 697301 markings/sec, 155 secs
lola: 97401553 markings, 213870712 edges, 699634 markings/sec, 160 secs
lola: 100903682 markings, 221570360 edges, 700426 markings/sec, 165 secs
lola: 104424281 markings, 229310633 edges, 704120 markings/sec, 170 secs
lola: 107920382 markings, 236996886 edges, 699220 markings/sec, 175 secs
lola: 111421637 markings, 244696211 edges, 700251 markings/sec, 180 secs
lola: 114917019 markings, 252380782 edges, 699076 markings/sec, 185 secs
lola: 118385651 markings, 260008165 edges, 693726 markings/sec, 190 secs
lola: 121906163 markings, 267747963 edges, 704102 markings/sec, 195 secs
lola: 125388620 markings, 275405697 edges, 696491 markings/sec, 200 secs
lola: 128885930 markings, 283096102 edges, 699462 markings/sec, 205 secs
lola: 132373038 markings, 290763993 edges, 697422 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: 5065756 KB
lola: time consumption: 960 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Ru5P)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 3998
lola: SUBRESULT
lola: result: 3998
lola: produced by: state space
lola: The maximum value of the given expression is 3998
lola: 18994 markings, 18993 edges
spx_run: Lost feasibility 10 times - iter 31738 and 12827 nodes.
spx_run: Lost feasibility 10 times - iter 31946 and 12953 nodes.
spx_run: Lost feasibility 10 times - iter 53090 and 24847 nodes.
spx_run: Lost feasibility 10 times - iter 54052 and 25391 nodes.
spx_run: Lost feasibility 10 times - iter 175287 and 87107 nodes.
spx_run: Lost feasibility 10 times - iter 177503 and 88299 nodes.
spx_run: Lost feasibility 10 times - iter 248255 and 125967 nodes.
spx_run: Lost feasibility 10 times - iter 249413 and 126593 nodes.
spx_run: Lost feasibility 10 times - iter 336464 and 173497 nodes.
spx_run: Lost feasibility 10 times - iter 337908 and 174289 nodes.
spx_run: Lost feasibility 10 times - iter 408887 and 211673 nodes.
spx_run: Lost feasibility 10 times - iter 409982 and 212269 nodes.
spx_run: Lost feasibility 10 times - iter 494541 and 258205 nodes.
spx_run: Lost feasibility 10 times - iter 495846 and 258965 nodes.
check_solution: Constraint R1 = 6.93344773853e-310 is below its lower bound 1
check_solution: Constraint R3 = 0 is above its equality of -1000
check_solution: Constraint R6 = 0 is above its equality of -4000
check_solution: Constraint R9 = 0 is above its equality of -2000
check_solution: Constraint R11 = 0 is above its equality of -3000
check_solution: Constraint R12 = 0 is above its equality of -2000
check_solution: Constraint R13 = 0 is above its equality of -7000
check_solution: Constraint R23 = 0 is above its equality of -1
check_solution: Constraint R25 = 0 is above its equality of -2000

Seriously low accuracy found ||*|| = 7000 (rel. error 1)

FORMULA GPPP-PT-C1000N0000001000-UpperBounds-4 3998 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 237 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-C1000N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 3951133 markings, 8472037 edges, 790227 markings/sec, 30 secs
lola: 7689270 markings, 16529521 edges, 747627 markings/sec, 35 secs
lola: 11397438 markings, 24525139 edges, 741634 markings/sec, 40 secs
lola: 15007989 markings, 32311500 edges, 722110 markings/sec, 45 secs
lola: 18635847 markings, 40136750 edges, 725572 markings/sec, 50 secs
lola: 22290173 markings, 48019201 edges, 730865 markings/sec, 55 secs
lola: 25911101 markings, 55829748 edges, 724186 markings/sec, 60 secs
lola: 29494615 markings, 63560260 edges, 716703 markings/sec, 65 secs
lola: 33066912 markings, 71267164 edges, 714459 markings/sec, 70 secs
lola: 36596550 markings, 78881810 edges, 705928 markings/sec, 75 secs
lola: 40085012 markings, 86408562 edges, 697692 markings/sec, 80 secs
lola: 43588993 markings, 93968669 edges, 700796 markings/sec, 85 secs
lola: 47081908 markings, 101504631 edges, 698583 markings/sec, 90 secs
lola: 50557888 markings, 109004508 edges, 695196 markings/sec, 95 secs
lola: 54036309 markings, 116509395 edges, 695684 markings/sec, 100 secs
lola: 57506096 markings, 123996430 edges, 693957 markings/sec, 105 secs
lola: 60958041 markings, 131445072 edges, 690389 markings/sec, 110 secs
lola: 64117426 markings, 138266627 edges, 631877 markings/sec, 115 secs
lola: 66969930 markings, 144437464 edges, 570501 markings/sec, 120 secs
lola: 69774328 markings, 150512436 edges, 560880 markings/sec, 125 secs
lola: 72790766 markings, 157035580 edges, 603288 markings/sec, 130 secs
lola: 75881532 markings, 163728499 edges, 618153 markings/sec, 135 secs
lola: 78907208 markings, 170281553 edges, 605135 markings/sec, 140 secs
lola: 82080620 markings, 177143109 edges, 634682 markings/sec, 145 secs
lola: 85284016 markings, 184078893 edges, 640679 markings/sec, 150 secs
lola: 88417819 markings, 190866193 edges, 626761 markings/sec, 155 secs
lola: 91537074 markings, 197621287 edges, 623851 markings/sec, 160 secs
lola: 94835135 markings, 204750244 edges, 659612 markings/sec, 165 secs
lola: 98085397 markings, 211787336 edges, 650052 markings/sec, 170 secs
lola: 101281874 markings, 218709440 edges, 639295 markings/sec, 175 secs
lola: 104446212 markings, 225562539 edges, 632868 markings/sec, 180 secs
lola: 107594600 markings, 232381310 edges, 629678 markings/sec, 185 secs
lola: 110998409 markings, 239735933 edges, 680762 markings/sec, 190 secs
lola: 114271821 markings, 246823068 edges, 654682 markings/sec, 195 secs
lola: 117492507 markings, 253797704 edges, 644137 markings/sec, 200 secs
lola: 120696361 markings, 260735852 edges, 640771 markings/sec, 205 secs
lola: 123878528 markings, 267627679 edges, 636433 markings/sec, 210 secs
lola: 127215970 markings, 274840021 edges, 667488 markings/sec, 215 secs
lola: 130581108 markings, 282123490 edges, 673028 markings/sec, 220 secs
lola: 133889308 markings, 289286317 edges, 661640 markings/sec, 225 secs
lola: 137148765 markings, 296344253 edges, 651891 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5152848 KB
lola: time consumption: 1197 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 237 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-C1000N0000001000-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: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C1000N0000001000-UpperBounds-6 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pyr)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pyr)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 299 markings, 299 edges, 60 markings/sec, 25 secs
lola: 3809522 markings, 8148915 edges, 761845 markings/sec, 30 secs
lola: 7244842 markings, 15532167 edges, 687064 markings/sec, 35 secs
lola: 10796658 markings, 23167958 edges, 710363 markings/sec, 40 secs
lola: 14390242 markings, 30893834 edges, 718717 markings/sec, 45 secs
lola: 17919098 markings, 38481991 edges, 705771 markings/sec, 50 secs
lola: 21495226 markings, 46171233 edges, 715226 markings/sec, 55 secs
lola: 25164064 markings, 54060824 edges, 733768 markings/sec, 60 secs
lola: 28803831 markings, 61888140 edges, 727953 markings/sec, 65 secs
lola: 32433848 markings, 69694826 edges, 726003 markings/sec, 70 secs
lola: 35211489 markings, 77927917 edges, 555528 markings/sec, 75 secs
lola: 37792852 markings, 86052258 edges, 516273 markings/sec, 80 secs
lola: 40395796 markings, 94245882 edges, 520589 markings/sec, 85 secs
lola: 42936410 markings, 102244906 edges, 508123 markings/sec, 90 secs
lola: 45427837 markings, 110089136 edges, 498285 markings/sec, 95 secs
lola: 48025495 markings, 118268204 edges, 519532 markings/sec, 100 secs
lola: 50610843 markings, 126408803 edges, 517070 markings/sec, 105 secs
lola: 53127046 markings, 134332152 edges, 503241 markings/sec, 110 secs
lola: 55575309 markings, 142040910 edges, 489653 markings/sec, 115 secs
lola: 58146303 markings, 150136888 edges, 514199 markings/sec, 120 secs
lola: 60649684 markings, 158020525 edges, 500676 markings/sec, 125 secs
lola: 63382589 markings, 165803979 edges, 546581 markings/sec, 130 secs
lola: 68256608 markings, 173741493 edges, 974804 markings/sec, 135 secs
lola: 73185100 markings, 181770887 edges, 985698 markings/sec, 140 secs
lola: 78120484 markings, 189812321 edges, 987077 markings/sec, 145 secs
lola: 82984035 markings, 197737440 edges, 972710 markings/sec, 150 secs
lola: 87773641 markings, 205542361 edges, 957921 markings/sec, 155 secs
lola: 92530751 markings, 213294344 edges, 951422 markings/sec, 160 secs
lola: 97075590 markings, 220700753 edges, 908968 markings/sec, 165 secs
lola: 101587367 markings, 228053016 edges, 902355 markings/sec, 170 secs
lola: 106037520 markings, 235305443 edges, 890031 markings/sec, 175 secs
lola: 110633995 markings, 242796081 edges, 919295 markings/sec, 180 secs
lola: 114992211 markings, 249898713 edges, 871643 markings/sec, 185 secs
lola: 119453620 markings, 257169270 edges, 892282 markings/sec, 190 secs
lola: 124099735 markings, 264740885 edges, 929223 markings/sec, 195 secs
lola: 128728461 markings, 272284911 edges, 925745 markings/sec, 200 secs
lola: 133341030 markings, 279802017 edges, 922514 markings/sec, 205 secs
lola: 137858844 markings, 287164591 edges, 903563 markings/sec, 210 secs
lola: 142144586 markings, 294149198 edges, 857148 markings/sec, 215 secs
lola: 146641875 markings, 301478931 edges, 899458 markings/sec, 220 secs
lola: 151205783 markings, 308917072 edges, 912782 markings/sec, 225 secs
lola: 155765165 markings, 316347424 edges, 911876 markings/sec, 230 secs
lola: 160304831 markings, 323746033 edges, 907933 markings/sec, 235 secs
lola: 164722376 markings, 330945696 edges, 883509 markings/sec, 240 secs
lola: 169166032 markings, 338187683 edges, 888731 markings/sec, 245 secs
lola: 172950525 markings, 344355789 edges, 756899 markings/sec, 250 secs
lola: 177346138 markings, 351520235 edges, 879123 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown 1000 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6651208 KB
lola: time consumption: 1461 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(R5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(R5P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 9018 markings, 9017 edges

FORMULA GPPP-PT-C1000N0000001000-UpperBounds-8 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 301 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-C1000N0000001000-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: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C1000N0000001000-UpperBounds-9 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ADP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ADP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 11000
lola: SUBRESULT
lola: result: 11000
lola: produced by: state space
lola: The maximum value of the given expression is 11000
lola: 4002 markings, 4001 edges

FORMULA GPPP-PT-C1000N0000001000-UpperBounds-10 11000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 421 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-C1000N0000001000-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: 601 markings, 601 edges, 120 markings/sec, 25 secs
lola: 4942079 markings, 7726128 edges, 988296 markings/sec, 30 secs
lola: 9534466 markings, 14934728 edges, 918477 markings/sec, 35 secs
lola: 14328193 markings, 21773014 edges, 958745 markings/sec, 40 secs
lola: 18774370 markings, 28308925 edges, 889235 markings/sec, 45 secs
lola: 22852807 markings, 34463845 edges, 815687 markings/sec, 50 secs
lola: 26974470 markings, 40670747 edges, 824333 markings/sec, 55 secs
lola: 30762758 markings, 46480351 edges, 757658 markings/sec, 60 secs
lola: 34695441 markings, 52473690 edges, 786537 markings/sec, 65 secs
lola: 38311025 markings, 58128108 edges, 723117 markings/sec, 70 secs
lola: 42130224 markings, 64016646 edges, 763840 markings/sec, 75 secs
lola: 45708726 markings, 69546395 edges, 715700 markings/sec, 80 secs
lola: 49774077 markings, 75641308 edges, 813070 markings/sec, 85 secs
lola: 53584556 markings, 81466461 edges, 762096 markings/sec, 90 secs
lola: 57659042 markings, 87519849 edges, 814897 markings/sec, 95 secs
lola: 61892676 markings, 93511768 edges, 846727 markings/sec, 100 secs
lola: 66231830 markings, 99678076 edges, 867831 markings/sec, 105 secs
lola: 69888039 markings, 105251642 edges, 731242 markings/sec, 110 secs
lola: 73740551 markings, 111097803 edges, 770502 markings/sec, 115 secs
lola: 77420741 markings, 116848455 edges, 736038 markings/sec, 120 secs
lola: 81111447 markings, 122642367 edges, 738141 markings/sec, 125 secs
lola: 84681639 markings, 128232900 edges, 714038 markings/sec, 130 secs
lola: 88017483 markings, 133489820 edges, 667169 markings/sec, 135 secs
lola: 91207126 markings, 138633673 edges, 637929 markings/sec, 140 secs
lola: 94965987 markings, 144236629 edges, 751772 markings/sec, 145 secs
lola: 98588311 markings, 149777656 edges, 724465 markings/sec, 150 secs
lola: 102434385 markings, 155568207 edges, 769215 markings/sec, 155 secs
lola: 105547175 markings, 160822286 edges, 622558 markings/sec, 160 secs
lola: 108586781 markings, 165492209 edges, 607921 markings/sec, 165 secs
lola: 112202112 markings, 170792884 edges, 723066 markings/sec, 170 secs
lola: 116153518 markings, 176430223 edges, 790281 markings/sec, 175 secs
lola: 119973117 markings, 182194437 edges, 763920 markings/sec, 180 secs
lola: 124543767 markings, 188915376 edges, 914130 markings/sec, 185 secs
lola: 128486403 markings, 194553305 edges, 788527 markings/sec, 190 secs
lola: 132290433 markings, 200317131 edges, 760806 markings/sec, 195 secs
lola: 135798164 markings, 205700704 edges, 701546 markings/sec, 200 secs
lola: 139378125 markings, 211184189 edges, 715992 markings/sec, 205 secs
lola: 142733590 markings, 216404505 edges, 671093 markings/sec, 210 secs
lola: 145816152 markings, 221237063 edges, 616512 markings/sec, 215 secs
lola: 149205111 markings, 226514551 edges, 677792 markings/sec, 220 secs
lola: 152372587 markings, 231536895 edges, 633495 markings/sec, 225 secs
lola: 155619040 markings, 236602915 edges, 649291 markings/sec, 230 secs
lola: 158684885 markings, 241434437 edges, 613169 markings/sec, 235 secs
lola: 161869396 markings, 246428726 edges, 636902 markings/sec, 240 secs
lola: 165190602 markings, 251589377 edges, 664241 markings/sec, 245 secs
lola: 168357653 markings, 256578924 edges, 633410 markings/sec, 250 secs
lola: 171510215 markings, 261689035 edges, 630512 markings/sec, 255 secs
lola: 175238980 markings, 267233767 edges, 745753 markings/sec, 260 secs
lola: 179020176 markings, 272610397 edges, 756239 markings/sec, 265 secs
lola: 182806285 markings, 277988020 edges, 757222 markings/sec, 270 secs
lola: 186791590 markings, 283730027 edges, 797061 markings/sec, 275 secs
lola: 190139290 markings, 289050397 edges, 669540 markings/sec, 280 secs
lola: 193703018 markings, 294417342 edges, 712746 markings/sec, 285 secs
lola: 197066992 markings, 299937194 edges, 672795 markings/sec, 290 secs
lola: 200319725 markings, 305128762 edges, 650547 markings/sec, 295 secs
lola: 203763070 markings, 310597008 edges, 688669 markings/sec, 300 secs
lola: 206988610 markings, 315763721 edges, 645108 markings/sec, 305 secs
lola: 210088399 markings, 320724028 edges, 619958 markings/sec, 310 secs
lola: 213234799 markings, 325758538 edges, 629280 markings/sec, 315 secs
lola: 216470273 markings, 331066678 edges, 647095 markings/sec, 320 secs
lola: 219713997 markings, 336089229 edges, 648745 markings/sec, 325 secs
lola: 223098558 markings, 341479479 edges, 676912 markings/sec, 330 secs
lola: 226603343 markings, 346512059 edges, 700957 markings/sec, 335 secs
lola: 230206386 markings, 351682329 edges, 720609 markings/sec, 340 secs
lola: 233188840 markings, 356093743 edges, 596491 markings/sec, 345 secs
lola: 237257480 markings, 361913452 edges, 813728 markings/sec, 350 secs
lola: 241393434 markings, 367927356 edges, 827191 markings/sec, 355 secs
lola: 245063178 markings, 373411098 edges, 733949 markings/sec, 360 secs
lola: 248445775 markings, 378617331 edges, 676519 markings/sec, 365 secs
lola: 251919470 markings, 383929679 edges, 694739 markings/sec, 370 secs
lola: 255037323 markings, 388728830 edges, 623571 markings/sec, 375 secs
lola: 258471777 markings, 394099125 edges, 686891 markings/sec, 380 secs
lola: 261557838 markings, 398908621 edges, 617212 markings/sec, 385 secs
lola: 264674749 markings, 403804226 edges, 623382 markings/sec, 390 secs
lola: 267665413 markings, 408581745 edges, 598133 markings/sec, 395 secs
lola: 270858342 markings, 413496813 edges, 638586 markings/sec, 400 secs
lola: 273861315 markings, 418289490 edges, 600595 markings/sec, 405 secs
lola: 276950010 markings, 423077473 edges, 617739 markings/sec, 410 secs
lola: 279999224 markings, 427918729 edges, 609843 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown 1000 unknown 2 1000 11000 unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 421 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-C1000N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 3868422 markings, 8390951 edges, 773684 markings/sec, 30 secs
lola: 7542068 markings, 16439040 edges, 734729 markings/sec, 35 secs
lola: 11057623 markings, 24147995 edges, 703111 markings/sec, 40 secs
lola: 14637405 markings, 32002004 edges, 715956 markings/sec, 45 secs
lola: 18021838 markings, 39429601 edges, 676887 markings/sec, 50 secs
lola: 21325131 markings, 46683422 edges, 660659 markings/sec, 55 secs
lola: 24840690 markings, 54402037 edges, 703112 markings/sec, 60 secs
lola: 28172010 markings, 61717923 edges, 666264 markings/sec, 65 secs
lola: 31536990 markings, 69109582 edges, 672996 markings/sec, 70 secs
lola: 34805467 markings, 76290157 edges, 653695 markings/sec, 75 secs
lola: 38263649 markings, 83885897 edges, 691636 markings/sec, 80 secs
lola: 41720375 markings, 91482883 edges, 691345 markings/sec, 85 secs
lola: 45182792 markings, 99089247 edges, 692483 markings/sec, 90 secs
lola: 48527580 markings, 106441003 edges, 668958 markings/sec, 95 secs
lola: 51908839 markings, 113870001 edges, 676252 markings/sec, 100 secs
lola: 55382259 markings, 121504514 edges, 694684 markings/sec, 105 secs
lola: 58720245 markings, 128839955 edges, 667597 markings/sec, 110 secs
lola: 62003855 markings, 136057952 edges, 656722 markings/sec, 115 secs
lola: 65230063 markings, 143149030 edges, 645242 markings/sec, 120 secs
lola: 68513685 markings, 150366394 edges, 656724 markings/sec, 125 secs
lola: 71860484 markings, 157722727 edges, 669360 markings/sec, 130 secs
lola: 75140940 markings, 164932424 edges, 656091 markings/sec, 135 secs
lola: 78231089 markings, 171725235 edges, 618030 markings/sec, 140 secs
lola: 81661019 markings, 179267069 edges, 685986 markings/sec, 145 secs
lola: 85035173 markings, 186682474 edges, 674831 markings/sec, 150 secs
lola: 88358868 markings, 193989485 edges, 664739 markings/sec, 155 secs
lola: 91546698 markings, 200999884 edges, 637566 markings/sec, 160 secs
lola: 94956061 markings, 208495337 edges, 681873 markings/sec, 165 secs
lola: 98214728 markings, 215658225 edges, 651733 markings/sec, 170 secs
lola: 101187224 markings, 222193135 edges, 594499 markings/sec, 175 secs
lola: 104443320 markings, 229353258 edges, 651219 markings/sec, 180 secs
lola: 107599564 markings, 236292993 edges, 631249 markings/sec, 185 secs
lola: 110998037 markings, 243763260 edges, 679695 markings/sec, 190 secs
lola: 114387621 markings, 251217153 edges, 677917 markings/sec, 195 secs
lola: 117781065 markings, 258679367 edges, 678689 markings/sec, 200 secs
lola: 121190565 markings, 266176792 edges, 681900 markings/sec, 205 secs
lola: 124572284 markings, 273612776 edges, 676344 markings/sec, 210 secs
lola: 127946976 markings, 281033079 edges, 674938 markings/sec, 215 secs
lola: 131350479 markings, 288516714 edges, 680701 markings/sec, 220 secs
lola: 134735860 markings, 295960204 edges, 677076 markings/sec, 225 secs
lola: 138124557 markings, 303410824 edges, 677739 markings/sec, 230 secs
lola: 141479654 markings, 310790882 edges, 671019 markings/sec, 235 secs
lola: 144837896 markings, 318173997 edges, 671648 markings/sec, 240 secs
lola: 148218142 markings, 325609224 edges, 676049 markings/sec, 245 secs
lola: 151580371 markings, 333000780 edges, 672446 markings/sec, 250 secs
lola: 154950756 markings, 340413981 edges, 674077 markings/sec, 255 secs
lola: 158335638 markings, 347855151 edges, 676976 markings/sec, 260 secs
lola: 161685935 markings, 355223759 edges, 670059 markings/sec, 265 secs
lola: 165043390 markings, 362608023 edges, 671491 markings/sec, 270 secs
lola: 168407417 markings, 370006655 edges, 672805 markings/sec, 275 secs
lola: 171758430 markings, 377376457 edges, 670203 markings/sec, 280 secs
lola: 175112769 markings, 384753458 edges, 670868 markings/sec, 285 secs
lola: 178426187 markings, 392040088 edges, 662684 markings/sec, 290 secs
lola: 181788412 markings, 399434222 edges, 672445 markings/sec, 295 secs
lola: 185128283 markings, 406778931 edges, 667974 markings/sec, 300 secs
lola: 188459969 markings, 414105455 edges, 666337 markings/sec, 305 secs
lola: 191827381 markings, 421510634 edges, 673482 markings/sec, 310 secs
lola: 195170016 markings, 428861040 edges, 668527 markings/sec, 315 secs
lola: 198498329 markings, 436183918 edges, 665663 markings/sec, 320 secs
lola: 201861425 markings, 443579214 edges, 672619 markings/sec, 325 secs
lola: 205191653 markings, 450901898 edges, 666046 markings/sec, 330 secs
lola: 208522387 markings, 458229827 edges, 666147 markings/sec, 335 secs
lola: 211854465 markings, 465556349 edges, 666416 markings/sec, 340 secs
lola: 215200802 markings, 472918497 edges, 669267 markings/sec, 345 secs
lola: 218533313 markings, 480245739 edges, 666502 markings/sec, 350 secs
lola: 221849845 markings, 487541964 edges, 663306 markings/sec, 355 secs
lola: 225206186 markings, 494921530 edges, 671268 markings/sec, 360 secs
lola: 228520702 markings, 502213125 edges, 662903 markings/sec, 365 secs
lola: 231839618 markings, 509514336 edges, 663783 markings/sec, 370 secs
lola: 235152799 markings, 516799118 edges, 662636 markings/sec, 375 secs
lola: 238402817 markings, 523947475 edges, 650004 markings/sec, 380 secs
lola: 241661345 markings, 531115254 edges, 651706 markings/sec, 385 secs
lola: 244978091 markings, 538411325 edges, 663349 markings/sec, 390 secs
lola: 248276947 markings, 545667869 edges, 659771 markings/sec, 395 secs
lola: 251624349 markings, 553031373 edges, 669480 markings/sec, 400 secs
lola: 254839149 markings, 560102385 edges, 642960 markings/sec, 405 secs
lola: 257855755 markings, 566736261 edges, 603321 markings/sec, 410 secs
lola: 260935491 markings, 573509260 edges, 615947 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown 1000 unknown 2 1000 11000 unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 7000
lola: SUBRESULT
lola: result: 7000
lola: produced by: state space
lola: The maximum value of the given expression is 7000
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C1000N0000001000-UpperBounds-13 7000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 633 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-C1000N0000001000-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: 644 markings, 644 edges, 129 markings/sec, 25 secs
lola: 4789548 markings, 7501327 edges, 957781 markings/sec, 30 secs
lola: 9113987 markings, 14297554 edges, 864888 markings/sec, 35 secs
lola: 13530136 markings, 20657158 edges, 883230 markings/sec, 40 secs
lola: 17555253 markings, 26501584 edges, 805023 markings/sec, 45 secs
lola: 21387143 markings, 32264768 edges, 766378 markings/sec, 50 secs
lola: 25267677 markings, 38099782 edges, 776107 markings/sec, 55 secs
lola: 29032142 markings, 43811650 edges, 752893 markings/sec, 60 secs
lola: 32229851 markings, 48750756 edges, 639542 markings/sec, 65 secs
lola: 35886981 markings, 54353358 edges, 731426 markings/sec, 70 secs
lola: 39299779 markings, 59615245 edges, 682560 markings/sec, 75 secs
lola: 42702990 markings, 64903564 edges, 680642 markings/sec, 80 secs
lola: 46059716 markings, 70082525 edges, 671345 markings/sec, 85 secs
lola: 49839777 markings, 75735155 edges, 756012 markings/sec, 90 secs
lola: 53426785 markings, 81189390 edges, 717402 markings/sec, 95 secs
lola: 57338266 markings, 87049903 edges, 782296 markings/sec, 100 secs
lola: 61559244 markings, 93041553 edges, 844196 markings/sec, 105 secs
lola: 65892313 markings, 99168783 edges, 866614 markings/sec, 110 secs
lola: 69682299 markings, 104932751 edges, 757997 markings/sec, 115 secs
lola: 73377830 markings, 110480059 edges, 739106 markings/sec, 120 secs
lola: 77037449 markings, 116249908 edges, 731924 markings/sec, 125 secs
lola: 80558679 markings, 121747997 edges, 704246 markings/sec, 130 secs
lola: 84087254 markings, 127279655 edges, 705715 markings/sec, 135 secs
lola: 87376358 markings, 132463427 edges, 657821 markings/sec, 140 secs
lola: 90670653 markings, 137725553 edges, 658859 markings/sec, 145 secs
lola: 94360620 markings, 143317182 edges, 737993 markings/sec, 150 secs
lola: 98004902 markings, 148918895 edges, 728856 markings/sec, 155 secs
lola: 101792521 markings, 154525994 edges, 757524 markings/sec, 160 secs
lola: 105132797 markings, 160041161 edges, 668055 markings/sec, 165 secs
lola: 107957402 markings, 164564063 edges, 564921 markings/sec, 170 secs
lola: 111593626 markings, 169933364 edges, 727245 markings/sec, 175 secs
lola: 115576280 markings, 175610828 edges, 796531 markings/sec, 180 secs
lola: 119280106 markings, 181151752 edges, 740765 markings/sec, 185 secs
lola: 123513621 markings, 187364048 edges, 846703 markings/sec, 190 secs
lola: 127284665 markings, 192804682 edges, 754209 markings/sec, 195 secs
lola: 130751734 markings, 197953171 edges, 693414 markings/sec, 200 secs
lola: 134139774 markings, 203149686 edges, 677608 markings/sec, 205 secs
lola: 137615529 markings, 208476412 edges, 695151 markings/sec, 210 secs
lola: 141068590 markings, 213788291 edges, 690612 markings/sec, 215 secs
lola: 144014406 markings, 218423666 edges, 589163 markings/sec, 220 secs
lola: 147186941 markings, 223333188 edges, 634507 markings/sec, 225 secs
lola: 150255030 markings, 228212882 edges, 613618 markings/sec, 230 secs
lola: 153526905 markings, 233300478 edges, 654375 markings/sec, 235 secs
lola: 156612246 markings, 238203014 edges, 617068 markings/sec, 240 secs
lola: 159533826 markings, 242744764 edges, 584316 markings/sec, 245 secs
lola: 162652686 markings, 247648957 edges, 623772 markings/sec, 250 secs
lola: 165788692 markings, 252512150 edges, 627201 markings/sec, 255 secs
lola: 168850122 markings, 257389032 edges, 612286 markings/sec, 260 secs
lola: 171910090 markings, 262394365 edges, 611994 markings/sec, 265 secs
lola: 175723958 markings, 267930549 edges, 762774 markings/sec, 270 secs
lola: 179559817 markings, 273370894 edges, 767172 markings/sec, 275 secs
lola: 183363891 markings, 278774953 edges, 760815 markings/sec, 280 secs
lola: 187342679 markings, 284710172 edges, 795758 markings/sec, 285 secs
lola: 190748422 markings, 289954763 edges, 681149 markings/sec, 290 secs
lola: 194308912 markings, 295460455 edges, 712098 markings/sec, 295 secs
lola: 197571073 markings, 300768261 edges, 652432 markings/sec, 300 secs
lola: 200905432 markings, 305972879 edges, 666872 markings/sec, 305 secs
lola: 204220330 markings, 311305631 edges, 662980 markings/sec, 310 secs
lola: 207344953 markings, 316349988 edges, 624925 markings/sec, 315 secs
lola: 210446179 markings, 321316328 edges, 620245 markings/sec, 320 secs
lola: 213572113 markings, 326302376 edges, 625187 markings/sec, 325 secs
lola: 216730711 markings, 331486123 edges, 631720 markings/sec, 330 secs
lola: 219940518 markings, 336410344 edges, 641961 markings/sec, 335 secs
lola: 223230017 markings, 341667392 edges, 657900 markings/sec, 340 secs
lola: 226807936 markings, 346822436 edges, 715584 markings/sec, 345 secs
lola: 230495516 markings, 352113610 edges, 737516 markings/sec, 350 secs
lola: 234012016 markings, 357298843 edges, 703300 markings/sec, 355 secs
lola: 238334964 markings, 363577372 edges, 864590 markings/sec, 360 secs
lola: 242136293 markings, 369033602 edges, 760266 markings/sec, 365 secs
lola: 245614092 markings, 374252108 edges, 695560 markings/sec, 370 secs
lola: 248874193 markings, 379262043 edges, 652020 markings/sec, 375 secs
lola: 252245273 markings, 384418379 edges, 674216 markings/sec, 380 secs
lola: 255570861 markings, 389545806 edges, 665118 markings/sec, 385 secs
lola: 258700539 markings, 394450234 edges, 625936 markings/sec, 390 secs
lola: 261739191 markings, 399180651 edges, 607730 markings/sec, 395 secs
lola: 264782288 markings, 403987326 edges, 608619 markings/sec, 400 secs
lola: 267758988 markings, 408719317 edges, 595340 markings/sec, 405 secs
lola: 271005744 markings, 413730203 edges, 649351 markings/sec, 410 secs
lola: 273967223 markings, 418462667 edges, 592296 markings/sec, 415 secs
lola: 276849105 markings, 422930070 edges, 576376 markings/sec, 420 secs
lola: 279829266 markings, 427652109 edges, 596032 markings/sec, 425 secs
lola: 282815957 markings, 432364737 edges, 597338 markings/sec, 430 secs
lola: 285655432 markings, 436782919 edges, 567895 markings/sec, 435 secs
lola: 288753847 markings, 441466778 edges, 619683 markings/sec, 440 secs
lola: 292348186 markings, 446827369 edges, 718868 markings/sec, 445 secs
lola: 296005432 markings, 452028330 edges, 731449 markings/sec, 450 secs
lola: 299698018 markings, 457279448 edges, 738517 markings/sec, 455 secs
lola: 303530558 markings, 462762356 edges, 766508 markings/sec, 460 secs
lola: 307406811 markings, 468865156 edges, 775251 markings/sec, 465 secs
lola: 310872199 markings, 474140567 edges, 693078 markings/sec, 470 secs
lola: 314681558 markings, 480005518 edges, 761872 markings/sec, 475 secs
lola: 317897809 markings, 485342473 edges, 643250 markings/sec, 480 secs
lola: 321503182 markings, 490992221 edges, 721075 markings/sec, 485 secs
lola: 324762429 markings, 496244913 edges, 651849 markings/sec, 490 secs
lola: 327894882 markings, 501338189 edges, 626491 markings/sec, 495 secs
lola: 331356905 markings, 506806247 edges, 692405 markings/sec, 500 secs
lola: 334433778 markings, 511878285 edges, 615375 markings/sec, 505 secs
lola: 337846333 markings, 517349971 edges, 682511 markings/sec, 510 secs
lola: 340892118 markings, 522338934 edges, 609157 markings/sec, 515 secs
lola: 344383391 markings, 527650348 edges, 698255 markings/sec, 520 secs
lola: 347915727 markings, 532725095 edges, 706467 markings/sec, 525 secs
lola: 351367871 markings, 537747531 edges, 690429 markings/sec, 530 secs
lola: 354986074 markings, 543003120 edges, 723641 markings/sec, 535 secs
lola: 359617744 markings, 549699194 edges, 926334 markings/sec, 540 secs
lola: 363798005 markings, 555707670 edges, 836052 markings/sec, 545 secs
lola: 367361603 markings, 561152680 edges, 712720 markings/sec, 550 secs
lola: 370628252 markings, 566183341 edges, 653330 markings/sec, 555 secs
lola: 374127496 markings, 571528959 edges, 699849 markings/sec, 560 secs
lola: 377627809 markings, 576945938 edges, 700063 markings/sec, 565 secs
lola: 380903951 markings, 582108194 edges, 655228 markings/sec, 570 secs
lola: 384192718 markings, 587193849 edges, 657753 markings/sec, 575 secs
lola: 387149824 markings, 591936862 edges, 591421 markings/sec, 580 secs
lola: 390352250 markings, 596938024 edges, 640485 markings/sec, 585 secs
lola: 393485188 markings, 601849844 edges, 626588 markings/sec, 590 secs
lola: 396634222 markings, 606855861 edges, 629807 markings/sec, 595 secs
lola: 399693583 markings, 611613199 edges, 611872 markings/sec, 600 secs
lola: 402674282 markings, 616358361 edges, 596140 markings/sec, 605 secs
lola: 405827509 markings, 621340099 edges, 630645 markings/sec, 610 secs
lola: 408872452 markings, 626102788 edges, 608989 markings/sec, 615 secs
lola: 412334731 markings, 631374098 edges, 692456 markings/sec, 620 secs
lola: 416091675 markings, 636721232 edges, 751389 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown 1000 unknown 2 1000 11000 unknown unknown 7000 unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(a2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5351667 markings, 7561656 edges, 1070333 markings/sec, 30 secs
lola: 10948616 markings, 15478670 edges, 1119390 markings/sec, 35 secs
lola: 16612183 markings, 23490334 edges, 1132713 markings/sec, 40 secs
lola: 22174234 markings, 31358268 edges, 1112410 markings/sec, 45 secs
lola: 27691195 markings, 39162587 edges, 1103392 markings/sec, 50 secs
lola: 33258778 markings, 47038432 edges, 1113517 markings/sec, 55 secs
lola: 38878012 markings, 54987555 edges, 1123847 markings/sec, 60 secs
lola: 44507997 markings, 62951574 edges, 1125997 markings/sec, 65 secs
lola: 50152202 markings, 70936063 edges, 1128841 markings/sec, 70 secs
lola: 55750212 markings, 78854700 edges, 1119602 markings/sec, 75 secs
lola: 61152299 markings, 86497196 edges, 1080417 markings/sec, 80 secs
lola: 66538591 markings, 94116185 edges, 1077258 markings/sec, 85 secs
lola: 71866438 markings, 101652646 edges, 1065569 markings/sec, 90 secs
lola: 76817241 markings, 108302880 edges, 990161 markings/sec, 95 secs
lola: 81172272 markings, 114126014 edges, 871006 markings/sec, 100 secs
lola: 86663974 markings, 121806670 edges, 1098340 markings/sec, 105 secs
lola: 92233034 markings, 129594980 edges, 1113812 markings/sec, 110 secs
lola: 97814426 markings, 137401324 edges, 1116278 markings/sec, 115 secs
lola: 103495028 markings, 145345586 edges, 1136120 markings/sec, 120 secs
lola: 109076076 markings, 153145249 edges, 1116210 markings/sec, 125 secs
lola: 114904042 markings, 161217775 edges, 1165593 markings/sec, 130 secs
lola: 119723623 markings, 169204994 edges, 963916 markings/sec, 135 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: 121885964 markings, 173194779 edges
lola: ========================================

FORMULA GPPP-PT-C1000N0000001000-UpperBounds-15 2000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_2PG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000001000-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: 9061 markings, 9061 edges, 1812 markings/sec, 25 secs
lola: 3990418 markings, 8559945 edges, 796271 markings/sec, 30 secs
lola: 7802147 markings, 16782836 edges, 762346 markings/sec, 35 secs
lola: 11542659 markings, 24855465 edges, 748102 markings/sec, 40 secs
lola: 15199289 markings, 32748914 edges, 731326 markings/sec, 45 secs
lola: 18830929 markings, 40589338 edges, 726328 markings/sec, 50 secs
lola: 22423302 markings, 48345958 edges, 718475 markings/sec, 55 secs
lola: 25986106 markings, 56039688 edges, 712561 markings/sec, 60 secs
lola: 29536806 markings, 63707321 edges, 710140 markings/sec, 65 secs
lola: 33063190 markings, 71322609 edges, 705277 markings/sec, 70 secs
lola: 36577065 markings, 78911326 edges, 702775 markings/sec, 75 secs
lola: 40071721 markings, 86459128 edges, 698931 markings/sec, 80 secs
lola: 43557150 markings, 93986966 edges, 697086 markings/sec, 85 secs
lola: 47024693 markings, 101476161 edges, 693509 markings/sec, 90 secs
lola: 50483161 markings, 108946808 edges, 691694 markings/sec, 95 secs
lola: 53928008 markings, 116387318 edges, 688969 markings/sec, 100 secs
lola: 57358239 markings, 123796505 edges, 686046 markings/sec, 105 secs
lola: 60785311 markings, 131199266 edges, 685414 markings/sec, 110 secs
lola: 64213037 markings, 138602913 edges, 685545 markings/sec, 115 secs
lola: 67639516 markings, 146004367 edges, 685296 markings/sec, 120 secs
lola: 71062570 markings, 153398978 edges, 684611 markings/sec, 125 secs
lola: 74479554 markings, 160779993 edges, 683397 markings/sec, 130 secs
lola: 77894693 markings, 168157671 edges, 683028 markings/sec, 135 secs
lola: 81298394 markings, 175510166 edges, 680740 markings/sec, 140 secs
lola: 84697792 markings, 182854079 edges, 679880 markings/sec, 145 secs
lola: 88085651 markings, 190172628 edges, 677572 markings/sec, 150 secs
lola: 91474096 markings, 197492822 edges, 677689 markings/sec, 155 secs
lola: 94418454 markings, 203857148 edges, 588872 markings/sec, 160 secs
lola: 97080355 markings, 209618668 edges, 532380 markings/sec, 165 secs
lola: 99832632 markings, 215572666 edges, 550455 markings/sec, 170 secs
lola: 102638118 markings, 221649660 edges, 561097 markings/sec, 175 secs
lola: 105482496 markings, 227802073 edges, 568876 markings/sec, 180 secs
lola: 108314211 markings, 233935155 edges, 566343 markings/sec, 185 secs
lola: 111170117 markings, 240112011 edges, 571181 markings/sec, 190 secs
lola: 114121234 markings, 246502028 edges, 590223 markings/sec, 195 secs
lola: 116997634 markings, 252731380 edges, 575280 markings/sec, 200 secs
lola: 119896534 markings, 259001588 edges, 579780 markings/sec, 205 secs
lola: 122918755 markings, 265544698 edges, 604444 markings/sec, 210 secs
lola: 125859924 markings, 271915121 edges, 588234 markings/sec, 215 secs
lola: 128811972 markings, 278299780 edges, 590410 markings/sec, 220 secs
lola: 131883969 markings, 284948595 edges, 614399 markings/sec, 225 secs
lola: 134760563 markings, 291177940 edges, 575319 markings/sec, 230 secs
lola: 137434918 markings, 296970291 edges, 534871 markings/sec, 235 secs
lola: 139996804 markings, 302519030 edges, 512377 markings/sec, 240 secs
lola: 142965158 markings, 308934687 edges, 593671 markings/sec, 245 secs
lola: 145915092 markings, 315322256 edges, 589987 markings/sec, 250 secs
lola: 148640487 markings, 321224992 edges, 545079 markings/sec, 255 secs
lola: 151350151 markings, 327093927 edges, 541933 markings/sec, 260 secs
lola: 154247460 markings, 333354810 edges, 579462 markings/sec, 265 secs
lola: 157126684 markings, 339588410 edges, 575845 markings/sec, 270 secs
lola: 159864169 markings, 345516078 edges, 547497 markings/sec, 275 secs
lola: 162562617 markings, 351360156 edges, 539690 markings/sec, 280 secs
lola: 165242695 markings, 357164374 edges, 536016 markings/sec, 285 secs
lola: 168071890 markings, 363280442 edges, 565839 markings/sec, 290 secs
lola: 171250490 markings, 370160149 edges, 635720 markings/sec, 295 secs
lola: 174174559 markings, 376491978 edges, 584814 markings/sec, 300 secs
lola: 177222183 markings, 383091649 edges, 609525 markings/sec, 305 secs
lola: 180115741 markings, 389358871 edges, 578712 markings/sec, 310 secs
lola: 183238956 markings, 396109990 edges, 624643 markings/sec, 315 secs
lola: 186396822 markings, 402944406 edges, 631573 markings/sec, 320 secs
lola: 189483797 markings, 409628342 edges, 617395 markings/sec, 325 secs
lola: 192530566 markings, 416225958 edges, 609354 markings/sec, 330 secs
lola: 195544287 markings, 422752571 edges, 602744 markings/sec, 335 secs
lola: 198547244 markings, 429256294 edges, 600591 markings/sec, 340 secs
lola: 201701901 markings, 436074274 edges, 630931 markings/sec, 345 secs
lola: 204927238 markings, 443055402 edges, 645067 markings/sec, 350 secs
lola: 208089884 markings, 449903430 edges, 632529 markings/sec, 355 secs
lola: 211219530 markings, 456680973 edges, 625929 markings/sec, 360 secs
lola: 214327587 markings, 463411726 edges, 621611 markings/sec, 365 secs
lola: 217423951 markings, 470117929 edges, 619273 markings/sec, 370 secs
lola: 220654566 markings, 477097525 edges, 646123 markings/sec, 375 secs
lola: 223797886 markings, 483901810 edges, 628664 markings/sec, 380 secs
lola: 226900459 markings, 490619159 edges, 620515 markings/sec, 385 secs
lola: 229964764 markings, 497254751 edges, 612861 markings/sec, 390 secs
lola: 232999929 markings, 503827508 edges, 607033 markings/sec, 395 secs
lola: 236017433 markings, 510362721 edges, 603501 markings/sec, 400 secs
lola: 239013429 markings, 516851255 edges, 599199 markings/sec, 405 secs
lola: 242350549 markings, 524060616 edges, 667424 markings/sec, 410 secs
lola: 245587696 markings, 531068660 edges, 647429 markings/sec, 415 secs
lola: 248779128 markings, 537978741 edges, 638286 markings/sec, 420 secs
lola: 251941842 markings, 544827958 edges, 632543 markings/sec, 425 secs
lola: 255088844 markings, 551642701 edges, 629400 markings/sec, 430 secs
lola: 258219162 markings, 558422419 edges, 626064 markings/sec, 435 secs
lola: 261466612 markings, 565439958 edges, 649490 markings/sec, 440 secs
lola: 264716797 markings, 572473121 edges, 650037 markings/sec, 445 secs
lola: 267911159 markings, 579388894 edges, 638872 markings/sec, 450 secs
lola: 271064877 markings, 586217303 edges, 630744 markings/sec, 455 secs
lola: 274179546 markings, 592961802 edges, 622934 markings/sec, 460 secs
lola: 277270344 markings, 599655635 edges, 618160 markings/sec, 465 secs
lola: 280347012 markings, 606318832 edges, 615334 markings/sec, 470 secs
lola: 283420498 markings, 612974794 edges, 614697 markings/sec, 475 secs
lola: 286795151 markings, 620264700 edges, 674931 markings/sec, 480 secs
lola: 290104258 markings, 627427675 edges, 661821 markings/sec, 485 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown 1000 unknown 2 1000 11000 unknown unknown 7000 unknown 2000
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown 1000 unknown 2 1000 11000 unknown unknown 7000 unknown 2000
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 3998 unknown 1000 unknown 2 1000 11000 unknown unknown 7000 unknown 2000
lola: memory consumption: 18308 KB
lola: time consumption: 3570 seconds

BK_STOP 1526762449245

--------------------
content from 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="GPPP-PT-C1000N0000001000"
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/GPPP-PT-C1000N0000001000.tgz
mv GPPP-PT-C1000N0000001000 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is GPPP-PT-C1000N0000001000, 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-blw7-152649998400352"
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 ;