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 328K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K 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 17K 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.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 154K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-COL-S06J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526900128
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526955017578

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S06J06T08 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S06J06T08 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S06J06T08 @ 3563 seconds
lola: LoLA will run for 3563 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 15228/65536 symbol table entries, 5390 collisions
lola: preprocessing...
lola: Size of bit vector: 28608
lola: finding significant places
lola: 894 places, 14334 transitions, 832 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4215 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T08-UpperBounds.task
lola: LP says that atomic proposition is always false: (p485 <= 0)
lola: MAX(p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714) : MAX(p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251) : MAX(p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23) : MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p401 + p400 + p399 + p398 + p397 + p396) : MAX(p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553) : MAX(p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788) : MAX(p485) : MAX(p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409) : MAX(p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553) : MAX(p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129) : MAX(p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23) : MAX(p25) : MAX(p570 + p571 + p572 + p573 + p574 + p575 + p576) : MAX(p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p485)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p485)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5735 markings, 6958 edges, 1147 markings/sec, 30 secs
lola: 11527 markings, 14165 edges, 1158 markings/sec, 35 secs
lola: 16996 markings, 44411 edges, 1094 markings/sec, 40 secs
lola: 22270 markings, 73124 edges, 1055 markings/sec, 45 secs
lola: 28223 markings, 97371 edges, 1191 markings/sec, 50 secs
lola: 34083 markings, 104699 edges, 1172 markings/sec, 55 secs
lola: 40122 markings, 116613 edges, 1208 markings/sec, 60 secs
lola: 45881 markings, 154158 edges, 1152 markings/sec, 65 secs
lola: 51739 markings, 186521 edges, 1172 markings/sec, 70 secs
lola: 57668 markings, 196543 edges, 1186 markings/sec, 75 secs
lola: 63470 markings, 219921 edges, 1160 markings/sec, 80 secs
lola: 69363 markings, 250650 edges, 1179 markings/sec, 85 secs
lola: 75403 markings, 258248 edges, 1208 markings/sec, 90 secs
lola: 81130 markings, 291960 edges, 1145 markings/sec, 95 secs
lola: 87089 markings, 307706 edges, 1192 markings/sec, 100 secs
lola: 93071 markings, 327242 edges, 1196 markings/sec, 105 secs
lola: 99003 markings, 352046 edges, 1186 markings/sec, 110 secs
lola: 104850 markings, 373713 edges, 1169 markings/sec, 115 secs
lola: 110671 markings, 394779 edges, 1164 markings/sec, 120 secs
lola: 116531 markings, 415868 edges, 1172 markings/sec, 125 secs
lola: 122299 markings, 437104 edges, 1154 markings/sec, 130 secs
lola: 128106 markings, 457927 edges, 1161 markings/sec, 135 secs
lola: 133936 markings, 479443 edges, 1166 markings/sec, 140 secs
lola: 139875 markings, 496288 edges, 1188 markings/sec, 145 secs
lola: 145810 markings, 510910 edges, 1187 markings/sec, 150 secs
lola: 151584 markings, 544929 edges, 1155 markings/sec, 155 secs
lola: 157744 markings, 552833 edges, 1232 markings/sec, 160 secs
lola: 163916 markings, 560475 edges, 1234 markings/sec, 165 secs
lola: 169680 markings, 595286 edges, 1153 markings/sec, 170 secs
lola: 175535 markings, 627895 edges, 1171 markings/sec, 175 secs
lola: 181440 markings, 644869 edges, 1181 markings/sec, 180 secs
lola: 187222 markings, 673914 edges, 1156 markings/sec, 185 secs
lola: 193112 markings, 693712 edges, 1178 markings/sec, 190 secs
lola: 199063 markings, 714219 edges, 1190 markings/sec, 195 secs
lola: 205035 markings, 736497 edges, 1194 markings/sec, 200 secs
lola: 210871 markings, 756748 edges, 1167 markings/sec, 205 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: 87020 KB
lola: time consumption: 358 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p25)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 6281 markings, 6490 edges, 1256 markings/sec, 30 secs
lola: 12614 markings, 13077 edges, 1267 markings/sec, 35 secs
lola: 19326 markings, 20259 edges, 1342 markings/sec, 40 secs
lola: 26011 markings, 27378 edges, 1337 markings/sec, 45 secs
lola: 32697 markings, 34439 edges, 1337 markings/sec, 50 secs
lola: 39412 markings, 41416 edges, 1343 markings/sec, 55 secs
lola: 46112 markings, 48374 edges, 1340 markings/sec, 60 secs
lola: 52785 markings, 55488 edges, 1335 markings/sec, 65 secs
lola: 59488 markings, 62504 edges, 1341 markings/sec, 70 secs
lola: 66166 markings, 69556 edges, 1336 markings/sec, 75 secs
lola: 72880 markings, 76488 edges, 1343 markings/sec, 80 secs
lola: 79600 markings, 83579 edges, 1344 markings/sec, 85 secs
lola: 86252 markings, 90611 edges, 1330 markings/sec, 90 secs
lola: 92916 markings, 97677 edges, 1333 markings/sec, 95 secs
lola: 99567 markings, 104704 edges, 1330 markings/sec, 100 secs
lola: 106200 markings, 111734 edges, 1327 markings/sec, 105 secs
lola: 112902 markings, 118733 edges, 1340 markings/sec, 110 secs
lola: 119621 markings, 125687 edges, 1344 markings/sec, 115 secs
lola: 126301 markings, 132779 edges, 1336 markings/sec, 120 secs
lola: 132959 markings, 139713 edges, 1332 markings/sec, 125 secs
lola: 139665 markings, 146670 edges, 1341 markings/sec, 130 secs
lola: 146377 markings, 153681 edges, 1342 markings/sec, 135 secs
lola: 153061 markings, 160610 edges, 1337 markings/sec, 140 secs
lola: 159711 markings, 167642 edges, 1330 markings/sec, 145 secs
lola: 166394 markings, 174669 edges, 1337 markings/sec, 150 secs
lola: 173068 markings, 181772 edges, 1335 markings/sec, 155 secs
lola: 179744 markings, 188888 edges, 1335 markings/sec, 160 secs
lola: 186417 markings, 195849 edges, 1335 markings/sec, 165 secs
lola: 193114 markings, 202847 edges, 1339 markings/sec, 170 secs
lola: 199787 markings, 209775 edges, 1335 markings/sec, 175 secs
lola: 206472 markings, 216868 edges, 1337 markings/sec, 180 secs
lola: 213163 markings, 223772 edges, 1338 markings/sec, 185 secs
lola: 219872 markings, 230752 edges, 1342 markings/sec, 190 secs
lola: 226531 markings, 237769 edges, 1332 markings/sec, 195 secs
lola: 233185 markings, 244734 edges, 1331 markings/sec, 200 secs
lola: 239898 markings, 251693 edges, 1343 markings/sec, 205 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: 96364 KB
lola: time consumption: 571 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p401 + p400 + p399 + p398 + p397 + p396)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p401 + p400 + p399 + p398 + p397 + p396)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5455 markings, 5611 edges, 1091 markings/sec, 30 secs
lola: 10935 markings, 11283 edges, 1096 markings/sec, 35 secs
lola: 16137 markings, 16703 edges, 1040 markings/sec, 40 secs
lola: 21201 markings, 22128 edges, 1013 markings/sec, 45 secs
lola: 26787 markings, 29589 edges, 1117 markings/sec, 50 secs
lola: 32676 markings, 38025 edges, 1178 markings/sec, 55 secs
lola: 39054 markings, 46535 edges, 1276 markings/sec, 60 secs
lola: 45103 markings, 54438 edges, 1210 markings/sec, 65 secs
lola: 51268 markings, 62312 edges, 1233 markings/sec, 70 secs
lola: 57297 markings, 70054 edges, 1206 markings/sec, 75 secs
lola: 63200 markings, 77864 edges, 1181 markings/sec, 80 secs
lola: 68987 markings, 85786 edges, 1157 markings/sec, 85 secs
lola: 74808 markings, 93594 edges, 1164 markings/sec, 90 secs
lola: 80754 markings, 102367 edges, 1189 markings/sec, 95 secs
lola: 86499 markings, 110437 edges, 1149 markings/sec, 100 secs
lola: 92266 markings, 118950 edges, 1153 markings/sec, 105 secs
lola: 98066 markings, 127874 edges, 1160 markings/sec, 110 secs
lola: 103993 markings, 134865 edges, 1185 markings/sec, 115 secs
lola: 109791 markings, 141829 edges, 1160 markings/sec, 120 secs
lola: 115578 markings, 148888 edges, 1157 markings/sec, 125 secs
lola: 121470 markings, 155883 edges, 1178 markings/sec, 130 secs
lola: 127278 markings, 163158 edges, 1162 markings/sec, 135 secs
lola: 133014 markings, 170702 edges, 1147 markings/sec, 140 secs
lola: 138654 markings, 188424 edges, 1128 markings/sec, 145 secs
lola: 144118 markings, 227737 edges, 1093 markings/sec, 150 secs
lola: 149606 markings, 267905 edges, 1098 markings/sec, 155 secs
lola: 155033 markings, 311720 edges, 1085 markings/sec, 160 secs
lola: 160655 markings, 341446 edges, 1124 markings/sec, 165 secs
lola: 165920 markings, 347755 edges, 1053 markings/sec, 170 secs
lola: 171742 markings, 354986 edges, 1164 markings/sec, 175 secs
lola: 177638 markings, 362171 edges, 1179 markings/sec, 180 secs
lola: 183327 markings, 384394 edges, 1138 markings/sec, 185 secs
lola: 188780 markings, 423738 edges, 1091 markings/sec, 190 secs
lola: 194355 markings, 458242 edges, 1115 markings/sec, 195 secs
lola: 200228 markings, 465380 edges, 1175 markings/sec, 200 secs
lola: 206209 markings, 472489 edges, 1196 markings/sec, 205 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: 86576 KB
lola: time consumption: 784 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p570 + p571 + p572 + p573 + p574 + p575 + p576)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p570 + p571 + p572 + p573 + p574 + p575 + p576)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5553 markings, 5747 edges, 1111 markings/sec, 30 secs
lola: 10929 markings, 11360 edges, 1075 markings/sec, 35 secs
lola: 16370 markings, 17018 edges, 1088 markings/sec, 40 secs
lola: 21409 markings, 22265 edges, 1008 markings/sec, 45 secs
lola: 26976 markings, 28074 edges, 1113 markings/sec, 50 secs
lola: 32586 markings, 33893 edges, 1122 markings/sec, 55 secs
lola: 38215 markings, 39735 edges, 1126 markings/sec, 60 secs
lola: 43836 markings, 45576 edges, 1124 markings/sec, 65 secs
lola: 49502 markings, 51543 edges, 1133 markings/sec, 70 secs
lola: 55165 markings, 57437 edges, 1133 markings/sec, 75 secs
lola: 60836 markings, 63365 edges, 1134 markings/sec, 80 secs
lola: 66509 markings, 69246 edges, 1135 markings/sec, 85 secs
lola: 72170 markings, 75160 edges, 1132 markings/sec, 90 secs
lola: 77830 markings, 81029 edges, 1132 markings/sec, 95 secs
lola: 83495 markings, 86938 edges, 1133 markings/sec, 100 secs
lola: 88975 markings, 92678 edges, 1096 markings/sec, 105 secs
lola: 94634 markings, 98549 edges, 1132 markings/sec, 110 secs
lola: 100176 markings, 104376 edges, 1108 markings/sec, 115 secs
lola: 105864 markings, 110252 edges, 1138 markings/sec, 120 secs
lola: 111396 markings, 116090 edges, 1106 markings/sec, 125 secs
lola: 116986 markings, 121882 edges, 1118 markings/sec, 130 secs
lola: 122511 markings, 127623 edges, 1105 markings/sec, 135 secs
lola: 128226 markings, 133584 edges, 1143 markings/sec, 140 secs
lola: 133901 markings, 139502 edges, 1135 markings/sec, 145 secs
lola: 139648 markings, 145486 edges, 1149 markings/sec, 150 secs
lola: 145295 markings, 151514 edges, 1129 markings/sec, 155 secs
lola: 150990 markings, 157442 edges, 1139 markings/sec, 160 secs
lola: 156690 markings, 163403 edges, 1140 markings/sec, 165 secs
lola: 162389 markings, 169457 edges, 1140 markings/sec, 170 secs
lola: 167838 markings, 175175 edges, 1090 markings/sec, 175 secs
lola: 173422 markings, 181205 edges, 1117 markings/sec, 180 secs
lola: 179076 markings, 187134 edges, 1131 markings/sec, 185 secs
lola: 184702 markings, 193070 edges, 1125 markings/sec, 190 secs
lola: 190303 markings, 198913 edges, 1120 markings/sec, 195 secs
lola: 195921 markings, 204729 edges, 1124 markings/sec, 200 secs
lola: 201516 markings, 210527 edges, 1119 markings/sec, 205 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: 89292 KB
lola: time consumption: 997 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5289 markings, 5944 edges, 1058 markings/sec, 30 secs
lola: 10710 markings, 12375 edges, 1084 markings/sec, 35 secs
lola: 16151 markings, 19123 edges, 1088 markings/sec, 40 secs
lola: 21527 markings, 26476 edges, 1075 markings/sec, 45 secs
lola: 26849 markings, 32937 edges, 1064 markings/sec, 50 secs
lola: 32188 markings, 39510 edges, 1068 markings/sec, 55 secs
lola: 37580 markings, 45956 edges, 1078 markings/sec, 60 secs
lola: 42949 markings, 52113 edges, 1074 markings/sec, 65 secs
lola: 48356 markings, 58577 edges, 1081 markings/sec, 70 secs
lola: 53700 markings, 65335 edges, 1069 markings/sec, 75 secs
lola: 59121 markings, 72160 edges, 1084 markings/sec, 80 secs
lola: 64516 markings, 78529 edges, 1079 markings/sec, 85 secs
lola: 69883 markings, 84646 edges, 1073 markings/sec, 90 secs
lola: 75304 markings, 91208 edges, 1084 markings/sec, 95 secs
lola: 80627 markings, 97861 edges, 1065 markings/sec, 100 secs
lola: 86028 markings, 104671 edges, 1080 markings/sec, 105 secs
lola: 91434 markings, 111114 edges, 1081 markings/sec, 110 secs
lola: 96798 markings, 117182 edges, 1073 markings/sec, 115 secs
lola: 102219 markings, 123733 edges, 1084 markings/sec, 120 secs
lola: 107653 markings, 130891 edges, 1087 markings/sec, 125 secs
lola: 112950 markings, 137394 edges, 1059 markings/sec, 130 secs
lola: 118342 markings, 143960 edges, 1078 markings/sec, 135 secs
lola: 123795 markings, 150898 edges, 1091 markings/sec, 140 secs
lola: 129134 markings, 157814 edges, 1068 markings/sec, 145 secs
lola: 134463 markings, 164364 edges, 1066 markings/sec, 150 secs
lola: 139885 markings, 170732 edges, 1084 markings/sec, 155 secs
lola: 145218 markings, 176888 edges, 1067 markings/sec, 160 secs
lola: 150616 markings, 183232 edges, 1080 markings/sec, 165 secs
lola: 156008 markings, 189667 edges, 1078 markings/sec, 170 secs
lola: 161421 markings, 196877 edges, 1083 markings/sec, 175 secs
lola: 166749 markings, 203776 edges, 1066 markings/sec, 180 secs
lola: 172099 markings, 209703 edges, 1070 markings/sec, 185 secs
lola: 177511 markings, 216498 edges, 1082 markings/sec, 190 secs
lola: 182884 markings, 223593 edges, 1075 markings/sec, 195 secs
lola: 188165 markings, 230260 edges, 1056 markings/sec, 200 secs
lola: 193476 markings, 236913 edges, 1062 markings/sec, 205 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: 88488 KB
lola: time consumption: 1210 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5260 markings, 6042 edges, 1052 markings/sec, 30 secs
lola: 10573 markings, 12285 edges, 1063 markings/sec, 35 secs
lola: 15927 markings, 18832 edges, 1071 markings/sec, 40 secs
lola: 21286 markings, 25447 edges, 1072 markings/sec, 45 secs
lola: 26629 markings, 31638 edges, 1069 markings/sec, 50 secs
lola: 31984 markings, 38265 edges, 1071 markings/sec, 55 secs
lola: 37310 markings, 44644 edges, 1065 markings/sec, 60 secs
lola: 42673 markings, 50657 edges, 1073 markings/sec, 65 secs
lola: 48081 markings, 57165 edges, 1082 markings/sec, 70 secs
lola: 53447 markings, 63348 edges, 1073 markings/sec, 75 secs
lola: 58881 markings, 69978 edges, 1087 markings/sec, 80 secs
lola: 64297 markings, 76539 edges, 1083 markings/sec, 85 secs
lola: 69660 markings, 82544 edges, 1073 markings/sec, 90 secs
lola: 75059 markings, 88533 edges, 1080 markings/sec, 95 secs
lola: 80486 markings, 95732 edges, 1085 markings/sec, 100 secs
lola: 85868 markings, 101800 edges, 1076 markings/sec, 105 secs
lola: 91248 markings, 108495 edges, 1076 markings/sec, 110 secs
lola: 96650 markings, 114944 edges, 1080 markings/sec, 115 secs
lola: 102075 markings, 121713 edges, 1085 markings/sec, 120 secs
lola: 107490 markings, 128315 edges, 1083 markings/sec, 125 secs
lola: 112902 markings, 134881 edges, 1082 markings/sec, 130 secs
lola: 118271 markings, 141085 edges, 1074 markings/sec, 135 secs
lola: 123699 markings, 147702 edges, 1086 markings/sec, 140 secs
lola: 129128 markings, 154304 edges, 1086 markings/sec, 145 secs
lola: 134532 markings, 160547 edges, 1081 markings/sec, 150 secs
lola: 139926 markings, 166978 edges, 1079 markings/sec, 155 secs
lola: 145302 markings, 173201 edges, 1075 markings/sec, 160 secs
lola: 150738 markings, 179969 edges, 1087 markings/sec, 165 secs
lola: 156132 markings, 186188 edges, 1079 markings/sec, 170 secs
lola: 161433 markings, 191743 edges, 1060 markings/sec, 175 secs
lola: 166809 markings, 198066 edges, 1075 markings/sec, 180 secs
lola: 172220 markings, 204646 edges, 1082 markings/sec, 185 secs
lola: 177646 markings, 211395 edges, 1085 markings/sec, 190 secs
lola: 183069 markings, 218157 edges, 1085 markings/sec, 195 secs
lola: 188476 markings, 224298 edges, 1081 markings/sec, 200 secs
lola: 193896 markings, 231022 edges, 1084 markings/sec, 205 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: 87708 KB
lola: time consumption: 1423 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5215 markings, 5321 edges, 1043 markings/sec, 30 secs
lola: 10487 markings, 10701 edges, 1054 markings/sec, 35 secs
lola: 15730 markings, 16089 edges, 1049 markings/sec, 40 secs
lola: 20988 markings, 21492 edges, 1052 markings/sec, 45 secs
lola: 26258 markings, 26849 edges, 1054 markings/sec, 50 secs
lola: 31476 markings, 32220 edges, 1044 markings/sec, 55 secs
lola: 36731 markings, 37567 edges, 1051 markings/sec, 60 secs
lola: 41965 markings, 43013 edges, 1047 markings/sec, 65 secs
lola: 47222 markings, 48404 edges, 1051 markings/sec, 70 secs
lola: 52494 markings, 53815 edges, 1054 markings/sec, 75 secs
lola: 57756 markings, 59240 edges, 1052 markings/sec, 80 secs
lola: 63024 markings, 64661 edges, 1054 markings/sec, 85 secs
lola: 68286 markings, 70043 edges, 1052 markings/sec, 90 secs
lola: 73528 markings, 75399 edges, 1048 markings/sec, 95 secs
lola: 78771 markings, 80718 edges, 1049 markings/sec, 100 secs
lola: 84049 markings, 86147 edges, 1056 markings/sec, 105 secs
lola: 89323 markings, 91583 edges, 1055 markings/sec, 110 secs
lola: 94574 markings, 96937 edges, 1050 markings/sec, 115 secs
lola: 99813 markings, 102356 edges, 1048 markings/sec, 120 secs
lola: 105054 markings, 107649 edges, 1048 markings/sec, 125 secs
lola: 110306 markings, 113098 edges, 1050 markings/sec, 130 secs
lola: 115564 markings, 118502 edges, 1052 markings/sec, 135 secs
lola: 120855 markings, 123922 edges, 1058 markings/sec, 140 secs
lola: 126149 markings, 129378 edges, 1059 markings/sec, 145 secs
lola: 131414 markings, 134757 edges, 1053 markings/sec, 150 secs
lola: 136656 markings, 140140 edges, 1048 markings/sec, 155 secs
lola: 141921 markings, 145561 edges, 1053 markings/sec, 160 secs
lola: 147186 markings, 150914 edges, 1053 markings/sec, 165 secs
lola: 152416 markings, 156284 edges, 1046 markings/sec, 170 secs
lola: 157670 markings, 161646 edges, 1051 markings/sec, 175 secs
lola: 162899 markings, 167077 edges, 1046 markings/sec, 180 secs
lola: 168159 markings, 172478 edges, 1052 markings/sec, 185 secs
lola: 173431 markings, 177893 edges, 1054 markings/sec, 190 secs
lola: 178691 markings, 183275 edges, 1052 markings/sec, 195 secs
lola: 183961 markings, 188739 edges, 1054 markings/sec, 200 secs
lola: 189221 markings, 194115 edges, 1052 markings/sec, 205 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: 87892 KB
lola: time consumption: 1637 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5591 markings, 5785 edges, 1118 markings/sec, 30 secs
lola: 11185 markings, 11617 edges, 1119 markings/sec, 35 secs
lola: 16791 markings, 17470 edges, 1121 markings/sec, 40 secs
lola: 22367 markings, 23262 edges, 1115 markings/sec, 45 secs
lola: 27981 markings, 29100 edges, 1123 markings/sec, 50 secs
lola: 33617 markings, 34955 edges, 1127 markings/sec, 55 secs
lola: 39278 markings, 40840 edges, 1132 markings/sec, 60 secs
lola: 44942 markings, 46747 edges, 1133 markings/sec, 65 secs
lola: 50622 markings, 52735 edges, 1136 markings/sec, 70 secs
lola: 56303 markings, 58640 edges, 1136 markings/sec, 75 secs
lola: 62007 markings, 64589 edges, 1141 markings/sec, 80 secs
lola: 67704 markings, 70491 edges, 1139 markings/sec, 85 secs
lola: 73342 markings, 76402 edges, 1128 markings/sec, 90 secs
lola: 78928 markings, 82143 edges, 1117 markings/sec, 95 secs
lola: 84475 markings, 87998 edges, 1109 markings/sec, 100 secs
lola: 90063 markings, 93819 edges, 1118 markings/sec, 105 secs
lola: 95590 markings, 99574 edges, 1105 markings/sec, 110 secs
lola: 101078 markings, 105304 edges, 1098 markings/sec, 115 secs
lola: 106653 markings, 111067 edges, 1115 markings/sec, 120 secs
lola: 112102 markings, 116797 edges, 1090 markings/sec, 125 secs
lola: 117621 markings, 122542 edges, 1104 markings/sec, 130 secs
lola: 123084 markings, 128257 edges, 1093 markings/sec, 135 secs
lola: 128659 markings, 134019 edges, 1115 markings/sec, 140 secs
lola: 134069 markings, 139670 edges, 1082 markings/sec, 145 secs
lola: 139519 markings, 145350 edges, 1090 markings/sec, 150 secs
lola: 144865 markings, 151062 edges, 1069 markings/sec, 155 secs
lola: 150276 markings, 156690 edges, 1082 markings/sec, 160 secs
lola: 155652 markings, 162312 edges, 1075 markings/sec, 165 secs
lola: 161115 markings, 168106 edges, 1093 markings/sec, 170 secs
lola: 166424 markings, 173713 edges, 1062 markings/sec, 175 secs
lola: 171693 markings, 179356 edges, 1054 markings/sec, 180 secs
lola: 177113 markings, 185084 edges, 1084 markings/sec, 185 secs
lola: 182537 markings, 190783 edges, 1085 markings/sec, 190 secs
lola: 187922 markings, 196437 edges, 1077 markings/sec, 195 secs
lola: 193288 markings, 202046 edges, 1073 markings/sec, 200 secs
lola: 198616 markings, 207521 edges, 1066 markings/sec, 205 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: 89028 KB
lola: time consumption: 1851 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 6790 markings, 8977 edges, 1358 markings/sec, 30 secs
lola: 13319 markings, 40481 edges, 1306 markings/sec, 35 secs
lola: 19757 markings, 65428 edges, 1288 markings/sec, 40 secs
lola: 26510 markings, 84643 edges, 1351 markings/sec, 45 secs
lola: 33053 markings, 111721 edges, 1309 markings/sec, 50 secs
lola: 39817 markings, 131040 edges, 1353 markings/sec, 55 secs
lola: 46486 markings, 149602 edges, 1334 markings/sec, 60 secs
lola: 53034 markings, 169529 edges, 1310 markings/sec, 65 secs
lola: 59706 markings, 188042 edges, 1334 markings/sec, 70 secs
lola: 66432 markings, 204960 edges, 1345 markings/sec, 75 secs
lola: 73221 markings, 223986 edges, 1358 markings/sec, 80 secs
lola: 80141 markings, 243576 edges, 1384 markings/sec, 85 secs
lola: 86729 markings, 262539 edges, 1318 markings/sec, 90 secs
lola: 93271 markings, 280639 edges, 1308 markings/sec, 95 secs
lola: 99724 markings, 298934 edges, 1291 markings/sec, 100 secs
lola: 106239 markings, 318907 edges, 1303 markings/sec, 105 secs
lola: 112833 markings, 336031 edges, 1319 markings/sec, 110 secs
lola: 119789 markings, 348723 edges, 1391 markings/sec, 115 secs
lola: 126242 markings, 383176 edges, 1291 markings/sec, 120 secs
lola: 132899 markings, 407191 edges, 1331 markings/sec, 125 secs
lola: 139644 markings, 427643 edges, 1349 markings/sec, 130 secs
lola: 146324 markings, 446901 edges, 1336 markings/sec, 135 secs
lola: 152873 markings, 469736 edges, 1310 markings/sec, 140 secs
lola: 159579 markings, 490744 edges, 1341 markings/sec, 145 secs
lola: 166318 markings, 511962 edges, 1348 markings/sec, 150 secs
lola: 172831 markings, 532563 edges, 1303 markings/sec, 155 secs
lola: 179292 markings, 554675 edges, 1292 markings/sec, 160 secs
lola: 186037 markings, 571514 edges, 1349 markings/sec, 165 secs
lola: 192999 markings, 581776 edges, 1392 markings/sec, 170 secs
lola: 199920 markings, 592724 edges, 1384 markings/sec, 175 secs
lola: 206755 markings, 604334 edges, 1367 markings/sec, 180 secs
lola: 213637 markings, 615960 edges, 1376 markings/sec, 185 secs
lola: 220646 markings, 626311 edges, 1402 markings/sec, 190 secs
lola: 227602 markings, 636554 edges, 1391 markings/sec, 195 secs
lola: 234522 markings, 650384 edges, 1384 markings/sec, 200 secs
lola: 241365 markings, 661606 edges, 1369 markings/sec, 205 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: 89804 KB
lola: time consumption: 2065 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5347 markings, 6129 edges, 1069 markings/sec, 30 secs
lola: 10764 markings, 12477 edges, 1083 markings/sec, 35 secs
lola: 16221 markings, 19205 edges, 1091 markings/sec, 40 secs
lola: 21679 markings, 25931 edges, 1092 markings/sec, 45 secs
lola: 27115 markings, 32250 edges, 1087 markings/sec, 50 secs
lola: 32585 markings, 39091 edges, 1094 markings/sec, 55 secs
lola: 38002 markings, 45371 edges, 1083 markings/sec, 60 secs
lola: 43444 markings, 51658 edges, 1088 markings/sec, 65 secs
lola: 48873 markings, 58154 edges, 1086 markings/sec, 70 secs
lola: 54267 markings, 64263 edges, 1079 markings/sec, 75 secs
lola: 59742 markings, 71170 edges, 1095 markings/sec, 80 secs
lola: 65165 markings, 77453 edges, 1085 markings/sec, 85 secs
lola: 70541 markings, 83463 edges, 1075 markings/sec, 90 secs
lola: 76021 markings, 89763 edges, 1096 markings/sec, 95 secs
lola: 81450 markings, 96947 edges, 1086 markings/sec, 100 secs
lola: 86868 markings, 102946 edges, 1084 markings/sec, 105 secs
lola: 92261 markings, 109593 edges, 1079 markings/sec, 110 secs
lola: 97709 markings, 116229 edges, 1090 markings/sec, 115 secs
lola: 103159 markings, 122961 edges, 1090 markings/sec, 120 secs
lola: 108628 markings, 129822 edges, 1094 markings/sec, 125 secs
lola: 114033 markings, 136033 edges, 1081 markings/sec, 130 secs
lola: 119452 markings, 142438 edges, 1084 markings/sec, 135 secs
lola: 124926 markings, 149278 edges, 1095 markings/sec, 140 secs
lola: 130372 markings, 155617 edges, 1089 markings/sec, 145 secs
lola: 135802 markings, 162031 edges, 1086 markings/sec, 150 secs
lola: 141229 markings, 168578 edges, 1085 markings/sec, 155 secs
lola: 146639 markings, 174843 edges, 1082 markings/sec, 160 secs
lola: 152092 markings, 181596 edges, 1091 markings/sec, 165 secs
lola: 157504 markings, 187620 edges, 1082 markings/sec, 170 secs
lola: 162842 markings, 193447 edges, 1068 markings/sec, 175 secs
lola: 168255 markings, 199839 edges, 1083 markings/sec, 180 secs
lola: 173701 markings, 206520 edges, 1089 markings/sec, 185 secs
lola: 179148 markings, 213217 edges, 1089 markings/sec, 190 secs
lola: 184597 markings, 219797 edges, 1090 markings/sec, 195 secs
lola: 190040 markings, 226306 edges, 1089 markings/sec, 200 secs
lola: 195488 markings, 233057 edges, 1090 markings/sec, 205 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: 88072 KB
lola: time consumption: 2279 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 6250 markings, 6353 edges, 1250 markings/sec, 30 secs
lola: 12673 markings, 12803 edges, 1285 markings/sec, 35 secs
lola: 19022 markings, 19261 edges, 1270 markings/sec, 40 secs
lola: 25385 markings, 25665 edges, 1273 markings/sec, 45 secs
lola: 31692 markings, 32063 edges, 1261 markings/sec, 50 secs
lola: 38067 markings, 38506 edges, 1275 markings/sec, 55 secs
lola: 44302 markings, 44863 edges, 1247 markings/sec, 60 secs
lola: 50444 markings, 51183 edges, 1228 markings/sec, 65 secs
lola: 56848 markings, 57674 edges, 1281 markings/sec, 70 secs
lola: 63073 markings, 64212 edges, 1245 markings/sec, 75 secs
lola: 69390 markings, 70875 edges, 1263 markings/sec, 80 secs
lola: 75705 markings, 77396 edges, 1263 markings/sec, 85 secs
lola: 82041 markings, 83791 edges, 1267 markings/sec, 90 secs
lola: 88301 markings, 90187 edges, 1252 markings/sec, 95 secs
lola: 94513 markings, 96510 edges, 1242 markings/sec, 100 secs
lola: 100724 markings, 102895 edges, 1242 markings/sec, 105 secs
lola: 107200 markings, 109462 edges, 1295 markings/sec, 110 secs
lola: 113495 markings, 116239 edges, 1259 markings/sec, 115 secs
lola: 119865 markings, 123090 edges, 1274 markings/sec, 120 secs
lola: 126112 markings, 129882 edges, 1249 markings/sec, 125 secs
lola: 132470 markings, 136603 edges, 1272 markings/sec, 130 secs
lola: 138817 markings, 143040 edges, 1269 markings/sec, 135 secs
lola: 145246 markings, 149584 edges, 1286 markings/sec, 140 secs
lola: 151668 markings, 156060 edges, 1284 markings/sec, 145 secs
lola: 158028 markings, 162762 edges, 1272 markings/sec, 150 secs
lola: 164528 markings, 169399 edges, 1300 markings/sec, 155 secs
lola: 170984 markings, 176024 edges, 1291 markings/sec, 160 secs
lola: 177391 markings, 182505 edges, 1281 markings/sec, 165 secs
lola: 183738 markings, 188943 edges, 1269 markings/sec, 170 secs
lola: 190173 markings, 195614 edges, 1287 markings/sec, 175 secs
lola: 196557 markings, 202168 edges, 1277 markings/sec, 180 secs
lola: 202791 markings, 208521 edges, 1247 markings/sec, 185 secs
lola: 209181 markings, 215060 edges, 1278 markings/sec, 190 secs
lola: 215496 markings, 221517 edges, 1263 markings/sec, 195 secs
lola: 221449 markings, 227526 edges, 1191 markings/sec, 200 secs
lola: 227401 markings, 233537 edges, 1190 markings/sec, 205 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: 91932 KB
lola: time consumption: 2493 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5558 markings, 5752 edges, 1112 markings/sec, 30 secs
lola: 11139 markings, 11571 edges, 1116 markings/sec, 35 secs
lola: 16629 markings, 17307 edges, 1098 markings/sec, 40 secs
lola: 22082 markings, 22946 edges, 1091 markings/sec, 45 secs
lola: 27609 markings, 28710 edges, 1105 markings/sec, 50 secs
lola: 33136 markings, 34444 edges, 1105 markings/sec, 55 secs
lola: 38693 markings, 40239 edges, 1111 markings/sec, 60 secs
lola: 44234 markings, 46006 edges, 1108 markings/sec, 65 secs
lola: 49811 markings, 51883 edges, 1115 markings/sec, 70 secs
lola: 55401 markings, 57695 edges, 1118 markings/sec, 75 secs
lola: 60981 markings, 63511 edges, 1116 markings/sec, 80 secs
lola: 66565 markings, 69302 edges, 1117 markings/sec, 85 secs
lola: 72149 markings, 75140 edges, 1117 markings/sec, 90 secs
lola: 77737 markings, 80936 edges, 1118 markings/sec, 95 secs
lola: 83321 markings, 86764 edges, 1117 markings/sec, 100 secs
lola: 88867 markings, 92569 edges, 1109 markings/sec, 105 secs
lola: 94453 markings, 98353 edges, 1117 markings/sec, 110 secs
lola: 99901 markings, 104100 edges, 1090 markings/sec, 115 secs
lola: 105511 markings, 109867 edges, 1122 markings/sec, 120 secs
lola: 110970 markings, 115648 edges, 1092 markings/sec, 125 secs
lola: 116465 markings, 121330 edges, 1099 markings/sec, 130 secs
lola: 121928 markings, 127030 edges, 1093 markings/sec, 135 secs
lola: 127563 markings, 132862 edges, 1127 markings/sec, 140 secs
lola: 133156 markings, 138757 edges, 1119 markings/sec, 145 secs
lola: 138815 markings, 144638 edges, 1132 markings/sec, 150 secs
lola: 144393 markings, 150560 edges, 1116 markings/sec, 155 secs
lola: 150026 markings, 156440 edges, 1127 markings/sec, 160 secs
lola: 155628 markings, 162278 edges, 1120 markings/sec, 165 secs
lola: 161253 markings, 168245 edges, 1125 markings/sec, 170 secs
lola: 166802 markings, 174092 edges, 1110 markings/sec, 175 secs
lola: 172304 markings, 180016 edges, 1100 markings/sec, 180 secs
lola: 177911 markings, 185920 edges, 1121 markings/sec, 185 secs
lola: 183458 markings, 191768 edges, 1109 markings/sec, 190 secs
lola: 189000 markings, 197553 edges, 1108 markings/sec, 195 secs
lola: 194525 markings, 203286 edges, 1105 markings/sec, 200 secs
lola: 200079 markings, 209062 edges, 1111 markings/sec, 205 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: 89292 KB
lola: time consumption: 2707 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5697 markings, 5925 edges, 1139 markings/sec, 30 secs
lola: 11403 markings, 11881 edges, 1141 markings/sec, 35 secs
lola: 17010 markings, 17732 edges, 1121 markings/sec, 40 secs
lola: 22658 markings, 23631 edges, 1130 markings/sec, 45 secs
lola: 28350 markings, 29536 edges, 1138 markings/sec, 50 secs
lola: 33965 markings, 35365 edges, 1123 markings/sec, 55 secs
lola: 39628 markings, 41240 edges, 1133 markings/sec, 60 secs
lola: 45233 markings, 47104 edges, 1121 markings/sec, 65 secs
lola: 50909 markings, 53014 edges, 1135 markings/sec, 70 secs
lola: 56542 markings, 58918 edges, 1127 markings/sec, 75 secs
lola: 62261 markings, 64849 edges, 1144 markings/sec, 80 secs
lola: 67877 markings, 70809 edges, 1123 markings/sec, 85 secs
lola: 73547 markings, 76747 edges, 1134 markings/sec, 90 secs
lola: 79083 markings, 82515 edges, 1107 markings/sec, 95 secs
lola: 84668 markings, 88382 edges, 1117 markings/sec, 100 secs
lola: 90253 markings, 94196 edges, 1117 markings/sec, 105 secs
lola: 95813 markings, 99969 edges, 1112 markings/sec, 110 secs
lola: 101300 markings, 105667 edges, 1097 markings/sec, 115 secs
lola: 106888 markings, 111482 edges, 1118 markings/sec, 120 secs
lola: 112393 markings, 117227 edges, 1101 markings/sec, 125 secs
lola: 117918 markings, 122985 edges, 1105 markings/sec, 130 secs
lola: 123421 markings, 128645 edges, 1101 markings/sec, 135 secs
lola: 128929 markings, 134449 edges, 1102 markings/sec, 140 secs
lola: 134494 markings, 140261 edges, 1113 markings/sec, 145 secs
lola: 140025 markings, 146031 edges, 1106 markings/sec, 150 secs
lola: 145567 markings, 151733 edges, 1108 markings/sec, 155 secs
lola: 151110 markings, 157558 edges, 1109 markings/sec, 160 secs
lola: 156669 markings, 163351 edges, 1112 markings/sec, 165 secs
lola: 162215 markings, 169127 edges, 1109 markings/sec, 170 secs
lola: 167769 markings, 174962 edges, 1111 markings/sec, 175 secs
lola: 173410 markings, 180860 edges, 1128 markings/sec, 180 secs
lola: 179005 markings, 186705 edges, 1119 markings/sec, 185 secs
lola: 184641 markings, 192611 edges, 1127 markings/sec, 190 secs
lola: 190224 markings, 198466 edges, 1117 markings/sec, 195 secs
lola: 195781 markings, 204282 edges, 1111 markings/sec, 200 secs
lola: 201282 markings, 210083 edges, 1100 markings/sec, 205 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: 88236 KB
lola: time consumption: 2921 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307)
lola: processed formula length: 338
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 7523 markings, 7783 edges, 1505 markings/sec, 30 secs
lola: 15110 markings, 15729 edges, 1517 markings/sec, 35 secs
lola: 22674 markings, 23585 edges, 1513 markings/sec, 40 secs
lola: 30217 markings, 31467 edges, 1509 markings/sec, 45 secs
lola: 37683 markings, 39486 edges, 1493 markings/sec, 50 secs
lola: 45281 markings, 47432 edges, 1520 markings/sec, 55 secs
lola: 52850 markings, 55510 edges, 1514 markings/sec, 60 secs
lola: 60392 markings, 63533 edges, 1508 markings/sec, 65 secs
lola: 68007 markings, 71418 edges, 1523 markings/sec, 70 secs
lola: 75609 markings, 79378 edges, 1520 markings/sec, 75 secs
lola: 83167 markings, 87399 edges, 1512 markings/sec, 80 secs
lola: 90776 markings, 95410 edges, 1522 markings/sec, 85 secs
lola: 98374 markings, 103490 edges, 1520 markings/sec, 90 secs
lola: 105953 markings, 111425 edges, 1516 markings/sec, 95 secs
lola: 113526 markings, 119308 edges, 1515 markings/sec, 100 secs
lola: 121106 markings, 127251 edges, 1516 markings/sec, 105 secs
lola: 128665 markings, 135301 edges, 1512 markings/sec, 110 secs
lola: 135994 markings, 142866 edges, 1466 markings/sec, 115 secs
lola: 143598 markings, 150777 edges, 1521 markings/sec, 120 secs
lola: 151157 markings, 158710 edges, 1512 markings/sec, 125 secs
lola: 158733 markings, 166657 edges, 1515 markings/sec, 130 secs
lola: 166330 markings, 174500 edges, 1519 markings/sec, 135 secs
lola: 173914 markings, 182396 edges, 1517 markings/sec, 140 secs
lola: 181447 markings, 190264 edges, 1507 markings/sec, 145 secs
lola: 189011 markings, 198219 edges, 1513 markings/sec, 150 secs
lola: 196597 markings, 206203 edges, 1517 markings/sec, 155 secs
lola: 204154 markings, 214226 edges, 1511 markings/sec, 160 secs
lola: 211728 markings, 222299 edges, 1515 markings/sec, 165 secs
lola: 219275 markings, 230417 edges, 1509 markings/sec, 170 secs
lola: 226846 markings, 238329 edges, 1514 markings/sec, 175 secs
lola: 234386 markings, 246372 edges, 1508 markings/sec, 180 secs
lola: 241934 markings, 254409 edges, 1510 markings/sec, 185 secs
lola: 249495 markings, 262246 edges, 1512 markings/sec, 190 secs
lola: 257039 markings, 270289 edges, 1509 markings/sec, 195 secs
lola: 264564 markings, 278219 edges, 1505 markings/sec, 200 secs
lola: 272055 markings, 286205 edges, 1498 markings/sec, 205 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: 100952 KB
lola: time consumption: 3135 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714)
lola: processed formula length: 338
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 5615 markings, 7270 edges, 1123 markings/sec, 30 secs
lola: 11438 markings, 15678 edges, 1165 markings/sec, 35 secs
lola: 17322 markings, 23516 edges, 1177 markings/sec, 40 secs
lola: 23236 markings, 31307 edges, 1183 markings/sec, 45 secs
lola: 29007 markings, 38730 edges, 1154 markings/sec, 50 secs
lola: 35204 markings, 46586 edges, 1239 markings/sec, 55 secs
lola: 40720 markings, 53901 edges, 1103 markings/sec, 60 secs
lola: 46484 markings, 61637 edges, 1153 markings/sec, 65 secs
lola: 52290 markings, 69397 edges, 1161 markings/sec, 70 secs
lola: 57682 markings, 76936 edges, 1078 markings/sec, 75 secs
lola: 63562 markings, 85692 edges, 1176 markings/sec, 80 secs
lola: 69496 markings, 94033 edges, 1187 markings/sec, 85 secs
lola: 75225 markings, 102891 edges, 1146 markings/sec, 90 secs
lola: 80915 markings, 110623 edges, 1138 markings/sec, 95 secs
lola: 86693 markings, 117677 edges, 1156 markings/sec, 100 secs
lola: 92549 markings, 124688 edges, 1171 markings/sec, 105 secs
lola: 98452 markings, 131754 edges, 1181 markings/sec, 110 secs
lola: 104216 markings, 139209 edges, 1153 markings/sec, 115 secs
lola: 109981 markings, 147018 edges, 1153 markings/sec, 120 secs
lola: 115597 markings, 176648 edges, 1123 markings/sec, 125 secs
lola: 121146 markings, 216512 edges, 1110 markings/sec, 130 secs
lola: 126674 markings, 258557 edges, 1106 markings/sec, 135 secs
lola: 132154 markings, 305427 edges, 1096 markings/sec, 140 secs
lola: 137982 markings, 317646 edges, 1166 markings/sec, 145 secs
lola: 143734 markings, 324775 edges, 1150 markings/sec, 150 secs
lola: 149619 markings, 331886 edges, 1177 markings/sec, 155 secs
lola: 155419 markings, 339181 edges, 1160 markings/sec, 160 secs
lola: 160945 markings, 377696 edges, 1105 markings/sec, 165 secs
lola: 166469 markings, 417890 edges, 1105 markings/sec, 170 secs
lola: 172201 markings, 435129 edges, 1146 markings/sec, 175 secs
lola: 178075 markings, 442155 edges, 1175 markings/sec, 180 secs
lola: 183965 markings, 449277 edges, 1178 markings/sec, 185 secs
lola: 189486 markings, 488229 edges, 1104 markings/sec, 190 secs
lola: 195139 markings, 515196 edges, 1131 markings/sec, 195 secs
lola: 201060 markings, 522188 edges, 1184 markings/sec, 200 secs
lola: 206807 markings, 544424 edges, 1149 markings/sec, 205 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: 86640 KB
lola: time consumption: 3349 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: processed formula length: 344
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S06J06T08-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: 6027 markings, 6154 edges, 1205 markings/sec, 30 secs
lola: 12064 markings, 12384 edges, 1207 markings/sec, 35 secs
lola: 18183 markings, 18611 edges, 1224 markings/sec, 40 secs
lola: 24238 markings, 25028 edges, 1211 markings/sec, 45 secs
lola: 30274 markings, 31219 edges, 1207 markings/sec, 50 secs
lola: 36392 markings, 37418 edges, 1224 markings/sec, 55 secs
lola: 42362 markings, 43490 edges, 1194 markings/sec, 60 secs
lola: 48310 markings, 49550 edges, 1190 markings/sec, 65 secs
lola: 54203 markings, 55610 edges, 1179 markings/sec, 70 secs
lola: 59513 markings, 61008 edges, 1062 markings/sec, 75 secs
lola: 65653 markings, 67326 edges, 1228 markings/sec, 80 secs
lola: 71769 markings, 73603 edges, 1223 markings/sec, 85 secs
lola: 77907 markings, 79832 edges, 1228 markings/sec, 90 secs
lola: 84105 markings, 86137 edges, 1240 markings/sec, 95 secs
lola: 90344 markings, 92541 edges, 1248 markings/sec, 100 secs
lola: 96534 markings, 99024 edges, 1238 markings/sec, 105 secs
lola: 102695 markings, 105474 edges, 1232 markings/sec, 110 secs
lola: 108858 markings, 111938 edges, 1233 markings/sec, 115 secs
lola: 114699 markings, 117991 edges, 1168 markings/sec, 120 secs
lola: 120677 markings, 124142 edges, 1196 markings/sec, 125 secs
lola: 126621 markings, 130265 edges, 1189 markings/sec, 130 secs
lola: 132540 markings, 136358 edges, 1184 markings/sec, 135 secs
lola: 138523 markings, 142399 edges, 1197 markings/sec, 140 secs
lola: 144483 markings, 148463 edges, 1192 markings/sec, 145 secs
lola: 150406 markings, 154562 edges, 1185 markings/sec, 150 secs
lola: 156405 markings, 160745 edges, 1200 markings/sec, 155 secs
lola: 162345 markings, 166839 edges, 1188 markings/sec, 160 secs
lola: 168296 markings, 172844 edges, 1190 markings/sec, 165 secs
lola: 174243 markings, 178897 edges, 1189 markings/sec, 170 secs
lola: 180151 markings, 185122 edges, 1182 markings/sec, 175 secs
lola: 186106 markings, 191153 edges, 1191 markings/sec, 180 secs
lola: 191977 markings, 197217 edges, 1174 markings/sec, 185 secs
lola: 197925 markings, 203291 edges, 1190 markings/sec, 190 secs
lola: 203714 markings, 209292 edges, 1158 markings/sec, 195 secs
lola: 209731 markings, 215443 edges, 1203 markings/sec, 200 secs
lola: 215690 markings, 221551 edges, 1192 markings/sec, 205 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 90088 KB
lola: time consumption: 3563 seconds
lola: memory consumption: 53524 KB
lola: time consumption: 3563 seconds

BK_STOP 1526958587122

--------------------
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="PolyORBLF-COL-S06J06T08"
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/PolyORBLF-COL-S06J06T08.tgz
mv PolyORBLF-COL-S06J06T08 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 PolyORBLF-COL-S06J06T08, 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 r124-smll-152673526900128"
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 ;