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 12M
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K 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 2.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.4K 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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 12M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-2000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658631000296
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526863316926

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-2000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-2000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-2000 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 26002/65536 symbol table entries, 10032 collisions
lola: preprocessing...
lola: Size of bit vector: 320032
lola: finding significant places
lola: 10001 places, 16001 transitions, 8000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 18001 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-2000-UpperBounds.task
lola: MAX(p8546) : MAX(p2613) : MAX(p1625) : MAX(p3934) : MAX(p4253) : MAX(p5985) : MAX(p1240) : MAX(p3260) : MAX(p7947) : MAX(p566) : MAX(p295) : MAX(p227) : MAX(p5119) : MAX(p5648) : MAX(p8835) : MAX(p5320)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8546)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8546)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 15777 markings, 29975 edges, 3155 markings/sec, 30 secs
lola: 33827 markings, 67899 edges, 3610 markings/sec, 35 secs
lola: 50902 markings, 106019 edges, 3415 markings/sec, 40 secs
lola: 68405 markings, 144150 edges, 3501 markings/sec, 45 secs
lola: 85132 markings, 181050 edges, 3345 markings/sec, 50 secs
lola: 102728 markings, 218978 edges, 3519 markings/sec, 55 secs
lola: 119529 markings, 256951 edges, 3360 markings/sec, 60 secs
lola: 136786 markings, 294904 edges, 3451 markings/sec, 65 secs
lola: 153970 markings, 332855 edges, 3437 markings/sec, 70 secs
lola: 170879 markings, 370814 edges, 3382 markings/sec, 75 secs
lola: 188097 markings, 408746 edges, 3444 markings/sec, 80 secs
lola: 205422 markings, 446671 edges, 3465 markings/sec, 85 secs
lola: 222957 markings, 484597 edges, 3507 markings/sec, 90 secs
lola: 240498 markings, 522538 edges, 3508 markings/sec, 95 secs
lola: 257261 markings, 560235 edges, 3353 markings/sec, 100 secs
lola: 274656 markings, 598170 edges, 3479 markings/sec, 105 secs
lola: 291780 markings, 636081 edges, 3425 markings/sec, 110 secs
lola: 308916 markings, 673930 edges, 3427 markings/sec, 115 secs
lola: 325636 markings, 711480 edges, 3344 markings/sec, 120 secs
lola: 342138 markings, 749430 edges, 3300 markings/sec, 125 secs
lola: 358780 markings, 787343 edges, 3328 markings/sec, 130 secs
lola: 376113 markings, 825262 edges, 3467 markings/sec, 135 secs
lola: 393031 markings, 863192 edges, 3384 markings/sec, 140 secs
lola: 409864 markings, 901122 edges, 3367 markings/sec, 145 secs
lola: 426372 markings, 939048 edges, 3302 markings/sec, 150 secs
lola: 443249 markings, 976828 edges, 3375 markings/sec, 155 secs
lola: 460210 markings, 1014755 edges, 3392 markings/sec, 160 secs
lola: 476954 markings, 1052695 edges, 3349 markings/sec, 165 secs
lola: 493838 markings, 1090630 edges, 3377 markings/sec, 170 secs
lola: 510755 markings, 1128545 edges, 3383 markings/sec, 175 secs
lola: 527800 markings, 1166476 edges, 3409 markings/sec, 180 secs
lola: 544585 markings, 1204401 edges, 3357 markings/sec, 185 secs
lola: 561500 markings, 1242321 edges, 3383 markings/sec, 190 secs
lola: 578581 markings, 1280234 edges, 3416 markings/sec, 195 secs
lola: 595277 markings, 1318171 edges, 3339 markings/sec, 200 secs
lola: 612214 markings, 1356091 edges, 3387 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: 1822732 KB
lola: time consumption: 398 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2613)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2613)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 25617 markings, 31455 edges, 5123 markings/sec, 30 secs
lola: 52252 markings, 69442 edges, 5327 markings/sec, 35 secs
lola: 79068 markings, 107459 edges, 5363 markings/sec, 40 secs
lola: 105991 markings, 145649 edges, 5385 markings/sec, 45 secs
lola: 131789 markings, 182011 edges, 5160 markings/sec, 50 secs
lola: 158610 markings, 220066 edges, 5364 markings/sec, 55 secs
lola: 185199 markings, 257984 edges, 5318 markings/sec, 60 secs
lola: 211704 markings, 295986 edges, 5301 markings/sec, 65 secs
lola: 238184 markings, 333983 edges, 5296 markings/sec, 70 secs
lola: 264853 markings, 372003 edges, 5334 markings/sec, 75 secs
lola: 291801 markings, 409965 edges, 5390 markings/sec, 80 secs
lola: 317217 markings, 447905 edges, 5083 markings/sec, 85 secs
lola: 340944 markings, 485940 edges, 4745 markings/sec, 90 secs
lola: 364668 markings, 524006 edges, 4745 markings/sec, 95 secs
lola: 388158 markings, 562072 edges, 4698 markings/sec, 100 secs
lola: 411832 markings, 600079 edges, 4735 markings/sec, 105 secs
lola: 435556 markings, 638087 edges, 4745 markings/sec, 110 secs
lola: 459141 markings, 676135 edges, 4717 markings/sec, 115 secs
lola: 483049 markings, 714160 edges, 4782 markings/sec, 120 secs
lola: 506478 markings, 752221 edges, 4686 markings/sec, 125 secs
lola: 530176 markings, 790287 edges, 4740 markings/sec, 130 secs
lola: 552505 markings, 826556 edges, 4466 markings/sec, 135 secs
lola: 576193 markings, 864713 edges, 4738 markings/sec, 140 secs
lola: 599926 markings, 902891 edges, 4747 markings/sec, 145 secs
lola: 622681 markings, 940619 edges, 4551 markings/sec, 150 secs
lola: 645365 markings, 978621 edges, 4537 markings/sec, 155 secs
lola: 667254 markings, 1016860 edges, 4378 markings/sec, 160 secs
lola: 689326 markings, 1055068 edges, 4414 markings/sec, 165 secs
lola: 710254 markings, 1091605 edges, 4186 markings/sec, 170 secs
lola: 731894 markings, 1129765 edges, 4328 markings/sec, 175 secs
lola: 753969 markings, 1167892 edges, 4415 markings/sec, 180 secs
lola: 775401 markings, 1204396 edges, 4286 markings/sec, 185 secs
lola: 797083 markings, 1242632 edges, 4336 markings/sec, 190 secs
lola: 818659 markings, 1280840 edges, 4315 markings/sec, 195 secs
lola: 840923 markings, 1319044 edges, 4453 markings/sec, 200 secs
lola: 863391 markings, 1357256 edges, 4494 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: 1206152 KB
lola: time consumption: 609 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1625)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1625)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 15849 markings, 29171 edges, 3170 markings/sec, 30 secs
lola: 30730 markings, 67098 edges, 2976 markings/sec, 35 secs
lola: 44890 markings, 104779 edges, 2832 markings/sec, 40 secs
lola: 58408 markings, 142992 edges, 2704 markings/sec, 45 secs
lola: 71853 markings, 181259 edges, 2689 markings/sec, 50 secs
lola: 84638 markings, 219518 edges, 2557 markings/sec, 55 secs
lola: 97426 markings, 257723 edges, 2558 markings/sec, 60 secs
lola: 109748 markings, 295848 edges, 2464 markings/sec, 65 secs
lola: 122110 markings, 333974 edges, 2472 markings/sec, 70 secs
lola: 134067 markings, 372100 edges, 2391 markings/sec, 75 secs
lola: 146165 markings, 410226 edges, 2420 markings/sec, 80 secs
lola: 158142 markings, 448338 edges, 2395 markings/sec, 85 secs
lola: 170168 markings, 486438 edges, 2405 markings/sec, 90 secs
lola: 181873 markings, 524556 edges, 2341 markings/sec, 95 secs
lola: 193301 markings, 562672 edges, 2286 markings/sec, 100 secs
lola: 204333 markings, 598881 edges, 2206 markings/sec, 105 secs
lola: 214117 markings, 633269 edges, 1957 markings/sec, 110 secs
lola: 225837 markings, 671359 edges, 2344 markings/sec, 115 secs
lola: 236806 markings, 709472 edges, 2194 markings/sec, 120 secs
lola: 248032 markings, 747575 edges, 2245 markings/sec, 125 secs
lola: 259349 markings, 785683 edges, 2263 markings/sec, 130 secs
lola: 270949 markings, 823762 edges, 2320 markings/sec, 135 secs
lola: 281959 markings, 861868 edges, 2202 markings/sec, 140 secs
lola: 293352 markings, 899967 edges, 2279 markings/sec, 145 secs
lola: 304357 markings, 938063 edges, 2201 markings/sec, 150 secs
lola: 315053 markings, 976173 edges, 2139 markings/sec, 155 secs
lola: 325865 markings, 1014280 edges, 2162 markings/sec, 160 secs
lola: 337030 markings, 1052383 edges, 2233 markings/sec, 165 secs
lola: 347802 markings, 1090487 edges, 2154 markings/sec, 170 secs
lola: 358963 markings, 1128569 edges, 2232 markings/sec, 175 secs
lola: 369634 markings, 1166650 edges, 2134 markings/sec, 180 secs
lola: 380038 markings, 1204780 edges, 2081 markings/sec, 185 secs
lola: 390375 markings, 1242894 edges, 2067 markings/sec, 190 secs
lola: 400897 markings, 1280986 edges, 2104 markings/sec, 195 secs
lola: 411761 markings, 1319093 edges, 2173 markings/sec, 200 secs
lola: 422395 markings, 1357195 edges, 2127 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: 1005648 KB
lola: time consumption: 820 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3934)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3934)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 13507 markings, 30347 edges, 2701 markings/sec, 30 secs
lola: 27122 markings, 68837 edges, 2723 markings/sec, 35 secs
lola: 39940 markings, 107303 edges, 2564 markings/sec, 40 secs
lola: 52639 markings, 145741 edges, 2540 markings/sec, 45 secs
lola: 64509 markings, 182486 edges, 2374 markings/sec, 50 secs
lola: 76461 markings, 220835 edges, 2390 markings/sec, 55 secs
lola: 88542 markings, 259267 edges, 2416 markings/sec, 60 secs
lola: 100547 markings, 297695 edges, 2401 markings/sec, 65 secs
lola: 112696 markings, 336133 edges, 2430 markings/sec, 70 secs
lola: 124183 markings, 374570 edges, 2297 markings/sec, 75 secs
lola: 136079 markings, 412984 edges, 2379 markings/sec, 80 secs
lola: 147567 markings, 451398 edges, 2298 markings/sec, 85 secs
lola: 159376 markings, 489784 edges, 2362 markings/sec, 90 secs
lola: 171019 markings, 528104 edges, 2329 markings/sec, 95 secs
lola: 182461 markings, 566438 edges, 2288 markings/sec, 100 secs
lola: 193719 markings, 604837 edges, 2252 markings/sec, 105 secs
lola: 204920 markings, 643201 edges, 2240 markings/sec, 110 secs
lola: 216366 markings, 681597 edges, 2289 markings/sec, 115 secs
lola: 228124 markings, 719981 edges, 2352 markings/sec, 120 secs
lola: 239617 markings, 758356 edges, 2299 markings/sec, 125 secs
lola: 251054 markings, 796727 edges, 2287 markings/sec, 130 secs
lola: 262213 markings, 834739 edges, 2232 markings/sec, 135 secs
lola: 273338 markings, 872584 edges, 2225 markings/sec, 140 secs
lola: 284410 markings, 909756 edges, 2214 markings/sec, 145 secs
lola: 295918 markings, 948058 edges, 2302 markings/sec, 150 secs
lola: 307269 markings, 986350 edges, 2270 markings/sec, 155 secs
lola: 318329 markings, 1024651 edges, 2212 markings/sec, 160 secs
lola: 329425 markings, 1062966 edges, 2219 markings/sec, 165 secs
lola: 340393 markings, 1101265 edges, 2194 markings/sec, 170 secs
lola: 351571 markings, 1139570 edges, 2236 markings/sec, 175 secs
lola: 363082 markings, 1177865 edges, 2302 markings/sec, 180 secs
lola: 374125 markings, 1216066 edges, 2209 markings/sec, 185 secs
lola: 385260 markings, 1254372 edges, 2227 markings/sec, 190 secs
lola: 396240 markings, 1292666 edges, 2196 markings/sec, 195 secs
lola: 406994 markings, 1330965 edges, 2151 markings/sec, 200 secs
lola: 417883 markings, 1369265 edges, 2178 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: 627388 KB
lola: time consumption: 1031 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4253)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4253)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 24292 markings, 29576 edges, 4858 markings/sec, 30 secs
lola: 50598 markings, 67030 edges, 5261 markings/sec, 35 secs
lola: 76976 markings, 104533 edges, 5276 markings/sec, 40 secs
lola: 103411 markings, 142042 edges, 5287 markings/sec, 45 secs
lola: 130001 markings, 179527 edges, 5318 markings/sec, 50 secs
lola: 156458 markings, 217006 edges, 5291 markings/sec, 55 secs
lola: 182764 markings, 254492 edges, 5261 markings/sec, 60 secs
lola: 208891 markings, 291962 edges, 5225 markings/sec, 65 secs
lola: 235016 markings, 329434 edges, 5225 markings/sec, 70 secs
lola: 261153 markings, 366928 edges, 5227 markings/sec, 75 secs
lola: 287761 markings, 404209 edges, 5322 markings/sec, 80 secs
lola: 313090 markings, 441360 edges, 5066 markings/sec, 85 secs
lola: 336354 markings, 478679 edges, 4653 markings/sec, 90 secs
lola: 359740 markings, 516084 edges, 4677 markings/sec, 95 secs
lola: 382862 markings, 553528 edges, 4624 markings/sec, 100 secs
lola: 406088 markings, 590976 edges, 4645 markings/sec, 105 secs
lola: 429568 markings, 628402 edges, 4696 markings/sec, 110 secs
lola: 452836 markings, 665853 edges, 4654 markings/sec, 115 secs
lola: 476235 markings, 703318 edges, 4680 markings/sec, 120 secs
lola: 499457 markings, 740790 edges, 4644 markings/sec, 125 secs
lola: 522810 markings, 778258 edges, 4671 markings/sec, 130 secs
lola: 545956 markings, 815763 edges, 4629 markings/sec, 135 secs
lola: 569201 markings, 853265 edges, 4649 markings/sec, 140 secs
lola: 592283 markings, 890714 edges, 4616 markings/sec, 145 secs
lola: 615323 markings, 928108 edges, 4608 markings/sec, 150 secs
lola: 637763 markings, 965535 edges, 4488 markings/sec, 155 secs
lola: 659360 markings, 1002950 edges, 4319 markings/sec, 160 secs
lola: 681138 markings, 1040344 edges, 4356 markings/sec, 165 secs
lola: 702499 markings, 1077739 edges, 4272 markings/sec, 170 secs
lola: 723604 markings, 1115140 edges, 4221 markings/sec, 175 secs
lola: 745172 markings, 1152564 edges, 4314 markings/sec, 180 secs
lola: 767277 markings, 1189991 edges, 4421 markings/sec, 185 secs
lola: 788540 markings, 1227409 edges, 4253 markings/sec, 190 secs
lola: 809651 markings, 1264841 edges, 4222 markings/sec, 195 secs
lola: 831303 markings, 1302267 edges, 4330 markings/sec, 200 secs
lola: 853281 markings, 1339720 edges, 4396 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: 5686168 KB
lola: time consumption: 1242 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5985)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5985)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 15589 markings, 28598 edges, 3118 markings/sec, 30 secs
lola: 30498 markings, 66578 edges, 2982 markings/sec, 35 secs
lola: 44817 markings, 104561 edges, 2864 markings/sec, 40 secs
lola: 58220 markings, 142368 edges, 2681 markings/sec, 45 secs
lola: 71546 markings, 180141 edges, 2665 markings/sec, 50 secs
lola: 84041 markings, 217909 edges, 2499 markings/sec, 55 secs
lola: 96636 markings, 255627 edges, 2519 markings/sec, 60 secs
lola: 108816 markings, 293370 edges, 2436 markings/sec, 65 secs
lola: 121254 markings, 331100 edges, 2488 markings/sec, 70 secs
lola: 131285 markings, 363284 edges, 2006 markings/sec, 75 secs
lola: 143305 markings, 401010 edges, 2404 markings/sec, 80 secs
lola: 155166 markings, 438724 edges, 2372 markings/sec, 85 secs
lola: 167157 markings, 476443 edges, 2398 markings/sec, 90 secs
lola: 178691 markings, 514160 edges, 2307 markings/sec, 95 secs
lola: 189928 markings, 551871 edges, 2247 markings/sec, 100 secs
lola: 201533 markings, 589580 edges, 2321 markings/sec, 105 secs
lola: 212394 markings, 627295 edges, 2172 markings/sec, 110 secs
lola: 223910 markings, 664992 edges, 2303 markings/sec, 115 secs
lola: 234769 markings, 702702 edges, 2172 markings/sec, 120 secs
lola: 245966 markings, 740408 edges, 2239 markings/sec, 125 secs
lola: 257046 markings, 778104 edges, 2216 markings/sec, 130 secs
lola: 268711 markings, 815798 edges, 2333 markings/sec, 135 secs
lola: 279582 markings, 853496 edges, 2174 markings/sec, 140 secs
lola: 290920 markings, 891181 edges, 2268 markings/sec, 145 secs
lola: 301598 markings, 928882 edges, 2136 markings/sec, 150 secs
lola: 312145 markings, 966571 edges, 2109 markings/sec, 155 secs
lola: 323154 markings, 1004242 edges, 2202 markings/sec, 160 secs
lola: 334006 markings, 1041929 edges, 2170 markings/sec, 165 secs
lola: 344719 markings, 1079626 edges, 2143 markings/sec, 170 secs
lola: 355749 markings, 1117312 edges, 2206 markings/sec, 175 secs
lola: 366416 markings, 1154996 edges, 2133 markings/sec, 180 secs
lola: 376709 markings, 1192676 edges, 2059 markings/sec, 185 secs
lola: 387096 markings, 1230366 edges, 2077 markings/sec, 190 secs
lola: 397422 markings, 1268062 edges, 2065 markings/sec, 195 secs
lola: 408108 markings, 1305756 edges, 2137 markings/sec, 200 secs
lola: 418605 markings, 1343434 edges, 2099 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: 2161752 KB
lola: time consumption: 1453 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1240)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1240)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 16196 markings, 30044 edges, 3239 markings/sec, 30 secs
lola: 31211 markings, 68272 edges, 3003 markings/sec, 35 secs
lola: 45497 markings, 106469 edges, 2857 markings/sec, 40 secs
lola: 59076 markings, 144663 edges, 2716 markings/sec, 45 secs
lola: 72366 markings, 182977 edges, 2658 markings/sec, 50 secs
lola: 85223 markings, 221295 edges, 2571 markings/sec, 55 secs
lola: 98038 markings, 259593 edges, 2563 markings/sec, 60 secs
lola: 110322 markings, 297890 edges, 2457 markings/sec, 65 secs
lola: 122752 markings, 336139 edges, 2486 markings/sec, 70 secs
lola: 134743 markings, 374330 edges, 2398 markings/sec, 75 secs
lola: 146354 markings, 410862 edges, 2322 markings/sec, 80 secs
lola: 158429 markings, 449008 edges, 2415 markings/sec, 85 secs
lola: 170445 markings, 487142 edges, 2403 markings/sec, 90 secs
lola: 182072 markings, 525279 edges, 2325 markings/sec, 95 secs
lola: 193548 markings, 563416 edges, 2295 markings/sec, 100 secs
lola: 205038 markings, 601546 edges, 2298 markings/sec, 105 secs
lola: 216100 markings, 639690 edges, 2212 markings/sec, 110 secs
lola: 227823 markings, 677826 edges, 2345 markings/sec, 115 secs
lola: 238829 markings, 715956 edges, 2201 markings/sec, 120 secs
lola: 249784 markings, 754094 edges, 2191 markings/sec, 125 secs
lola: 261511 markings, 792228 edges, 2345 markings/sec, 130 secs
lola: 272779 markings, 830357 edges, 2254 markings/sec, 135 secs
lola: 283888 markings, 868492 edges, 2222 markings/sec, 140 secs
lola: 295367 markings, 906621 edges, 2296 markings/sec, 145 secs
lola: 306106 markings, 944751 edges, 2148 markings/sec, 150 secs
lola: 316928 markings, 982887 edges, 2164 markings/sec, 155 secs
lola: 327845 markings, 1021019 edges, 2183 markings/sec, 160 secs
lola: 338935 markings, 1059136 edges, 2218 markings/sec, 165 secs
lola: 349714 markings, 1097264 edges, 2156 markings/sec, 170 secs
lola: 360941 markings, 1135396 edges, 2245 markings/sec, 175 secs
lola: 371571 markings, 1173517 edges, 2126 markings/sec, 180 secs
lola: 381787 markings, 1211664 edges, 2043 markings/sec, 185 secs
lola: 392362 markings, 1249802 edges, 2115 markings/sec, 190 secs
lola: 402528 markings, 1287424 edges, 2033 markings/sec, 195 secs
lola: 413281 markings, 1325084 edges, 2151 markings/sec, 200 secs
lola: 424070 markings, 1362855 edges, 2158 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: 824392 KB
lola: time consumption: 1665 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3260)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 16797 markings, 31335 edges, 3359 markings/sec, 30 secs
lola: 31756 markings, 69503 edges, 2992 markings/sec, 35 secs
lola: 45933 markings, 107554 edges, 2835 markings/sec, 40 secs
lola: 59323 markings, 145447 edges, 2678 markings/sec, 45 secs
lola: 72478 markings, 183320 edges, 2631 markings/sec, 50 secs
lola: 85162 markings, 221181 edges, 2537 markings/sec, 55 secs
lola: 97846 markings, 259007 edges, 2537 markings/sec, 60 secs
lola: 110018 markings, 296833 edges, 2434 markings/sec, 65 secs
lola: 122253 markings, 334567 edges, 2447 markings/sec, 70 secs
lola: 134138 markings, 372365 edges, 2377 markings/sec, 75 secs
lola: 146135 markings, 410160 edges, 2399 markings/sec, 80 secs
lola: 158043 markings, 447944 edges, 2382 markings/sec, 85 secs
lola: 169939 markings, 485720 edges, 2379 markings/sec, 90 secs
lola: 181594 markings, 523506 edges, 2331 markings/sec, 95 secs
lola: 192913 markings, 561281 edges, 2264 markings/sec, 100 secs
lola: 204413 markings, 599054 edges, 2300 markings/sec, 105 secs
lola: 215290 markings, 636830 edges, 2175 markings/sec, 110 secs
lola: 226814 markings, 674599 edges, 2305 markings/sec, 115 secs
lola: 237700 markings, 712373 edges, 2177 markings/sec, 120 secs
lola: 248784 markings, 750140 edges, 2217 markings/sec, 125 secs
lola: 260132 markings, 787914 edges, 2270 markings/sec, 130 secs
lola: 271494 markings, 825679 edges, 2272 markings/sec, 135 secs
lola: 282348 markings, 863417 edges, 2171 markings/sec, 140 secs
lola: 293755 markings, 901176 edges, 2281 markings/sec, 145 secs
lola: 304605 markings, 938941 edges, 2170 markings/sec, 150 secs
lola: 315147 markings, 976708 edges, 2108 markings/sec, 155 secs
lola: 325921 markings, 1014466 edges, 2155 markings/sec, 160 secs
lola: 336989 markings, 1052226 edges, 2214 markings/sec, 165 secs
lola: 347706 markings, 1089983 edges, 2143 markings/sec, 170 secs
lola: 358815 markings, 1127752 edges, 2222 markings/sec, 175 secs
lola: 369317 markings, 1165513 edges, 2100 markings/sec, 180 secs
lola: 379632 markings, 1203273 edges, 2063 markings/sec, 185 secs
lola: 389885 markings, 1241046 edges, 2051 markings/sec, 190 secs
lola: 400190 markings, 1278818 edges, 2061 markings/sec, 195 secs
lola: 411165 markings, 1316571 edges, 2195 markings/sec, 200 secs
lola: 421576 markings, 1354334 edges, 2082 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: 2326436 KB
lola: time consumption: 1876 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7947)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7947)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 21219 markings, 29512 edges, 4244 markings/sec, 30 secs
lola: 47523 markings, 67464 edges, 5261 markings/sec, 35 secs
lola: 71203 markings, 105318 edges, 4736 markings/sec, 40 secs
lola: 94122 markings, 143148 edges, 4584 markings/sec, 45 secs
lola: 117250 markings, 180972 edges, 4626 markings/sec, 50 secs
lola: 140164 markings, 218863 edges, 4583 markings/sec, 55 secs
lola: 163400 markings, 256752 edges, 4647 markings/sec, 60 secs
lola: 186195 markings, 294636 edges, 4559 markings/sec, 65 secs
lola: 209557 markings, 332506 edges, 4672 markings/sec, 70 secs
lola: 232341 markings, 370356 edges, 4557 markings/sec, 75 secs
lola: 255679 markings, 408175 edges, 4668 markings/sec, 80 secs
lola: 278471 markings, 446014 edges, 4558 markings/sec, 85 secs
lola: 301594 markings, 483835 edges, 4625 markings/sec, 90 secs
lola: 324609 markings, 521654 edges, 4603 markings/sec, 95 secs
lola: 347415 markings, 559482 edges, 4561 markings/sec, 100 secs
lola: 370772 markings, 597295 edges, 4671 markings/sec, 105 secs
lola: 393589 markings, 635121 edges, 4563 markings/sec, 110 secs
lola: 416532 markings, 672912 edges, 4589 markings/sec, 115 secs
lola: 439734 markings, 710681 edges, 4640 markings/sec, 120 secs
lola: 462537 markings, 748453 edges, 4561 markings/sec, 125 secs
lola: 485528 markings, 786216 edges, 4598 markings/sec, 130 secs
lola: 508696 markings, 823979 edges, 4634 markings/sec, 135 secs
lola: 531514 markings, 861742 edges, 4564 markings/sec, 140 secs
lola: 554358 markings, 899508 edges, 4569 markings/sec, 145 secs
lola: 577704 markings, 937262 edges, 4669 markings/sec, 150 secs
lola: 600552 markings, 975039 edges, 4570 markings/sec, 155 secs
lola: 623414 markings, 1012823 edges, 4572 markings/sec, 160 secs
lola: 646386 markings, 1050580 edges, 4594 markings/sec, 165 secs
lola: 669635 markings, 1088317 edges, 4650 markings/sec, 170 secs
lola: 692501 markings, 1126075 edges, 4573 markings/sec, 175 secs
lola: 715375 markings, 1163834 edges, 4575 markings/sec, 180 secs
lola: 738254 markings, 1201587 edges, 4576 markings/sec, 185 secs
lola: 761313 markings, 1239330 edges, 4612 markings/sec, 190 secs
lola: 784525 markings, 1277075 edges, 4642 markings/sec, 195 secs
lola: 807433 markings, 1314828 edges, 4582 markings/sec, 200 secs
lola: 830333 markings, 1352571 edges, 4580 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: 3608344 KB
lola: time consumption: 2087 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p566)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p566)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 15448 markings, 29315 edges, 3090 markings/sec, 30 secs
lola: 33562 markings, 67331 edges, 3623 markings/sec, 35 secs
lola: 49886 markings, 103724 edges, 3265 markings/sec, 40 secs
lola: 67354 markings, 141850 edges, 3494 markings/sec, 45 secs
lola: 84675 markings, 180037 edges, 3464 markings/sec, 50 secs
lola: 102335 markings, 218150 edges, 3532 markings/sec, 55 secs
lola: 119219 markings, 256202 edges, 3377 markings/sec, 60 secs
lola: 135287 markings, 291642 edges, 3214 markings/sec, 65 secs
lola: 152383 markings, 329549 edges, 3419 markings/sec, 70 secs
lola: 169320 markings, 367498 edges, 3387 markings/sec, 75 secs
lola: 186697 markings, 405444 edges, 3475 markings/sec, 80 secs
lola: 203425 markings, 442201 edges, 3346 markings/sec, 85 secs
lola: 220511 markings, 479573 edges, 3417 markings/sec, 90 secs
lola: 238049 markings, 517257 edges, 3508 markings/sec, 95 secs
lola: 254862 markings, 554998 edges, 3363 markings/sec, 100 secs
lola: 272255 markings, 592695 edges, 3479 markings/sec, 105 secs
lola: 289087 markings, 630426 edges, 3366 markings/sec, 110 secs
lola: 306594 markings, 668150 edges, 3501 markings/sec, 115 secs
lola: 323071 markings, 705904 edges, 3295 markings/sec, 120 secs
lola: 339556 markings, 743659 edges, 3297 markings/sec, 125 secs
lola: 355569 markings, 779774 edges, 3203 markings/sec, 130 secs
lola: 372759 markings, 817890 edges, 3438 markings/sec, 135 secs
lola: 389716 markings, 856020 edges, 3391 markings/sec, 140 secs
lola: 406777 markings, 894151 edges, 3412 markings/sec, 145 secs
lola: 423482 markings, 932275 edges, 3341 markings/sec, 150 secs
lola: 440296 markings, 970420 edges, 3363 markings/sec, 155 secs
lola: 457412 markings, 1008534 edges, 3423 markings/sec, 160 secs
lola: 474312 markings, 1046673 edges, 3380 markings/sec, 165 secs
lola: 491197 markings, 1084814 edges, 3377 markings/sec, 170 secs
lola: 508154 markings, 1122933 edges, 3391 markings/sec, 175 secs
lola: 525149 markings, 1161059 edges, 3399 markings/sec, 180 secs
lola: 542241 markings, 1199185 edges, 3418 markings/sec, 185 secs
lola: 559395 markings, 1237316 edges, 3431 markings/sec, 190 secs
lola: 576748 markings, 1275427 edges, 3471 markings/sec, 195 secs
lola: 593271 markings, 1313591 edges, 3305 markings/sec, 200 secs
lola: 610062 markings, 1351727 edges, 3358 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: 1277836 KB
lola: time consumption: 2298 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p295)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 16104 markings, 29865 edges, 3221 markings/sec, 30 secs
lola: 31068 markings, 67917 edges, 2993 markings/sec, 35 secs
lola: 45344 markings, 106121 edges, 2855 markings/sec, 40 secs
lola: 58900 markings, 144223 edges, 2711 markings/sec, 45 secs
lola: 72122 markings, 182192 edges, 2644 markings/sec, 50 secs
lola: 84819 markings, 220151 edges, 2539 markings/sec, 55 secs
lola: 97565 markings, 258097 edges, 2549 markings/sec, 60 secs
lola: 109789 markings, 296032 edges, 2445 markings/sec, 65 secs
lola: 122093 markings, 333942 edges, 2461 markings/sec, 70 secs
lola: 134020 markings, 371875 edges, 2385 markings/sec, 75 secs
lola: 146022 markings, 409794 edges, 2400 markings/sec, 80 secs
lola: 157946 markings, 447705 edges, 2385 markings/sec, 85 secs
lola: 169915 markings, 485620 edges, 2394 markings/sec, 90 secs
lola: 181603 markings, 523538 edges, 2338 markings/sec, 95 secs
lola: 192955 markings, 561441 edges, 2270 markings/sec, 100 secs
lola: 204512 markings, 599356 edges, 2311 markings/sec, 105 secs
lola: 215404 markings, 637269 edges, 2178 markings/sec, 110 secs
lola: 226961 markings, 675178 edges, 2311 markings/sec, 115 secs
lola: 237901 markings, 713087 edges, 2188 markings/sec, 120 secs
lola: 248958 markings, 750994 edges, 2211 markings/sec, 125 secs
lola: 260492 markings, 788897 edges, 2307 markings/sec, 130 secs
lola: 271774 markings, 826796 edges, 2256 markings/sec, 135 secs
lola: 282723 markings, 864698 edges, 2190 markings/sec, 140 secs
lola: 294225 markings, 902599 edges, 2300 markings/sec, 145 secs
lola: 304975 markings, 940492 edges, 2150 markings/sec, 150 secs
lola: 315614 markings, 978399 edges, 2128 markings/sec, 155 secs
lola: 326468 markings, 1016293 edges, 2171 markings/sec, 160 secs
lola: 337551 markings, 1054173 edges, 2217 markings/sec, 165 secs
lola: 348274 markings, 1092063 edges, 2145 markings/sec, 170 secs
lola: 359341 markings, 1129951 edges, 2213 markings/sec, 175 secs
lola: 369907 markings, 1167834 edges, 2113 markings/sec, 180 secs
lola: 380263 markings, 1205730 edges, 2071 markings/sec, 185 secs
lola: 390644 markings, 1243630 edges, 2076 markings/sec, 190 secs
lola: 401017 markings, 1281523 edges, 2075 markings/sec, 195 secs
lola: 411843 markings, 1319417 edges, 2165 markings/sec, 200 secs
lola: 422431 markings, 1357301 edges, 2118 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: 1691104 KB
lola: time consumption: 2509 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p227)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p227)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 22057 markings, 30809 edges, 4411 markings/sec, 30 secs
lola: 48689 markings, 68718 edges, 5326 markings/sec, 35 secs
lola: 72027 markings, 106592 edges, 4668 markings/sec, 40 secs
lola: 94771 markings, 144439 edges, 4549 markings/sec, 45 secs
lola: 118088 markings, 182267 edges, 4663 markings/sec, 50 secs
lola: 140840 markings, 220108 edges, 4550 markings/sec, 55 secs
lola: 164154 markings, 257917 edges, 4663 markings/sec, 60 secs
lola: 186910 markings, 295741 edges, 4551 markings/sec, 65 secs
lola: 210233 markings, 333551 edges, 4665 markings/sec, 70 secs
lola: 232986 markings, 371353 edges, 4551 markings/sec, 75 secs
lola: 256279 markings, 409124 edges, 4659 markings/sec, 80 secs
lola: 279040 markings, 446893 edges, 4552 markings/sec, 85 secs
lola: 302007 markings, 484662 edges, 4593 markings/sec, 90 secs
lola: 325104 markings, 522418 edges, 4619 markings/sec, 95 secs
lola: 347876 markings, 560194 edges, 4554 markings/sec, 100 secs
lola: 371202 markings, 597959 edges, 4665 markings/sec, 105 secs
lola: 393986 markings, 635735 edges, 4557 markings/sec, 110 secs
lola: 416818 markings, 673484 edges, 4566 markings/sec, 115 secs
lola: 440066 markings, 711194 edges, 4650 markings/sec, 120 secs
lola: 462849 markings, 748936 edges, 4557 markings/sec, 125 secs
lola: 485372 markings, 785905 edges, 4505 markings/sec, 130 secs
lola: 507975 markings, 822865 edges, 4521 markings/sec, 135 secs
lola: 530286 markings, 859845 edges, 4462 markings/sec, 140 secs
lola: 553009 markings, 896810 edges, 4545 markings/sec, 145 secs
lola: 575451 markings, 933780 edges, 4488 markings/sec, 150 secs
lola: 597771 markings, 970741 edges, 4464 markings/sec, 155 secs
lola: 620476 markings, 1007696 edges, 4541 markings/sec, 160 secs
lola: 642973 markings, 1044679 edges, 4499 markings/sec, 165 secs
lola: 665328 markings, 1081661 edges, 4471 markings/sec, 170 secs
lola: 687874 markings, 1118765 edges, 4509 markings/sec, 175 secs
lola: 710952 markings, 1156196 edges, 4616 markings/sec, 180 secs
lola: 732269 markings, 1191541 edges, 4263 markings/sec, 185 secs
lola: 755110 markings, 1229227 edges, 4568 markings/sec, 190 secs
lola: 777997 markings, 1266906 edges, 4577 markings/sec, 195 secs
lola: 800273 markings, 1302979 edges, 4455 markings/sec, 200 secs
lola: 823147 markings, 1340683 edges, 4575 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: 3392008 KB
lola: time consumption: 2721 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5119)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 14027 markings, 31833 edges, 2805 markings/sec, 30 secs
lola: 27583 markings, 70354 edges, 2711 markings/sec, 35 secs
lola: 40484 markings, 108865 edges, 2580 markings/sec, 40 secs
lola: 53121 markings, 147362 edges, 2527 markings/sec, 45 secs
lola: 65532 markings, 185863 edges, 2482 markings/sec, 50 secs
lola: 77593 markings, 224355 edges, 2412 markings/sec, 55 secs
lola: 89718 markings, 262833 edges, 2425 markings/sec, 60 secs
lola: 101680 markings, 301286 edges, 2392 markings/sec, 65 secs
lola: 113766 markings, 339759 edges, 2417 markings/sec, 70 secs
lola: 125267 markings, 378224 edges, 2300 markings/sec, 75 secs
lola: 137196 markings, 416668 edges, 2386 markings/sec, 80 secs
lola: 148820 markings, 455184 edges, 2325 markings/sec, 85 secs
lola: 160651 markings, 493697 edges, 2366 markings/sec, 90 secs
lola: 172220 markings, 532203 edges, 2314 markings/sec, 95 secs
lola: 183669 markings, 570726 edges, 2290 markings/sec, 100 secs
lola: 194997 markings, 609203 edges, 2266 markings/sec, 105 secs
lola: 206262 markings, 647711 edges, 2253 markings/sec, 110 secs
lola: 217767 markings, 686237 edges, 2301 markings/sec, 115 secs
lola: 229510 markings, 724742 edges, 2349 markings/sec, 120 secs
lola: 241075 markings, 763245 edges, 2313 markings/sec, 125 secs
lola: 252516 markings, 801740 edges, 2288 markings/sec, 130 secs
lola: 263810 markings, 840247 edges, 2259 markings/sec, 135 secs
lola: 275091 markings, 878734 edges, 2256 markings/sec, 140 secs
lola: 286600 markings, 917172 edges, 2302 markings/sec, 145 secs
lola: 298160 markings, 955611 edges, 2312 markings/sec, 150 secs
lola: 309539 markings, 994040 edges, 2276 markings/sec, 155 secs
lola: 320628 markings, 1032482 edges, 2218 markings/sec, 160 secs
lola: 331697 markings, 1070919 edges, 2214 markings/sec, 165 secs
lola: 342774 markings, 1109347 edges, 2215 markings/sec, 170 secs
lola: 354031 markings, 1147783 edges, 2251 markings/sec, 175 secs
lola: 365555 markings, 1186230 edges, 2305 markings/sec, 180 secs
lola: 376678 markings, 1224650 edges, 2225 markings/sec, 185 secs
lola: 387892 markings, 1263081 edges, 2243 markings/sec, 190 secs
lola: 398793 markings, 1301524 edges, 2180 markings/sec, 195 secs
lola: 409507 markings, 1339954 edges, 2143 markings/sec, 200 secs
lola: 420443 markings, 1378374 edges, 2187 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: 392148 KB
lola: time consumption: 2933 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5648)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5648)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 24165 markings, 29410 edges, 4833 markings/sec, 30 secs
lola: 50471 markings, 66838 edges, 5261 markings/sec, 35 secs
lola: 76675 markings, 104097 edges, 5241 markings/sec, 40 secs
lola: 102989 markings, 141384 edges, 5263 markings/sec, 45 secs
lola: 129389 markings, 178670 edges, 5280 markings/sec, 50 secs
lola: 155795 markings, 215980 edges, 5281 markings/sec, 55 secs
lola: 181842 markings, 253286 edges, 5209 markings/sec, 60 secs
lola: 207956 markings, 290593 edges, 5223 markings/sec, 65 secs
lola: 233942 markings, 327902 edges, 5197 markings/sec, 70 secs
lola: 259932 markings, 365144 edges, 5198 markings/sec, 75 secs
lola: 286447 markings, 402346 edges, 5303 markings/sec, 80 secs
lola: 311973 markings, 439597 edges, 5105 markings/sec, 85 secs
lola: 335215 markings, 476856 edges, 4648 markings/sec, 90 secs
lola: 358487 markings, 514119 edges, 4654 markings/sec, 95 secs
lola: 381565 markings, 551425 edges, 4616 markings/sec, 100 secs
lola: 404773 markings, 588858 edges, 4642 markings/sec, 105 secs
lola: 428242 markings, 626284 edges, 4694 markings/sec, 110 secs
lola: 451523 markings, 663702 edges, 4656 markings/sec, 115 secs
lola: 474833 markings, 701145 edges, 4662 markings/sec, 120 secs
lola: 498071 markings, 738600 edges, 4648 markings/sec, 125 secs
lola: 521408 markings, 776015 edges, 4667 markings/sec, 130 secs
lola: 544513 markings, 813377 edges, 4621 markings/sec, 135 secs
lola: 567613 markings, 850714 edges, 4620 markings/sec, 140 secs
lola: 590641 markings, 888064 edges, 4606 markings/sec, 145 secs
lola: 613748 markings, 925533 edges, 4621 markings/sec, 150 secs
lola: 636182 markings, 963014 edges, 4487 markings/sec, 155 secs
lola: 657902 markings, 1000479 edges, 4344 markings/sec, 160 secs
lola: 679633 markings, 1037930 edges, 4346 markings/sec, 165 secs
lola: 701088 markings, 1075349 edges, 4291 markings/sec, 170 secs
lola: 722285 markings, 1112778 edges, 4239 markings/sec, 175 secs
lola: 743888 markings, 1150173 edges, 4321 markings/sec, 180 secs
lola: 765782 markings, 1187568 edges, 4379 markings/sec, 185 secs
lola: 787074 markings, 1224954 edges, 4258 markings/sec, 190 secs
lola: 808291 markings, 1262354 edges, 4243 markings/sec, 195 secs
lola: 829797 markings, 1299727 edges, 4301 markings/sec, 200 secs
lola: 851761 markings, 1337090 edges, 4393 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: 5478356 KB
lola: time consumption: 3145 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8835)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8835)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 15802 markings, 29051 edges, 3160 markings/sec, 30 secs
lola: 30881 markings, 67443 edges, 3016 markings/sec, 35 secs
lola: 45239 markings, 105814 edges, 2872 markings/sec, 40 secs
lola: 58887 markings, 144184 edges, 2730 markings/sec, 45 secs
lola: 72214 markings, 182527 edges, 2665 markings/sec, 50 secs
lola: 85045 markings, 220875 edges, 2566 markings/sec, 55 secs
lola: 97945 markings, 259228 edges, 2580 markings/sec, 60 secs
lola: 110253 markings, 297661 edges, 2462 markings/sec, 65 secs
lola: 122740 markings, 336088 edges, 2497 markings/sec, 70 secs
lola: 134864 markings, 374532 edges, 2425 markings/sec, 75 secs
lola: 146992 markings, 412959 edges, 2426 markings/sec, 80 secs
lola: 159343 markings, 451361 edges, 2470 markings/sec, 85 secs
lola: 171242 markings, 489789 edges, 2380 markings/sec, 90 secs
lola: 182805 markings, 527834 edges, 2313 markings/sec, 95 secs
lola: 194165 markings, 565754 edges, 2272 markings/sec, 100 secs
lola: 205044 markings, 601568 edges, 2176 markings/sec, 105 secs
lola: 216175 markings, 639941 edges, 2226 markings/sec, 110 secs
lola: 227816 markings, 677799 edges, 2328 markings/sec, 115 secs
lola: 238541 markings, 714956 edges, 2145 markings/sec, 120 secs
lola: 249579 markings, 753260 edges, 2208 markings/sec, 125 secs
lola: 261258 markings, 791550 edges, 2336 markings/sec, 130 secs
lola: 272620 markings, 829796 edges, 2272 markings/sec, 135 secs
lola: 283725 markings, 868036 edges, 2221 markings/sec, 140 secs
lola: 295083 markings, 905924 edges, 2272 markings/sec, 145 secs
lola: 305943 markings, 944215 edges, 2172 markings/sec, 150 secs
lola: 316799 markings, 982513 edges, 2171 markings/sec, 155 secs
lola: 327785 markings, 1020794 edges, 2197 markings/sec, 160 secs
lola: 338918 markings, 1059079 edges, 2227 markings/sec, 165 secs
lola: 349744 markings, 1097378 edges, 2165 markings/sec, 170 secs
lola: 361022 markings, 1135669 edges, 2256 markings/sec, 175 secs
lola: 371657 markings, 1173965 edges, 2127 markings/sec, 180 secs
lola: 382009 markings, 1212269 edges, 2070 markings/sec, 185 secs
lola: 392497 markings, 1250561 edges, 2098 markings/sec, 190 secs
lola: 402936 markings, 1288859 edges, 2088 markings/sec, 195 secs
lola: 413905 markings, 1327152 edges, 2194 markings/sec, 200 secs
lola: 424805 markings, 1365427 edges, 2180 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: 525296 KB
lola: time consumption: 3357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5320)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5320)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-2000-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: 16086 markings, 29808 edges, 3217 markings/sec, 30 secs
lola: 31024 markings, 67796 edges, 2988 markings/sec, 35 secs
lola: 45256 markings, 105847 edges, 2846 markings/sec, 40 secs
lola: 58696 markings, 143683 edges, 2688 markings/sec, 45 secs
lola: 71917 markings, 181494 edges, 2644 markings/sec, 50 secs
lola: 84585 markings, 219287 edges, 2534 markings/sec, 55 secs
lola: 97136 markings, 257069 edges, 2510 markings/sec, 60 secs
lola: 109322 markings, 294832 edges, 2437 markings/sec, 65 secs
lola: 121701 markings, 332581 edges, 2476 markings/sec, 70 secs
lola: 133567 markings, 370344 edges, 2373 markings/sec, 75 secs
lola: 145485 markings, 408101 edges, 2384 markings/sec, 80 secs
lola: 157158 markings, 445208 edges, 2335 markings/sec, 85 secs
lola: 168882 markings, 482033 edges, 2345 markings/sec, 90 secs
lola: 180120 markings, 519128 edges, 2248 markings/sec, 95 secs
lola: 190652 markings, 554337 edges, 2106 markings/sec, 100 secs
lola: 202269 markings, 592133 edges, 2323 markings/sec, 105 secs
lola: 213135 markings, 629957 edges, 2173 markings/sec, 110 secs
lola: 224772 markings, 667733 edges, 2327 markings/sec, 115 secs
lola: 235642 markings, 705547 edges, 2174 markings/sec, 120 secs
lola: 246893 markings, 743351 edges, 2250 markings/sec, 125 secs
lola: 257937 markings, 781164 edges, 2209 markings/sec, 130 secs
lola: 269515 markings, 818948 edges, 2316 markings/sec, 135 secs
lola: 280495 markings, 856737 edges, 2196 markings/sec, 140 secs
lola: 291341 markings, 892887 edges, 2169 markings/sec, 145 secs
lola: 302217 markings, 930664 edges, 2175 markings/sec, 150 secs
lola: 312844 markings, 968436 edges, 2125 markings/sec, 155 secs
lola: 323720 markings, 1006189 edges, 2175 markings/sec, 160 secs
lola: 334634 markings, 1043950 edges, 2183 markings/sec, 165 secs
lola: 345424 markings, 1081708 edges, 2158 markings/sec, 170 secs
lola: 356426 markings, 1119454 edges, 2200 markings/sec, 175 secs
lola: 366948 markings, 1157189 edges, 2104 markings/sec, 180 secs
lola: 377330 markings, 1194944 edges, 2076 markings/sec, 185 secs
lola: 387802 markings, 1232712 edges, 2094 markings/sec, 190 secs
lola: 398023 markings, 1270466 edges, 2044 markings/sec, 195 secs
lola: 408768 markings, 1308220 edges, 2149 markings/sec, 200 secs
lola: 419429 markings, 1345989 edges, 2132 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: 1963000 KB
lola: time consumption: 3569 seconds
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: 1963252 KB
lola: time consumption: 3569 seconds

BK_STOP 1526866887212

--------------------
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="JoinFreeModules-PT-2000"
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/JoinFreeModules-PT-2000.tgz
mv JoinFreeModules-PT-2000 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 JoinFreeModules-PT-2000, 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 r100-smll-152658631000296"
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 ;