Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 4.1K Feb 11 14:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 11 14:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 7 14:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 7 14:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 20:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 20:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 12M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME 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 1552876157950

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(p9746) : MAX(p1059) : MAX(p5215) : MAX(p6591) : MAX(p2019) : MAX(p9600) : MAX(p5615) : MAX(p6741) : MAX(p9522) : MAX(p5044) : MAX(p3019) : MAX(p8857) : MAX(p3965) : MAX(p3514) : MAX(p8118) : MAX(p8729)
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(p9746)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9746)
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: 28742 markings, 57070 edges, 5748 markings/sec, 30 secs
lola: 57746 markings, 120978 edges, 5801 markings/sec, 35 secs
lola: 87401 markings, 185943 edges, 5931 markings/sec, 40 secs
lola: 117557 markings, 252349 edges, 6031 markings/sec, 45 secs
lola: 146497 markings, 316631 edges, 5788 markings/sec, 50 secs
lola: 175882 markings, 381323 edges, 5877 markings/sec, 55 secs
lola: 205958 markings, 447897 edges, 6015 markings/sec, 60 secs
lola: 236490 markings, 513733 edges, 6106 markings/sec, 65 secs
lola: 265381 markings, 577351 edges, 5778 markings/sec, 70 secs
lola: 293357 markings, 639313 edges, 5595 markings/sec, 75 secs
lola: 321166 markings, 701715 edges, 5562 markings/sec, 80 secs
lola: 350022 markings, 767562 edges, 5771 markings/sec, 85 secs
lola: 379803 markings, 833826 edges, 5956 markings/sec, 90 secs
lola: 409346 markings, 899880 edges, 5909 markings/sec, 95 secs
lola: 437648 markings, 964301 edges, 5660 markings/sec, 100 secs
lola: 466805 markings, 1029872 edges, 5831 markings/sec, 105 secs
lola: 495292 markings, 1093839 edges, 5697 markings/sec, 110 secs
lola: 521317 markings, 1152617 edges, 5205 markings/sec, 115 secs
lola: 550773 markings, 1218275 edges, 5891 markings/sec, 120 secs
lola: 579881 markings, 1283033 edges, 5822 markings/sec, 125 secs
lola: 608228 markings, 1347537 edges, 5669 markings/sec, 130 secs
lola: 636154 markings, 1411697 edges, 5585 markings/sec, 135 secs
lola: 664079 markings, 1475323 edges, 5585 markings/sec, 140 secs
lola: 693158 markings, 1540031 edges, 5816 markings/sec, 145 secs
lola: 721341 markings, 1603580 edges, 5637 markings/sec, 150 secs
lola: 751076 markings, 1668873 edges, 5947 markings/sec, 155 secs
lola: 780244 markings, 1733374 edges, 5834 markings/sec, 160 secs
lola: 809402 markings, 1799730 edges, 5832 markings/sec, 165 secs
lola: 838427 markings, 1865036 edges, 5805 markings/sec, 170 secs
lola: 868114 markings, 1931059 edges, 5937 markings/sec, 175 secs
lola: 896751 markings, 1996097 edges, 5727 markings/sec, 180 secs
lola: 925135 markings, 2060449 edges, 5677 markings/sec, 185 secs
lola: 954075 markings, 2124127 edges, 5788 markings/sec, 190 secs
lola: 981051 markings, 2185360 edges, 5395 markings/sec, 195 secs
lola: 1008667 markings, 2249588 edges, 5523 markings/sec, 200 secs
lola: 1035200 markings, 2308150 edges, 5307 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: 3834464 KB
lola: time consumption: 393 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(p1059)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1059)
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: 23032 markings, 57260 edges, 4606 markings/sec, 30 secs
lola: 45584 markings, 124424 edges, 4510 markings/sec, 35 secs
lola: 67361 markings, 191554 edges, 4355 markings/sec, 40 secs
lola: 88366 markings, 258712 edges, 4201 markings/sec, 45 secs
lola: 109002 markings, 324392 edges, 4127 markings/sec, 50 secs
lola: 129434 markings, 391525 edges, 4086 markings/sec, 55 secs
lola: 149906 markings, 458706 edges, 4094 markings/sec, 60 secs
lola: 170248 markings, 525506 edges, 4068 markings/sec, 65 secs
lola: 190098 markings, 592785 edges, 3970 markings/sec, 70 secs
lola: 209631 markings, 659102 edges, 3907 markings/sec, 75 secs
lola: 229713 markings, 725465 edges, 4016 markings/sec, 80 secs
lola: 248786 markings, 789390 edges, 3815 markings/sec, 85 secs
lola: 266699 markings, 849989 edges, 3583 markings/sec, 90 secs
lola: 284632 markings, 910529 edges, 3587 markings/sec, 95 secs
lola: 303694 markings, 973817 edges, 3812 markings/sec, 100 secs
lola: 322816 markings, 1040299 edges, 3824 markings/sec, 105 secs
lola: 341380 markings, 1104744 edges, 3713 markings/sec, 110 secs
lola: 360821 markings, 1170252 edges, 3888 markings/sec, 115 secs
lola: 379806 markings, 1235603 edges, 3797 markings/sec, 120 secs
lola: 399716 markings, 1304883 edges, 3982 markings/sec, 125 secs
lola: 419358 markings, 1374388 edges, 3928 markings/sec, 130 secs
lola: 439054 markings, 1444036 edges, 3939 markings/sec, 135 secs
lola: 458953 markings, 1513413 edges, 3980 markings/sec, 140 secs
lola: 478663 markings, 1582870 edges, 3942 markings/sec, 145 secs
lola: 498548 markings, 1652348 edges, 3977 markings/sec, 150 secs
lola: 518129 markings, 1720569 edges, 3916 markings/sec, 155 secs
lola: 538057 markings, 1789576 edges, 3986 markings/sec, 160 secs
lola: 558042 markings, 1858711 edges, 3997 markings/sec, 165 secs
lola: 578200 markings, 1928222 edges, 4032 markings/sec, 170 secs
lola: 597949 markings, 1997292 edges, 3950 markings/sec, 175 secs
lola: 618028 markings, 2066775 edges, 4016 markings/sec, 180 secs
lola: 637763 markings, 2136344 edges, 3947 markings/sec, 185 secs
lola: 657611 markings, 2205835 edges, 3970 markings/sec, 190 secs
lola: 677195 markings, 2275196 edges, 3917 markings/sec, 195 secs
lola: 696628 markings, 2343964 edges, 3887 markings/sec, 200 secs
lola: 715902 markings, 2412707 edges, 3855 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: 2247700 KB
lola: time consumption: 604 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(p5215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5215)
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: 28180 markings, 60121 edges, 5636 markings/sec, 30 secs
lola: 53725 markings, 129265 edges, 5109 markings/sec, 35 secs
lola: 77569 markings, 198649 edges, 4769 markings/sec, 40 secs
lola: 100418 markings, 267251 edges, 4570 markings/sec, 45 secs
lola: 122553 markings, 335530 edges, 4427 markings/sec, 50 secs
lola: 143434 markings, 401482 edges, 4176 markings/sec, 55 secs
lola: 162844 markings, 463059 edges, 3882 markings/sec, 60 secs
lola: 181565 markings, 523375 edges, 3744 markings/sec, 65 secs
lola: 199949 markings, 584324 edges, 3677 markings/sec, 70 secs
lola: 217918 markings, 644484 edges, 3594 markings/sec, 75 secs
lola: 235272 markings, 704496 edges, 3471 markings/sec, 80 secs
lola: 254960 markings, 771754 edges, 3938 markings/sec, 85 secs
lola: 275890 markings, 841205 edges, 4186 markings/sec, 90 secs
lola: 297331 markings, 913214 edges, 4288 markings/sec, 95 secs
lola: 317912 markings, 986289 edges, 4116 markings/sec, 100 secs
lola: 339070 markings, 1059543 edges, 4232 markings/sec, 105 secs
lola: 359185 markings, 1129356 edges, 4023 markings/sec, 110 secs
lola: 378526 markings, 1199229 edges, 3868 markings/sec, 115 secs
lola: 397985 markings, 1270309 edges, 3892 markings/sec, 120 secs
lola: 418503 markings, 1343082 edges, 4104 markings/sec, 125 secs
lola: 437937 markings, 1412757 edges, 3887 markings/sec, 130 secs
lola: 456720 markings, 1483206 edges, 3757 markings/sec, 135 secs
lola: 475301 markings, 1553179 edges, 3716 markings/sec, 140 secs
lola: 494586 markings, 1625138 edges, 3857 markings/sec, 145 secs
lola: 514058 markings, 1697464 edges, 3894 markings/sec, 150 secs
lola: 533750 markings, 1769109 edges, 3938 markings/sec, 155 secs
lola: 553652 markings, 1842002 edges, 3980 markings/sec, 160 secs
lola: 573199 markings, 1912858 edges, 3909 markings/sec, 165 secs
lola: 592193 markings, 1985660 edges, 3799 markings/sec, 170 secs
lola: 611225 markings, 2058519 edges, 3806 markings/sec, 175 secs
lola: 630075 markings, 2131404 edges, 3770 markings/sec, 180 secs
lola: 649467 markings, 2203781 edges, 3878 markings/sec, 185 secs
lola: 668307 markings, 2275202 edges, 3768 markings/sec, 190 secs
lola: 687921 markings, 2348073 edges, 3923 markings/sec, 195 secs
lola: 707297 markings, 2421061 edges, 3875 markings/sec, 200 secs
lola: 725946 markings, 2494212 edges, 3730 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: 2301836 KB
lola: time consumption: 815 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(p6591)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6591)
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: 31637 markings, 62918 edges, 6327 markings/sec, 30 secs
lola: 64659 markings, 136005 edges, 6604 markings/sec, 35 secs
lola: 98090 markings, 208957 edges, 6686 markings/sec, 40 secs
lola: 130792 markings, 281822 edges, 6540 markings/sec, 45 secs
lola: 163564 markings, 354573 edges, 6554 markings/sec, 50 secs
lola: 196675 markings, 427534 edges, 6622 markings/sec, 55 secs
lola: 229313 markings, 498688 edges, 6528 markings/sec, 60 secs
lola: 261857 markings, 569848 edges, 6509 markings/sec, 65 secs
lola: 294686 markings, 642468 edges, 6566 markings/sec, 70 secs
lola: 327433 markings, 715513 edges, 6549 markings/sec, 75 secs
lola: 359149 markings, 788305 edges, 6343 markings/sec, 80 secs
lola: 391287 markings, 859418 edges, 6428 markings/sec, 85 secs
lola: 423149 markings, 931455 edges, 6372 markings/sec, 90 secs
lola: 455361 markings, 1004000 edges, 6442 markings/sec, 95 secs
lola: 487606 markings, 1076830 edges, 6449 markings/sec, 100 secs
lola: 519962 markings, 1149515 edges, 6471 markings/sec, 105 secs
lola: 552700 markings, 1222413 edges, 6548 markings/sec, 110 secs
lola: 585202 markings, 1295119 edges, 6500 markings/sec, 115 secs
lola: 617327 markings, 1367917 edges, 6425 markings/sec, 120 secs
lola: 648519 markings, 1440192 edges, 6238 markings/sec, 125 secs
lola: 680513 markings, 1512389 edges, 6399 markings/sec, 130 secs
lola: 711533 markings, 1581426 edges, 6204 markings/sec, 135 secs
lola: 744190 markings, 1653580 edges, 6531 markings/sec, 140 secs
lola: 776085 markings, 1724000 edges, 6379 markings/sec, 145 secs
lola: 807938 markings, 1796468 edges, 6371 markings/sec, 150 secs
lola: 839907 markings, 1868154 edges, 6394 markings/sec, 155 secs
lola: 871145 markings, 1938011 edges, 6248 markings/sec, 160 secs
lola: 902360 markings, 2009478 edges, 6243 markings/sec, 165 secs
lola: 933927 markings, 2079846 edges, 6313 markings/sec, 170 secs
lola: 963783 markings, 2146764 edges, 5971 markings/sec, 175 secs
lola: 990231 markings, 2206491 edges, 5290 markings/sec, 180 secs
lola: 1016096 markings, 2266011 edges, 5173 markings/sec, 185 secs
lola: 1042859 markings, 2325167 edges, 5353 markings/sec, 190 secs
lola: 1069371 markings, 2385236 edges, 5302 markings/sec, 195 secs
lola: 1096301 markings, 2445112 edges, 5386 markings/sec, 200 secs
lola: 1124994 markings, 2509875 edges, 5739 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: 4040500 KB
lola: time consumption: 1026 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(p2019)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2019)
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: 24827 markings, 62454 edges, 4965 markings/sec, 30 secs
lola: 48570 markings, 133518 edges, 4749 markings/sec, 35 secs
lola: 70420 markings, 201336 edges, 4370 markings/sec, 40 secs
lola: 90621 markings, 265742 edges, 4040 markings/sec, 45 secs
lola: 108325 markings, 322241 edges, 3541 markings/sec, 50 secs
lola: 126906 markings, 383428 edges, 3716 markings/sec, 55 secs
lola: 149310 markings, 456758 edges, 4481 markings/sec, 60 secs
lola: 171646 markings, 530312 edges, 4467 markings/sec, 65 secs
lola: 193392 markings, 603785 edges, 4349 markings/sec, 70 secs
lola: 215083 markings, 677243 edges, 4338 markings/sec, 75 secs
lola: 237248 markings, 750614 edges, 4433 markings/sec, 80 secs
lola: 258572 markings, 822495 edges, 4265 markings/sec, 85 secs
lola: 279506 markings, 893636 edges, 4187 markings/sec, 90 secs
lola: 301667 markings, 966858 edges, 4432 markings/sec, 95 secs
lola: 322785 markings, 1040177 edges, 4224 markings/sec, 100 secs
lola: 343972 markings, 1113364 edges, 4237 markings/sec, 105 secs
lola: 365668 markings, 1186657 edges, 4339 markings/sec, 110 secs
lola: 386940 markings, 1260007 edges, 4254 markings/sec, 115 secs
lola: 407692 markings, 1333428 edges, 4150 markings/sec, 120 secs
lola: 428475 markings, 1406479 edges, 4157 markings/sec, 125 secs
lola: 449171 markings, 1479533 edges, 4139 markings/sec, 130 secs
lola: 470067 markings, 1552882 edges, 4179 markings/sec, 135 secs
lola: 491168 markings, 1626343 edges, 4220 markings/sec, 140 secs
lola: 512010 markings, 1699741 edges, 4168 markings/sec, 145 secs
lola: 533489 markings, 1773183 edges, 4296 markings/sec, 150 secs
lola: 554615 markings, 1846675 edges, 4225 markings/sec, 155 secs
lola: 575523 markings, 1919132 edges, 4182 markings/sec, 160 secs
lola: 596674 markings, 1992506 edges, 4230 markings/sec, 165 secs
lola: 617796 markings, 2065921 edges, 4224 markings/sec, 170 secs
lola: 638601 markings, 2139284 edges, 4161 markings/sec, 175 secs
lola: 659516 markings, 2212678 edges, 4183 markings/sec, 180 secs
lola: 680045 markings, 2285411 edges, 4106 markings/sec, 185 secs
lola: 700546 markings, 2357995 edges, 4100 markings/sec, 190 secs
lola: 721037 markings, 2431244 edges, 4098 markings/sec, 195 secs
lola: 741364 markings, 2503933 edges, 4065 markings/sec, 200 secs
lola: 759557 markings, 2568951 edges, 3639 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: 3816148 KB
lola: time consumption: 1238 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(p9600)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9600)
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: 29123 markings, 62740 edges, 5825 markings/sec, 30 secs
lola: 56218 markings, 136443 edges, 5419 markings/sec, 35 secs
lola: 81290 markings, 209949 edges, 5014 markings/sec, 40 secs
lola: 105629 markings, 283171 edges, 4868 markings/sec, 45 secs
lola: 128840 markings, 355718 edges, 4642 markings/sec, 50 secs
lola: 151783 markings, 428227 edges, 4589 markings/sec, 55 secs
lola: 174305 markings, 500164 edges, 4504 markings/sec, 60 secs
lola: 196246 markings, 572504 edges, 4388 markings/sec, 65 secs
lola: 218206 markings, 645358 edges, 4392 markings/sec, 70 secs
lola: 239398 markings, 718178 edges, 4238 markings/sec, 75 secs
lola: 261350 markings, 791766 edges, 4390 markings/sec, 80 secs
lola: 282659 markings, 864478 edges, 4262 markings/sec, 85 secs
lola: 302899 markings, 932884 edges, 4048 markings/sec, 90 secs
lola: 320773 markings, 995915 edges, 3575 markings/sec, 95 secs
lola: 338552 markings, 1057772 edges, 3556 markings/sec, 100 secs
lola: 356360 markings, 1119211 edges, 3562 markings/sec, 105 secs
lola: 373851 markings, 1182072 edges, 3498 markings/sec, 110 secs
lola: 391150 markings, 1245297 edges, 3460 markings/sec, 115 secs
lola: 411582 markings, 1318270 edges, 4086 markings/sec, 120 secs
lola: 432006 markings, 1390824 edges, 4085 markings/sec, 125 secs
lola: 451244 markings, 1463077 edges, 3848 markings/sec, 130 secs
lola: 470840 markings, 1535949 edges, 3919 markings/sec, 135 secs
lola: 490267 markings, 1609369 edges, 3885 markings/sec, 140 secs
lola: 509932 markings, 1682841 edges, 3933 markings/sec, 145 secs
lola: 530303 markings, 1756283 edges, 4074 markings/sec, 150 secs
lola: 550094 markings, 1829742 edges, 3958 markings/sec, 155 secs
lola: 570501 markings, 1903209 edges, 4081 markings/sec, 160 secs
lola: 589851 markings, 1976617 edges, 3870 markings/sec, 165 secs
lola: 608952 markings, 2050018 edges, 3820 markings/sec, 170 secs
lola: 627932 markings, 2123431 edges, 3796 markings/sec, 175 secs
lola: 647662 markings, 2196818 edges, 3946 markings/sec, 180 secs
lola: 666925 markings, 2270239 edges, 3853 markings/sec, 185 secs
lola: 686577 markings, 2343696 edges, 3930 markings/sec, 190 secs
lola: 706111 markings, 2417137 edges, 3907 markings/sec, 195 secs
lola: 724361 markings, 2489140 edges, 3650 markings/sec, 200 secs
lola: 741968 markings, 2554751 edges, 3521 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: 3511728 KB
lola: time consumption: 1449 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5615)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5615)
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: 28630 markings, 61447 edges, 5726 markings/sec, 30 secs
lola: 54948 markings, 132685 edges, 5264 markings/sec, 35 secs
lola: 79648 markings, 205093 edges, 4940 markings/sec, 40 secs
lola: 103514 markings, 277351 edges, 4773 markings/sec, 45 secs
lola: 126875 markings, 349516 edges, 4672 markings/sec, 50 secs
lola: 149959 markings, 421829 edges, 4617 markings/sec, 55 secs
lola: 172539 markings, 494130 edges, 4516 markings/sec, 60 secs
lola: 194339 markings, 566426 edges, 4360 markings/sec, 65 secs
lola: 215834 markings, 638771 edges, 4299 markings/sec, 70 secs
lola: 237279 markings, 711036 edges, 4289 markings/sec, 75 secs
lola: 258676 markings, 783321 edges, 4279 markings/sec, 80 secs
lola: 280196 markings, 855536 edges, 4304 markings/sec, 85 secs
lola: 301293 markings, 927641 edges, 4219 markings/sec, 90 secs
lola: 321855 markings, 999865 edges, 4112 markings/sec, 95 secs
lola: 341824 markings, 1070613 edges, 3994 markings/sec, 100 secs
lola: 363012 markings, 1142798 edges, 4238 markings/sec, 105 secs
lola: 382872 markings, 1215022 edges, 3972 markings/sec, 110 secs
lola: 402453 markings, 1287181 edges, 3916 markings/sec, 115 secs
lola: 422624 markings, 1358062 edges, 4034 markings/sec, 120 secs
lola: 442582 markings, 1430150 edges, 3992 markings/sec, 125 secs
lola: 461718 markings, 1502352 edges, 3827 markings/sec, 130 secs
lola: 481110 markings, 1574540 edges, 3878 markings/sec, 135 secs
lola: 500658 markings, 1646732 edges, 3910 markings/sec, 140 secs
lola: 519965 markings, 1718472 edges, 3861 markings/sec, 145 secs
lola: 539371 markings, 1790645 edges, 3881 markings/sec, 150 secs
lola: 559080 markings, 1862368 edges, 3942 markings/sec, 155 secs
lola: 578584 markings, 1934230 edges, 3901 markings/sec, 160 secs
lola: 597232 markings, 2005410 edges, 3730 markings/sec, 165 secs
lola: 616071 markings, 2077055 edges, 3768 markings/sec, 170 secs
lola: 634939 markings, 2149058 edges, 3774 markings/sec, 175 secs
lola: 652744 markings, 2216670 edges, 3561 markings/sec, 180 secs
lola: 669971 markings, 2281776 edges, 3445 markings/sec, 185 secs
lola: 687356 markings, 2346324 edges, 3477 markings/sec, 190 secs
lola: 703693 markings, 2409042 edges, 3267 markings/sec, 195 secs
lola: 721275 markings, 2476253 edges, 3516 markings/sec, 200 secs
lola: 738299 markings, 2540597 edges, 3405 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: 4796224 KB
lola: time consumption: 1661 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6741)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6741)
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: 31976 markings, 63593 edges, 6395 markings/sec, 30 secs
lola: 64985 markings, 136685 edges, 6602 markings/sec, 35 secs
lola: 98330 markings, 209551 edges, 6669 markings/sec, 40 secs
lola: 131043 markings, 282357 edges, 6543 markings/sec, 45 secs
lola: 163847 markings, 355125 edges, 6561 markings/sec, 50 secs
lola: 196773 markings, 427809 edges, 6585 markings/sec, 55 secs
lola: 230088 markings, 500370 edges, 6663 markings/sec, 60 secs
lola: 263260 markings, 572870 edges, 6634 markings/sec, 65 secs
lola: 296007 markings, 645311 edges, 6549 markings/sec, 70 secs
lola: 328418 markings, 717775 edges, 6482 markings/sec, 75 secs
lola: 360007 markings, 790114 edges, 6318 markings/sec, 80 secs
lola: 392774 markings, 862518 edges, 6553 markings/sec, 85 secs
lola: 424630 markings, 934936 edges, 6371 markings/sec, 90 secs
lola: 456863 markings, 1007355 edges, 6447 markings/sec, 95 secs
lola: 488905 markings, 1079700 edges, 6408 markings/sec, 100 secs
lola: 521028 markings, 1151995 edges, 6425 markings/sec, 105 secs
lola: 553616 markings, 1224401 edges, 6518 markings/sec, 110 secs
lola: 585781 markings, 1296750 edges, 6433 markings/sec, 115 secs
lola: 617780 markings, 1369036 edges, 6400 markings/sec, 120 secs
lola: 649011 markings, 1441352 edges, 6246 markings/sec, 125 secs
lola: 681022 markings, 1513695 edges, 6402 markings/sec, 130 secs
lola: 713687 markings, 1585985 edges, 6533 markings/sec, 135 secs
lola: 746281 markings, 1658286 edges, 6519 markings/sec, 140 secs
lola: 778955 markings, 1730551 edges, 6535 markings/sec, 145 secs
lola: 810536 markings, 1802767 edges, 6316 markings/sec, 150 secs
lola: 842478 markings, 1874372 edges, 6388 markings/sec, 155 secs
lola: 873308 markings, 1942990 edges, 6166 markings/sec, 160 secs
lola: 901811 markings, 2008316 edges, 5701 markings/sec, 165 secs
lola: 931212 markings, 2073929 edges, 5880 markings/sec, 170 secs
lola: 960469 markings, 2139394 edges, 5851 markings/sec, 175 secs
lola: 989612 markings, 2205189 edges, 5829 markings/sec, 180 secs
lola: 1018356 markings, 2270805 edges, 5749 markings/sec, 185 secs
lola: 1047628 markings, 2336377 edges, 5854 markings/sec, 190 secs
lola: 1079932 markings, 2408274 edges, 6461 markings/sec, 195 secs
lola: 1112279 markings, 2480392 edges, 6469 markings/sec, 200 secs
lola: 1144639 markings, 2552540 edges, 6472 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: 6907112 KB
lola: time consumption: 1874 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(p9522)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9522)
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: 45575 markings, 64983 edges, 9115 markings/sec, 30 secs
lola: 91968 markings, 139211 edges, 9279 markings/sec, 35 secs
lola: 137123 markings, 213471 edges, 9031 markings/sec, 40 secs
lola: 182157 markings, 287513 edges, 9007 markings/sec, 45 secs
lola: 227130 markings, 361424 edges, 8995 markings/sec, 50 secs
lola: 271299 markings, 434060 edges, 8834 markings/sec, 55 secs
lola: 316250 markings, 507870 edges, 8990 markings/sec, 60 secs
lola: 361318 markings, 581828 edges, 9014 markings/sec, 65 secs
lola: 405595 markings, 654527 edges, 8855 markings/sec, 70 secs
lola: 450188 markings, 727841 edges, 8919 markings/sec, 75 secs
lola: 494821 markings, 801702 edges, 8927 markings/sec, 80 secs
lola: 539937 markings, 875588 edges, 9023 markings/sec, 85 secs
lola: 585090 markings, 949501 edges, 9031 markings/sec, 90 secs
lola: 629783 markings, 1023325 edges, 8939 markings/sec, 95 secs
lola: 673946 markings, 1095786 edges, 8833 markings/sec, 100 secs
lola: 719093 markings, 1169581 edges, 9029 markings/sec, 105 secs
lola: 763761 markings, 1243392 edges, 8934 markings/sec, 110 secs
lola: 809046 markings, 1317479 edges, 9057 markings/sec, 115 secs
lola: 854008 markings, 1391497 edges, 8992 markings/sec, 120 secs
lola: 898940 markings, 1465578 edges, 8986 markings/sec, 125 secs
lola: 944168 markings, 1539641 edges, 9046 markings/sec, 130 secs
lola: 989398 markings, 1613756 edges, 9046 markings/sec, 135 secs
lola: 1034363 markings, 1687748 edges, 8993 markings/sec, 140 secs
lola: 1079431 markings, 1761851 edges, 9014 markings/sec, 145 secs
lola: 1124544 markings, 1835974 edges, 9023 markings/sec, 150 secs
lola: 1169501 markings, 1909807 edges, 8991 markings/sec, 155 secs
lola: 1214592 markings, 1983796 edges, 9018 markings/sec, 160 secs
lola: 1259584 markings, 2057870 edges, 8998 markings/sec, 165 secs
lola: 1304178 markings, 2131405 edges, 8919 markings/sec, 170 secs
lola: 1347482 markings, 2202478 edges, 8661 markings/sec, 175 secs
lola: 1389309 markings, 2271219 edges, 8365 markings/sec, 180 secs
lola: 1433044 markings, 2342861 edges, 8747 markings/sec, 185 secs
lola: 1475508 markings, 2412488 edges, 8493 markings/sec, 190 secs
lola: 1519950 markings, 2485779 edges, 8888 markings/sec, 195 secs
lola: 1564759 markings, 2559568 edges, 8962 markings/sec, 200 secs
lola: 1609772 markings, 2633371 edges, 9003 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: 7810440 KB
lola: time consumption: 2085 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5044)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5044)
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: 26959 markings, 68411 edges, 5392 markings/sec, 30 secs
lola: 52965 markings, 146825 edges, 5201 markings/sec, 35 secs
lola: 77872 markings, 225227 edges, 4981 markings/sec, 40 secs
lola: 102388 markings, 303566 edges, 4903 markings/sec, 45 secs
lola: 126419 markings, 381949 edges, 4806 markings/sec, 50 secs
lola: 150361 markings, 460169 edges, 4788 markings/sec, 55 secs
lola: 173994 markings, 538058 edges, 4727 markings/sec, 60 secs
lola: 196743 markings, 615293 edges, 4550 markings/sec, 65 secs
lola: 219836 markings, 693240 edges, 4619 markings/sec, 70 secs
lola: 243448 markings, 771515 edges, 4722 markings/sec, 75 secs
lola: 266576 markings, 849633 edges, 4626 markings/sec, 80 secs
lola: 289764 markings, 927626 edges, 4638 markings/sec, 85 secs
lola: 312879 markings, 1005888 edges, 4623 markings/sec, 90 secs
lola: 335559 markings, 1084062 edges, 4536 markings/sec, 95 secs
lola: 358405 markings, 1162241 edges, 4569 markings/sec, 100 secs
lola: 381236 markings, 1240391 edges, 4566 markings/sec, 105 secs
lola: 403611 markings, 1318688 edges, 4475 markings/sec, 110 secs
lola: 425726 markings, 1396919 edges, 4423 markings/sec, 115 secs
lola: 447855 markings, 1475099 edges, 4426 markings/sec, 120 secs
lola: 470189 markings, 1553283 edges, 4467 markings/sec, 125 secs
lola: 492526 markings, 1631347 edges, 4467 markings/sec, 130 secs
lola: 514830 markings, 1709282 edges, 4461 markings/sec, 135 secs
lola: 537497 markings, 1787586 edges, 4533 markings/sec, 140 secs
lola: 560144 markings, 1865844 edges, 4529 markings/sec, 145 secs
lola: 582817 markings, 1944069 edges, 4535 markings/sec, 150 secs
lola: 605139 markings, 2022218 edges, 4464 markings/sec, 155 secs
lola: 627373 markings, 2099262 edges, 4447 markings/sec, 160 secs
lola: 649556 markings, 2177333 edges, 4437 markings/sec, 165 secs
lola: 671580 markings, 2255499 edges, 4405 markings/sec, 170 secs
lola: 693745 markings, 2333625 edges, 4433 markings/sec, 175 secs
lola: 715617 markings, 2411822 edges, 4374 markings/sec, 180 secs
lola: 737399 markings, 2489936 edges, 4356 markings/sec, 185 secs
lola: 759290 markings, 2568012 edges, 4378 markings/sec, 190 secs
lola: 781636 markings, 2646154 edges, 4469 markings/sec, 195 secs
lola: 803656 markings, 2724314 edges, 4404 markings/sec, 200 secs
lola: 825368 markings, 2802461 edges, 4342 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: 335680 KB
lola: time consumption: 2297 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3019)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3019)
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: 25166 markings, 63439 edges, 5033 markings/sec, 30 secs
lola: 49600 markings, 136478 edges, 4887 markings/sec, 35 secs
lola: 72998 markings, 209362 edges, 4680 markings/sec, 40 secs
lola: 95708 markings, 282167 edges, 4542 markings/sec, 45 secs
lola: 118371 markings, 355096 edges, 4533 markings/sec, 50 secs
lola: 140553 markings, 427964 edges, 4436 markings/sec, 55 secs
lola: 162738 markings, 500703 edges, 4437 markings/sec, 60 secs
lola: 184531 markings, 573449 edges, 4359 markings/sec, 65 secs
lola: 205793 markings, 646189 edges, 4252 markings/sec, 70 secs
lola: 227827 markings, 718851 edges, 4407 markings/sec, 75 secs
lola: 249478 markings, 791545 edges, 4330 markings/sec, 80 secs
lola: 270932 markings, 864315 edges, 4291 markings/sec, 85 secs
lola: 292717 markings, 937014 edges, 4357 markings/sec, 90 secs
lola: 313923 markings, 1009646 edges, 4241 markings/sec, 95 secs
lola: 334979 markings, 1082271 edges, 4211 markings/sec, 100 secs
lola: 356152 markings, 1154930 edges, 4235 markings/sec, 105 secs
lola: 377521 markings, 1227561 edges, 4274 markings/sec, 110 secs
lola: 398409 markings, 1300250 edges, 4178 markings/sec, 115 secs
lola: 418921 markings, 1372985 edges, 4102 markings/sec, 120 secs
lola: 439581 markings, 1445724 edges, 4132 markings/sec, 125 secs
lola: 460373 markings, 1518366 edges, 4158 markings/sec, 130 secs
lola: 481010 markings, 1591003 edges, 4127 markings/sec, 135 secs
lola: 501821 markings, 1663619 edges, 4162 markings/sec, 140 secs
lola: 522737 markings, 1736134 edges, 4183 markings/sec, 145 secs
lola: 543641 markings, 1808803 edges, 4181 markings/sec, 150 secs
lola: 564674 markings, 1881476 edges, 4207 markings/sec, 155 secs
lola: 585653 markings, 1953987 edges, 4196 markings/sec, 160 secs
lola: 606422 markings, 2026465 edges, 4154 markings/sec, 165 secs
lola: 627283 markings, 2099033 edges, 4172 markings/sec, 170 secs
lola: 647902 markings, 2171538 edges, 4124 markings/sec, 175 secs
lola: 668383 markings, 2244038 edges, 4096 markings/sec, 180 secs
lola: 688874 markings, 2316473 edges, 4098 markings/sec, 185 secs
lola: 709151 markings, 2388829 edges, 4055 markings/sec, 190 secs
lola: 729416 markings, 2461325 edges, 4053 markings/sec, 195 secs
lola: 749823 markings, 2533794 edges, 4081 markings/sec, 200 secs
lola: 770131 markings, 2606267 edges, 4062 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: 4894160 KB
lola: time consumption: 2510 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8857)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8857)
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: 46632 markings, 66573 edges, 9326 markings/sec, 30 secs
lola: 93700 markings, 142305 edges, 9414 markings/sec, 35 secs
lola: 140364 markings, 219264 edges, 9333 markings/sec, 40 secs
lola: 187313 markings, 296364 edges, 9390 markings/sec, 45 secs
lola: 234359 markings, 373474 edges, 9409 markings/sec, 50 secs
lola: 281356 markings, 450473 edges, 9399 markings/sec, 55 secs
lola: 328153 markings, 527464 edges, 9359 markings/sec, 60 secs
lola: 374896 markings, 604525 edges, 9349 markings/sec, 65 secs
lola: 421994 markings, 681571 edges, 9420 markings/sec, 70 secs
lola: 468707 markings, 758716 edges, 9343 markings/sec, 75 secs
lola: 515853 markings, 835876 edges, 9429 markings/sec, 80 secs
lola: 562629 markings, 913025 edges, 9355 markings/sec, 85 secs
lola: 609792 markings, 990136 edges, 9433 markings/sec, 90 secs
lola: 656537 markings, 1067264 edges, 9349 markings/sec, 95 secs
lola: 703587 markings, 1144307 edges, 9410 markings/sec, 100 secs
lola: 750585 markings, 1221441 edges, 9400 markings/sec, 105 secs
lola: 797445 markings, 1298607 edges, 9372 markings/sec, 110 secs
lola: 844344 markings, 1375784 edges, 9380 markings/sec, 115 secs
lola: 891311 markings, 1453018 edges, 9393 markings/sec, 120 secs
lola: 938313 markings, 1530257 edges, 9400 markings/sec, 125 secs
lola: 985353 markings, 1607505 edges, 9408 markings/sec, 130 secs
lola: 1032445 markings, 1684784 edges, 9418 markings/sec, 135 secs
lola: 1079599 markings, 1762110 edges, 9431 markings/sec, 140 secs
lola: 1125913 markings, 1838090 edges, 9263 markings/sec, 145 secs
lola: 1172655 markings, 1915284 edges, 9348 markings/sec, 150 secs
lola: 1219929 markings, 1992756 edges, 9455 markings/sec, 155 secs
lola: 1267108 markings, 2070344 edges, 9436 markings/sec, 160 secs
lola: 1314398 markings, 2147895 edges, 9458 markings/sec, 165 secs
lola: 1361404 markings, 2225365 edges, 9401 markings/sec, 170 secs
lola: 1408512 markings, 2302732 edges, 9422 markings/sec, 175 secs
lola: 1455587 markings, 2379708 edges, 9415 markings/sec, 180 secs
lola: 1502480 markings, 2456814 edges, 9379 markings/sec, 185 secs
lola: 1549448 markings, 2533969 edges, 9394 markings/sec, 190 secs
lola: 1596313 markings, 2611105 edges, 9373 markings/sec, 195 secs
lola: 1643119 markings, 2688297 edges, 9361 markings/sec, 200 secs
lola: 1690244 markings, 2765486 edges, 9425 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: 1854848 KB
lola: time consumption: 2721 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3965)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3965)
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: 30693 markings, 66975 edges, 6139 markings/sec, 30 secs
lola: 58897 markings, 144219 edges, 5641 markings/sec, 35 secs
lola: 85279 markings, 221440 edges, 5276 markings/sec, 40 secs
lola: 110602 markings, 298660 edges, 5065 markings/sec, 45 secs
lola: 135374 markings, 375920 edges, 4954 markings/sec, 50 secs
lola: 159882 markings, 453193 edges, 4902 markings/sec, 55 secs
lola: 183609 markings, 530493 edges, 4745 markings/sec, 60 secs
lola: 206988 markings, 607821 edges, 4676 markings/sec, 65 secs
lola: 229723 markings, 685266 edges, 4547 markings/sec, 70 secs
lola: 252197 markings, 762633 edges, 4495 markings/sec, 75 secs
lola: 275581 markings, 840096 edges, 4677 markings/sec, 80 secs
lola: 298642 markings, 917571 edges, 4612 markings/sec, 85 secs
lola: 320537 markings, 995055 edges, 4379 markings/sec, 90 secs
lola: 342338 markings, 1072493 edges, 4360 markings/sec, 95 secs
lola: 364966 markings, 1150000 edges, 4526 markings/sec, 100 secs
lola: 386234 markings, 1227458 edges, 4254 markings/sec, 105 secs
lola: 407766 markings, 1305036 edges, 4306 markings/sec, 110 secs
lola: 429691 markings, 1382538 edges, 4385 markings/sec, 115 secs
lola: 450471 markings, 1460067 edges, 4156 markings/sec, 120 secs
lola: 471081 markings, 1536825 edges, 4122 markings/sec, 125 secs
lola: 491661 markings, 1614159 edges, 4116 markings/sec, 130 secs
lola: 512526 markings, 1691614 edges, 4173 markings/sec, 135 secs
lola: 533727 markings, 1768996 edges, 4240 markings/sec, 140 secs
lola: 554912 markings, 1846410 edges, 4237 markings/sec, 145 secs
lola: 575985 markings, 1923884 edges, 4215 markings/sec, 150 secs
lola: 596192 markings, 2001356 edges, 4041 markings/sec, 155 secs
lola: 616447 markings, 2078750 edges, 4051 markings/sec, 160 secs
lola: 636668 markings, 2156190 edges, 4044 markings/sec, 165 secs
lola: 657328 markings, 2233596 edges, 4132 markings/sec, 170 secs
lola: 677753 markings, 2310999 edges, 4085 markings/sec, 175 secs
lola: 698274 markings, 2388396 edges, 4104 markings/sec, 180 secs
lola: 718775 markings, 2465814 edges, 4100 markings/sec, 185 secs
lola: 739108 markings, 2543192 edges, 4067 markings/sec, 190 secs
lola: 758565 markings, 2620602 edges, 3891 markings/sec, 195 secs
lola: 778426 markings, 2698015 edges, 3972 markings/sec, 200 secs
lola: 798735 markings, 2775397 edges, 4062 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: 1087988 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(p3514)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3514)
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: 25839 markings, 65252 edges, 5168 markings/sec, 30 secs
lola: 50829 markings, 140132 edges, 4998 markings/sec, 35 secs
lola: 74723 markings, 214985 edges, 4779 markings/sec, 40 secs
lola: 98007 markings, 289854 edges, 4657 markings/sec, 45 secs
lola: 121340 markings, 364811 edges, 4667 markings/sec, 50 secs
lola: 144091 markings, 439641 edges, 4550 markings/sec, 55 secs
lola: 167019 markings, 514523 edges, 4586 markings/sec, 60 secs
lola: 189129 markings, 589402 edges, 4422 markings/sec, 65 secs
lola: 211209 markings, 664244 edges, 4416 markings/sec, 70 secs
lola: 233756 markings, 738996 edges, 4509 markings/sec, 75 secs
lola: 255939 markings, 813847 edges, 4437 markings/sec, 80 secs
lola: 277996 markings, 888659 edges, 4411 markings/sec, 85 secs
lola: 300515 markings, 963290 edges, 4504 markings/sec, 90 secs
lola: 322182 markings, 1038041 edges, 4333 markings/sec, 95 secs
lola: 343803 markings, 1112744 edges, 4324 markings/sec, 100 secs
lola: 365881 markings, 1187380 edges, 4416 markings/sec, 105 secs
lola: 387578 markings, 1261946 edges, 4339 markings/sec, 110 secs
lola: 408579 markings, 1336626 edges, 4200 markings/sec, 115 secs
lola: 429827 markings, 1411280 edges, 4250 markings/sec, 120 secs
lola: 451058 markings, 1485993 edges, 4246 markings/sec, 125 secs
lola: 472253 markings, 1560784 edges, 4239 markings/sec, 130 secs
lola: 493790 markings, 1635514 edges, 4307 markings/sec, 135 secs
lola: 515024 markings, 1710025 edges, 4247 markings/sec, 140 secs
lola: 536706 markings, 1784759 edges, 4336 markings/sec, 145 secs
lola: 558288 markings, 1859450 edges, 4316 markings/sec, 150 secs
lola: 579928 markings, 1934088 edges, 4328 markings/sec, 155 secs
lola: 601220 markings, 2008598 edges, 4258 markings/sec, 160 secs
lola: 622859 markings, 2083323 edges, 4328 markings/sec, 165 secs
lola: 643887 markings, 2157872 edges, 4206 markings/sec, 170 secs
lola: 665252 markings, 2232569 edges, 4273 markings/sec, 175 secs
lola: 686349 markings, 2307295 edges, 4219 markings/sec, 180 secs
lola: 707304 markings, 2382130 edges, 4191 markings/sec, 185 secs
lola: 728239 markings, 2456827 edges, 4187 markings/sec, 190 secs
lola: 749152 markings, 2531441 edges, 4183 markings/sec, 195 secs
lola: 770107 markings, 2606171 edges, 4191 markings/sec, 200 secs
lola: 790971 markings, 2679836 edges, 4173 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: 3187292 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(p8118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8118)
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: 48673 markings, 64319 edges, 9735 markings/sec, 30 secs
lola: 100784 markings, 138182 edges, 10422 markings/sec, 35 secs
lola: 153126 markings, 211843 edges, 10468 markings/sec, 40 secs
lola: 204268 markings, 285490 edges, 10228 markings/sec, 45 secs
lola: 255771 markings, 359251 edges, 10301 markings/sec, 50 secs
lola: 307865 markings, 433130 edges, 10419 markings/sec, 55 secs
lola: 353800 markings, 506550 edges, 9187 markings/sec, 60 secs
lola: 399254 markings, 580009 edges, 9091 markings/sec, 65 secs
lola: 445229 markings, 653421 edges, 9195 markings/sec, 70 secs
lola: 490793 markings, 726919 edges, 9113 markings/sec, 75 secs
lola: 536578 markings, 800421 edges, 9157 markings/sec, 80 secs
lola: 581894 markings, 873944 edges, 9063 markings/sec, 85 secs
lola: 626941 markings, 947952 edges, 9009 markings/sec, 90 secs
lola: 670193 markings, 1021866 edges, 8650 markings/sec, 95 secs
lola: 712532 markings, 1095585 edges, 8468 markings/sec, 100 secs
lola: 754782 markings, 1169193 edges, 8450 markings/sec, 105 secs
lola: 797184 markings, 1242792 edges, 8480 markings/sec, 110 secs
lola: 839171 markings, 1316303 edges, 8397 markings/sec, 115 secs
lola: 881780 markings, 1389728 edges, 8522 markings/sec, 120 secs
lola: 923957 markings, 1463181 edges, 8435 markings/sec, 125 secs
lola: 965445 markings, 1536526 edges, 8298 markings/sec, 130 secs
lola: 1006505 markings, 1609913 edges, 8212 markings/sec, 135 secs
lola: 1047025 markings, 1683269 edges, 8104 markings/sec, 140 secs
lola: 1088839 markings, 1756578 edges, 8363 markings/sec, 145 secs
lola: 1130390 markings, 1829876 edges, 8310 markings/sec, 150 secs
lola: 1172425 markings, 1903188 edges, 8407 markings/sec, 155 secs
lola: 1213962 markings, 1976429 edges, 8307 markings/sec, 160 secs
lola: 1255586 markings, 2049677 edges, 8325 markings/sec, 165 secs
lola: 1296751 markings, 2122951 edges, 8233 markings/sec, 170 secs
lola: 1337947 markings, 2196223 edges, 8239 markings/sec, 175 secs
lola: 1379472 markings, 2269478 edges, 8305 markings/sec, 180 secs
lola: 1420693 markings, 2342699 edges, 8244 markings/sec, 185 secs
lola: 1462353 markings, 2415931 edges, 8332 markings/sec, 190 secs
lola: 1504737 markings, 2488989 edges, 8477 markings/sec, 195 secs
lola: 1546454 markings, 2562043 edges, 8343 markings/sec, 200 secs
lola: 1587710 markings, 2635053 edges, 8251 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: 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(p8729)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8729)
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: 26269 markings, 66496 edges, 5254 markings/sec, 30 secs
lola: 51848 markings, 143351 edges, 5116 markings/sec, 35 secs
lola: 76265 markings, 220133 edges, 4883 markings/sec, 40 secs
lola: 100278 markings, 296877 edges, 4803 markings/sec, 45 secs
lola: 123942 markings, 373616 edges, 4733 markings/sec, 50 secs
lola: 147229 markings, 450293 edges, 4657 markings/sec, 55 secs
lola: 170727 markings, 527002 edges, 4700 markings/sec, 60 secs
lola: 193392 markings, 603789 edges, 4533 markings/sec, 65 secs
lola: 216068 markings, 680558 edges, 4535 markings/sec, 70 secs
lola: 239302 markings, 757264 edges, 4647 markings/sec, 75 secs
lola: 261979 markings, 834125 edges, 4535 markings/sec, 80 secs
lola: 284740 markings, 910885 edges, 4552 markings/sec, 85 secs
lola: 307417 markings, 986891 edges, 4535 markings/sec, 90 secs
lola: 329590 markings, 1063625 edges, 4435 markings/sec, 95 secs
lola: 351812 markings, 1140393 edges, 4444 markings/sec, 100 secs
lola: 374434 markings, 1217125 edges, 4524 markings/sec, 105 secs
lola: 396588 markings, 1293878 edges, 4431 markings/sec, 110 secs
lola: 418263 markings, 1370612 edges, 4335 markings/sec, 115 secs
lola: 440023 markings, 1447325 edges, 4352 markings/sec, 120 secs
lola: 461907 markings, 1524020 edges, 4377 markings/sec, 125 secs
lola: 483781 markings, 1600731 edges, 4375 markings/sec, 130 secs
lola: 505719 markings, 1677372 edges, 4388 markings/sec, 135 secs
lola: 527873 markings, 1753999 edges, 4431 markings/sec, 140 secs
lola: 549960 markings, 1830649 edges, 4417 markings/sec, 145 secs
lola: 572157 markings, 1907329 edges, 4439 markings/sec, 150 secs
lola: 594300 markings, 1983967 edges, 4429 markings/sec, 155 secs
lola: 616331 markings, 2060667 edges, 4406 markings/sec, 160 secs
lola: 638061 markings, 2137431 edges, 4346 markings/sec, 165 secs
lola: 659912 markings, 2214100 edges, 4370 markings/sec, 170 secs
lola: 681509 markings, 2290751 edges, 4319 markings/sec, 175 secs
lola: 703221 markings, 2367401 edges, 4342 markings/sec, 180 secs
lola: 724660 markings, 2444021 edges, 4288 markings/sec, 185 secs
lola: 746064 markings, 2520647 edges, 4281 markings/sec, 190 secs
lola: 767575 markings, 2597239 edges, 4302 markings/sec, 195 secs
lola: 789303 markings, 2673769 edges, 4346 markings/sec, 200 secs
lola: 810917 markings, 2750359 edges, 4323 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: 1440828 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: 1440828 KB
lola: time consumption: 3569 seconds

BK_STOP 1552879727715

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-2000"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is 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 r088-csrt-155246566100328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;