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-155246566100325.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-1000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246566100325
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.8M
-rw-r--r-- 1 mcc users 3.8K Feb 11 09:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 11 09:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 7 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 7 09:37 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.5K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 3 15:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 3 15:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 10:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 10:38 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 5.7M 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-1000-UpperBounds-00
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-01
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-02
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-03
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-04
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-05
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-06
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-07
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-08
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-09
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-10
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-11
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-12
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-13
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-14
FORMULA_NAME JoinFreeModules-PT-1000-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552875969766

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-1000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-1000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-1000 @ 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: 13002/65536 symbol table entries, 4014 collisions
lola: preprocessing...
lola: Size of bit vector: 160032
lola: finding significant places
lola: 5001 places, 8001 transitions, 4000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9001 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-1000-UpperBounds.task
lola: MAX(p4810) : MAX(p3821) : MAX(p1945) : MAX(p3795) : MAX(p4551) : MAX(p942) : MAX(p3517) : MAX(p2641) : MAX(p47) : MAX(p583) : MAX(p3099) : MAX(p4784) : MAX(p199) : MAX(p1664) : MAX(p4698) : MAX(p4448)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4810)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4810)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 46893 markings, 113602 edges, 9379 markings/sec, 30 secs
lola: 87629 markings, 232487 edges, 8147 markings/sec, 35 secs
lola: 130357 markings, 364498 edges, 8546 markings/sec, 40 secs
lola: 172756 markings, 499214 edges, 8480 markings/sec, 45 secs
lola: 213306 markings, 634522 edges, 8110 markings/sec, 50 secs
lola: 252981 markings, 769413 edges, 7935 markings/sec, 55 secs
lola: 293379 markings, 904377 edges, 8080 markings/sec, 60 secs
lola: 331992 markings, 1039404 edges, 7723 markings/sec, 65 secs
lola: 370410 markings, 1174473 edges, 7684 markings/sec, 70 secs
lola: 407983 markings, 1309614 edges, 7515 markings/sec, 75 secs
lola: 444875 markings, 1444544 edges, 7378 markings/sec, 80 secs
lola: 481137 markings, 1579695 edges, 7252 markings/sec, 85 secs
lola: 517473 markings, 1714578 edges, 7267 markings/sec, 90 secs
lola: 553892 markings, 1847553 edges, 7284 markings/sec, 95 secs
lola: 589400 markings, 1980440 edges, 7102 markings/sec, 100 secs
lola: 624389 markings, 2114888 edges, 6998 markings/sec, 105 secs
lola: 659971 markings, 2249304 edges, 7116 markings/sec, 110 secs
lola: 695818 markings, 2384207 edges, 7169 markings/sec, 115 secs
lola: 731201 markings, 2519177 edges, 7077 markings/sec, 120 secs
lola: 765367 markings, 2653916 edges, 6833 markings/sec, 125 secs
lola: 801205 markings, 2790066 edges, 7168 markings/sec, 130 secs
lola: 835632 markings, 2921241 edges, 6885 markings/sec, 135 secs
lola: 869096 markings, 3053039 edges, 6693 markings/sec, 140 secs
lola: 904414 markings, 3189466 edges, 7064 markings/sec, 145 secs
lola: 938917 markings, 3325880 edges, 6901 markings/sec, 150 secs
lola: 970806 markings, 3452327 edges, 6378 markings/sec, 155 secs
lola: 1001575 markings, 3572356 edges, 6154 markings/sec, 160 secs
lola: 1034195 markings, 3699271 edges, 6524 markings/sec, 165 secs
lola: 1064239 markings, 3821606 edges, 6009 markings/sec, 170 secs
lola: 1095223 markings, 3943539 edges, 6197 markings/sec, 175 secs
lola: 1124837 markings, 4062546 edges, 5923 markings/sec, 180 secs
lola: 1155572 markings, 4182167 edges, 6147 markings/sec, 185 secs
lola: 1185669 markings, 4302887 edges, 6019 markings/sec, 190 secs
lola: 1215780 markings, 4423428 edges, 6022 markings/sec, 195 secs
lola: 1249367 markings, 4559593 edges, 6717 markings/sec, 200 secs
lola: 1283262 markings, 4698228 edges, 6779 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: 2648772 KB
lola: time consumption: 377 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3821)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3821)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 66399 markings, 139729 edges, 13280 markings/sec, 30 secs
lola: 132769 markings, 285981 edges, 13274 markings/sec, 35 secs
lola: 198583 markings, 431722 edges, 13163 markings/sec, 40 secs
lola: 265323 markings, 577203 edges, 13348 markings/sec, 45 secs
lola: 330471 markings, 722696 edges, 13030 markings/sec, 50 secs
lola: 395150 markings, 868293 edges, 12936 markings/sec, 55 secs
lola: 459671 markings, 1013605 edges, 12904 markings/sec, 60 secs
lola: 524063 markings, 1158408 edges, 12878 markings/sec, 65 secs
lola: 588673 markings, 1303577 edges, 12922 markings/sec, 70 secs
lola: 652175 markings, 1448798 edges, 12700 markings/sec, 75 secs
lola: 716718 markings, 1593142 edges, 12909 markings/sec, 80 secs
lola: 782252 markings, 1738217 edges, 13107 markings/sec, 85 secs
lola: 846227 markings, 1882873 edges, 12795 markings/sec, 90 secs
lola: 910914 markings, 2028068 edges, 12937 markings/sec, 95 secs
lola: 975534 markings, 2172974 edges, 12924 markings/sec, 100 secs
lola: 1037996 markings, 2314703 edges, 12492 markings/sec, 105 secs
lola: 1094818 markings, 2442055 edges, 11364 markings/sec, 110 secs
lola: 1151270 markings, 2567883 edges, 11290 markings/sec, 115 secs
lola: 1208597 markings, 2698495 edges, 11465 markings/sec, 120 secs
lola: 1264291 markings, 2823135 edges, 11139 markings/sec, 125 secs
lola: 1322927 markings, 2955605 edges, 11727 markings/sec, 130 secs
lola: 1387656 markings, 3099560 edges, 12946 markings/sec, 135 secs
lola: 1450035 markings, 3243998 edges, 12476 markings/sec, 140 secs
lola: 1514579 markings, 3389198 edges, 12909 markings/sec, 145 secs
lola: 1578582 markings, 3532961 edges, 12801 markings/sec, 150 secs
lola: 1640287 markings, 3673161 edges, 12341 markings/sec, 155 secs
lola: 1704060 markings, 3814958 edges, 12755 markings/sec, 160 secs
lola: 1768473 markings, 3959826 edges, 12883 markings/sec, 165 secs
lola: 1832820 markings, 4104931 edges, 12869 markings/sec, 170 secs
lola: 1898568 markings, 4249458 edges, 13150 markings/sec, 175 secs
lola: 1962300 markings, 4393036 edges, 12746 markings/sec, 180 secs
lola: 2026959 markings, 4535094 edges, 12932 markings/sec, 185 secs
lola: 2087471 markings, 4670076 edges, 12102 markings/sec, 190 secs
lola: 2152103 markings, 4813388 edges, 12926 markings/sec, 195 secs
lola: 2213310 markings, 4951742 edges, 12241 markings/sec, 200 secs
lola: 2276703 markings, 5094757 edges, 12679 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: 2199416 KB
lola: time consumption: 589 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1945)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1945)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 52756 markings, 129943 edges, 10551 markings/sec, 30 secs
lola: 98708 markings, 265881 edges, 9190 markings/sec, 35 secs
lola: 141828 markings, 400351 edges, 8624 markings/sec, 40 secs
lola: 183860 markings, 535764 edges, 8406 markings/sec, 45 secs
lola: 224473 markings, 671158 edges, 8123 markings/sec, 50 secs
lola: 264628 markings, 806507 edges, 8031 markings/sec, 55 secs
lola: 303987 markings, 941874 edges, 7872 markings/sec, 60 secs
lola: 342557 markings, 1076897 edges, 7714 markings/sec, 65 secs
lola: 380659 markings, 1211904 edges, 7620 markings/sec, 70 secs
lola: 418435 markings, 1347297 edges, 7555 markings/sec, 75 secs
lola: 454949 markings, 1481582 edges, 7303 markings/sec, 80 secs
lola: 490803 markings, 1615959 edges, 7171 markings/sec, 85 secs
lola: 527395 markings, 1750757 edges, 7318 markings/sec, 90 secs
lola: 564296 markings, 1885952 edges, 7380 markings/sec, 95 secs
lola: 599025 markings, 2018474 edges, 6946 markings/sec, 100 secs
lola: 634657 markings, 2153559 edges, 7126 markings/sec, 105 secs
lola: 670561 markings, 2289298 edges, 7181 markings/sec, 110 secs
lola: 707085 markings, 2425436 edges, 7305 markings/sec, 115 secs
lola: 742263 markings, 2561460 edges, 7036 markings/sec, 120 secs
lola: 776948 markings, 2697613 edges, 6937 markings/sec, 125 secs
lola: 812693 markings, 2832932 edges, 7149 markings/sec, 130 secs
lola: 847182 markings, 2968895 edges, 6898 markings/sec, 135 secs
lola: 882415 markings, 3104618 edges, 7047 markings/sec, 140 secs
lola: 917124 markings, 3240407 edges, 6942 markings/sec, 145 secs
lola: 951606 markings, 3376281 edges, 6896 markings/sec, 150 secs
lola: 986234 markings, 3512245 edges, 6926 markings/sec, 155 secs
lola: 1021021 markings, 3648226 edges, 6957 markings/sec, 160 secs
lola: 1054101 markings, 3781709 edges, 6616 markings/sec, 165 secs
lola: 1088559 markings, 3917067 edges, 6892 markings/sec, 170 secs
lola: 1122659 markings, 4053719 edges, 6820 markings/sec, 175 secs
lola: 1157515 markings, 4189985 edges, 6971 markings/sec, 180 secs
lola: 1192349 markings, 4326574 edges, 6967 markings/sec, 185 secs
lola: 1225433 markings, 4463206 edges, 6617 markings/sec, 190 secs
lola: 1259760 markings, 4599732 edges, 6865 markings/sec, 195 secs
lola: 1292764 markings, 4736127 edges, 6601 markings/sec, 200 secs
lola: 1325568 markings, 4871891 edges, 6561 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: 4328288 KB
lola: time consumption: 801 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3795)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3795)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 56057 markings, 139542 edges, 11211 markings/sec, 30 secs
lola: 105105 markings, 285407 edges, 9810 markings/sec, 35 secs
lola: 151479 markings, 431370 edges, 9275 markings/sec, 40 secs
lola: 196581 markings, 577394 edges, 9020 markings/sec, 45 secs
lola: 239636 markings, 723252 edges, 8611 markings/sec, 50 secs
lola: 282732 markings, 869192 edges, 8619 markings/sec, 55 secs
lola: 324628 markings, 1014489 edges, 8379 markings/sec, 60 secs
lola: 366482 markings, 1160070 edges, 8371 markings/sec, 65 secs
lola: 406781 markings, 1305979 edges, 8060 markings/sec, 70 secs
lola: 446669 markings, 1451245 edges, 7978 markings/sec, 75 secs
lola: 485744 markings, 1597288 edges, 7815 markings/sec, 80 secs
lola: 525013 markings, 1743196 edges, 7854 markings/sec, 85 secs
lola: 565038 markings, 1888880 edges, 8005 markings/sec, 90 secs
lola: 603546 markings, 2034416 edges, 7702 markings/sec, 95 secs
lola: 641604 markings, 2180117 edges, 7612 markings/sec, 100 secs
lola: 680605 markings, 2325368 edges, 7800 markings/sec, 105 secs
lola: 718531 markings, 2470683 edges, 7585 markings/sec, 110 secs
lola: 755932 markings, 2615882 edges, 7480 markings/sec, 115 secs
lola: 793679 markings, 2760829 edges, 7549 markings/sec, 120 secs
lola: 831306 markings, 2905513 edges, 7525 markings/sec, 125 secs
lola: 868309 markings, 3050521 edges, 7401 markings/sec, 130 secs
lola: 905810 markings, 3195316 edges, 7500 markings/sec, 135 secs
lola: 942593 markings, 3340162 edges, 7357 markings/sec, 140 secs
lola: 979249 markings, 3485110 edges, 7331 markings/sec, 145 secs
lola: 1016344 markings, 3630173 edges, 7419 markings/sec, 150 secs
lola: 1052488 markings, 3775113 edges, 7229 markings/sec, 155 secs
lola: 1089490 markings, 3920026 edges, 7400 markings/sec, 160 secs
lola: 1125340 markings, 4064722 edges, 7170 markings/sec, 165 secs
lola: 1161895 markings, 4209432 edges, 7311 markings/sec, 170 secs
lola: 1199230 markings, 4354332 edges, 7467 markings/sec, 175 secs
lola: 1234194 markings, 4499269 edges, 6993 markings/sec, 180 secs
lola: 1270109 markings, 4643835 edges, 7183 markings/sec, 185 secs
lola: 1305907 markings, 4788540 edges, 7160 markings/sec, 190 secs
lola: 1341146 markings, 4933341 edges, 7048 markings/sec, 195 secs
lola: 1376981 markings, 5078099 edges, 7167 markings/sec, 200 secs
lola: 1413056 markings, 5223197 edges, 7215 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: 1600772 KB
lola: time consumption: 1014 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4551)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4551)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 63436 markings, 133167 edges, 12687 markings/sec, 30 secs
lola: 126491 markings, 272269 edges, 12611 markings/sec, 35 secs
lola: 189098 markings, 411062 edges, 12521 markings/sec, 40 secs
lola: 252346 markings, 549222 edges, 12650 markings/sec, 45 secs
lola: 314827 markings, 686741 edges, 12496 markings/sec, 50 secs
lola: 375665 markings, 824193 edges, 12168 markings/sec, 55 secs
lola: 436476 markings, 961593 edges, 12162 markings/sec, 60 secs
lola: 497396 markings, 1098953 edges, 12184 markings/sec, 65 secs
lola: 558858 markings, 1236153 edges, 12292 markings/sec, 70 secs
lola: 619623 markings, 1373321 edges, 12153 markings/sec, 75 secs
lola: 679538 markings, 1510149 edges, 11983 markings/sec, 80 secs
lola: 741219 markings, 1647438 edges, 12336 markings/sec, 85 secs
lola: 803133 markings, 1784827 edges, 12383 markings/sec, 90 secs
lola: 863734 markings, 1921890 edges, 12120 markings/sec, 95 secs
lola: 924341 markings, 2059023 edges, 12121 markings/sec, 100 secs
lola: 985956 markings, 2196180 edges, 12323 markings/sec, 105 secs
lola: 1046297 markings, 2333372 edges, 12068 markings/sec, 110 secs
lola: 1107973 markings, 2470607 edges, 12335 markings/sec, 115 secs
lola: 1168481 markings, 2607903 edges, 12102 markings/sec, 120 secs
lola: 1229949 markings, 2745214 edges, 12294 markings/sec, 125 secs
lola: 1290303 markings, 2882414 edges, 12071 markings/sec, 130 secs
lola: 1351720 markings, 3020240 edges, 12283 markings/sec, 135 secs
lola: 1413479 markings, 3157917 edges, 12352 markings/sec, 140 secs
lola: 1473780 markings, 3295346 edges, 12060 markings/sec, 145 secs
lola: 1534384 markings, 3432799 edges, 12121 markings/sec, 150 secs
lola: 1595106 markings, 3570104 edges, 12144 markings/sec, 155 secs
lola: 1656232 markings, 3707361 edges, 12225 markings/sec, 160 secs
lola: 1716419 markings, 3842631 edges, 12037 markings/sec, 165 secs
lola: 1777030 markings, 3978938 edges, 12122 markings/sec, 170 secs
lola: 1837729 markings, 4116072 edges, 12140 markings/sec, 175 secs
lola: 1899968 markings, 4252765 edges, 12448 markings/sec, 180 secs
lola: 1960956 markings, 4389768 edges, 12198 markings/sec, 185 secs
lola: 2023062 markings, 4526767 edges, 12421 markings/sec, 190 secs
lola: 2084542 markings, 4663745 edges, 12296 markings/sec, 195 secs
lola: 2146105 markings, 4800633 edges, 12313 markings/sec, 200 secs
lola: 2206748 markings, 4937484 edges, 12129 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: 6075520 KB
lola: time consumption: 1226 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p942)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p942)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 89618 markings, 141393 edges, 17924 markings/sec, 30 secs
lola: 179969 markings, 289743 edges, 18070 markings/sec, 35 secs
lola: 269573 markings, 437080 edges, 17921 markings/sec, 40 secs
lola: 360362 markings, 586201 edges, 18158 markings/sec, 45 secs
lola: 450927 markings, 735021 edges, 18113 markings/sec, 50 secs
lola: 541701 markings, 884119 edges, 18155 markings/sec, 55 secs
lola: 632388 markings, 1033123 edges, 18137 markings/sec, 60 secs
lola: 723079 markings, 1182210 edges, 18138 markings/sec, 65 secs
lola: 818142 markings, 1330636 edges, 19013 markings/sec, 70 secs
lola: 922252 markings, 1479063 edges, 20822 markings/sec, 75 secs
lola: 1026298 markings, 1627587 edges, 20809 markings/sec, 80 secs
lola: 1130341 markings, 1776308 edges, 20809 markings/sec, 85 secs
lola: 1225271 markings, 1924787 edges, 18986 markings/sec, 90 secs
lola: 1315636 markings, 2073419 edges, 18073 markings/sec, 95 secs
lola: 1406168 markings, 2222046 edges, 18106 markings/sec, 100 secs
lola: 1496162 markings, 2370047 edges, 17999 markings/sec, 105 secs
lola: 1586258 markings, 2518024 edges, 18019 markings/sec, 110 secs
lola: 1676645 markings, 2666643 edges, 18077 markings/sec, 115 secs
lola: 1767041 markings, 2815212 edges, 18079 markings/sec, 120 secs
lola: 1857507 markings, 2963905 edges, 18093 markings/sec, 125 secs
lola: 1950849 markings, 3112124 edges, 18668 markings/sec, 130 secs
lola: 2051655 markings, 3255976 edges, 20161 markings/sec, 135 secs
lola: 2154961 markings, 3403553 edges, 20661 markings/sec, 140 secs
lola: 2258690 markings, 3551328 edges, 20746 markings/sec, 145 secs
lola: 2356493 markings, 3699177 edges, 19561 markings/sec, 150 secs
lola: 2446552 markings, 3847264 edges, 18012 markings/sec, 155 secs
lola: 2536716 markings, 3995290 edges, 18033 markings/sec, 160 secs
lola: 2626867 markings, 4143598 edges, 18030 markings/sec, 165 secs
lola: 2717658 markings, 4292751 edges, 18158 markings/sec, 170 secs
lola: 2810785 markings, 4445669 edges, 18625 markings/sec, 175 secs
lola: 2901434 markings, 4594689 edges, 18130 markings/sec, 180 secs
lola: 2991596 markings, 4742781 edges, 18032 markings/sec, 185 secs
lola: 3082234 markings, 4890597 edges, 18128 markings/sec, 190 secs
lola: 3185452 markings, 5037904 edges, 20644 markings/sec, 195 secs
lola: 3287867 markings, 5184030 edges, 20483 markings/sec, 200 secs
lola: 3391401 markings, 5331924 edges, 20707 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: 3087976 KB
lola: time consumption: 1439 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3517)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3517)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 87336 markings, 137850 edges, 17467 markings/sec, 30 secs
lola: 178310 markings, 287179 edges, 18195 markings/sec, 35 secs
lola: 269101 markings, 436352 edges, 18158 markings/sec, 40 secs
lola: 360204 markings, 585957 edges, 18221 markings/sec, 45 secs
lola: 451151 markings, 735366 edges, 18189 markings/sec, 50 secs
lola: 541596 markings, 883957 edges, 18089 markings/sec, 55 secs
lola: 632560 markings, 1033389 edges, 18193 markings/sec, 60 secs
lola: 720863 markings, 1178561 edges, 17661 markings/sec, 65 secs
lola: 813047 markings, 1323316 edges, 18437 markings/sec, 70 secs
lola: 914074 markings, 1467404 edges, 20205 markings/sec, 75 secs
lola: 1013641 markings, 1609744 edges, 19913 markings/sec, 80 secs
lola: 1111240 markings, 1748984 edges, 19520 markings/sec, 85 secs
lola: 1202824 markings, 1887862 edges, 18317 markings/sec, 90 secs
lola: 1287772 markings, 2027659 edges, 16990 markings/sec, 95 secs
lola: 1371992 markings, 2165957 edges, 16844 markings/sec, 100 secs
lola: 1457041 markings, 2305768 edges, 17010 markings/sec, 105 secs
lola: 1543585 markings, 2447960 edges, 17309 markings/sec, 110 secs
lola: 1631730 markings, 2592906 edges, 17629 markings/sec, 115 secs
lola: 1718991 markings, 2736297 edges, 17452 markings/sec, 120 secs
lola: 1805893 markings, 2879110 edges, 17380 markings/sec, 125 secs
lola: 1893753 markings, 3023463 edges, 17572 markings/sec, 130 secs
lola: 1989453 markings, 3167076 edges, 19140 markings/sec, 135 secs
lola: 2089084 markings, 3309489 edges, 19926 markings/sec, 140 secs
lola: 2188088 markings, 3450837 edges, 19801 markings/sec, 145 secs
lola: 2286971 markings, 3591926 edges, 19777 markings/sec, 150 secs
lola: 2379491 markings, 3737103 edges, 18504 markings/sec, 155 secs
lola: 2468790 markings, 3883662 edges, 17860 markings/sec, 160 secs
lola: 2557988 markings, 4030419 edges, 17840 markings/sec, 165 secs
lola: 2647618 markings, 4177579 edges, 17926 markings/sec, 170 secs
lola: 2736999 markings, 4324547 edges, 17876 markings/sec, 175 secs
lola: 2826832 markings, 4472043 edges, 17967 markings/sec, 180 secs
lola: 2909662 markings, 4608108 edges, 16566 markings/sec, 185 secs
lola: 2997200 markings, 4751936 edges, 17508 markings/sec, 190 secs
lola: 3089008 markings, 4900262 edges, 18362 markings/sec, 195 secs
lola: 3191827 markings, 5046871 edges, 20564 markings/sec, 200 secs
lola: 3296166 markings, 5195893 edges, 20868 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: 6591140 KB
lola: time consumption: 1653 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(p2641)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2641)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 69033 markings, 145577 edges, 13807 markings/sec, 30 secs
lola: 138259 markings, 298230 edges, 13845 markings/sec, 35 secs
lola: 207136 markings, 450512 edges, 13775 markings/sec, 40 secs
lola: 276845 markings, 602813 edges, 13942 markings/sec, 45 secs
lola: 344376 markings, 754896 edges, 13506 markings/sec, 50 secs
lola: 412466 markings, 907163 edges, 13618 markings/sec, 55 secs
lola: 479888 markings, 1059230 edges, 13484 markings/sec, 60 secs
lola: 547929 markings, 1211635 edges, 13608 markings/sec, 65 secs
lola: 615731 markings, 1364206 edges, 13560 markings/sec, 70 secs
lola: 682352 markings, 1516366 edges, 13324 markings/sec, 75 secs
lola: 750939 markings, 1668594 edges, 13717 markings/sec, 80 secs
lola: 818674 markings, 1820973 edges, 13547 markings/sec, 85 secs
lola: 886653 markings, 1973120 edges, 13596 markings/sec, 90 secs
lola: 954642 markings, 2125399 edges, 13598 markings/sec, 95 secs
lola: 1021303 markings, 2277692 edges, 13332 markings/sec, 100 secs
lola: 1089375 markings, 2430129 edges, 13614 markings/sec, 105 secs
lola: 1157797 markings, 2582552 edges, 13684 markings/sec, 110 secs
lola: 1225459 markings, 2734789 edges, 13532 markings/sec, 115 secs
lola: 1292361 markings, 2887114 edges, 13380 markings/sec, 120 secs
lola: 1360058 markings, 3039195 edges, 13539 markings/sec, 125 secs
lola: 1427789 markings, 3191046 edges, 13546 markings/sec, 130 secs
lola: 1493766 markings, 3340656 edges, 13195 markings/sec, 135 secs
lola: 1560728 markings, 3492440 edges, 13392 markings/sec, 140 secs
lola: 1628218 markings, 3644882 edges, 13498 markings/sec, 145 secs
lola: 1696501 markings, 3797493 edges, 13657 markings/sec, 150 secs
lola: 1764156 markings, 3949737 edges, 13531 markings/sec, 155 secs
lola: 1831617 markings, 4102167 edges, 13492 markings/sec, 160 secs
lola: 1900703 markings, 4254252 edges, 13817 markings/sec, 165 secs
lola: 1968529 markings, 4406710 edges, 13565 markings/sec, 170 secs
lola: 2037506 markings, 4558520 edges, 13795 markings/sec, 175 secs
lola: 2106000 markings, 4710649 edges, 13699 markings/sec, 180 secs
lola: 2173378 markings, 4862766 edges, 13476 markings/sec, 185 secs
lola: 2241858 markings, 5014663 edges, 13696 markings/sec, 190 secs
lola: 2309050 markings, 5167103 edges, 13438 markings/sec, 195 secs
lola: 2376648 markings, 5319381 edges, 13520 markings/sec, 200 secs
lola: 2445449 markings, 5471974 edges, 13760 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: 1319688 KB
lola: time consumption: 1865 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p47)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 93559 markings, 147911 edges, 18712 markings/sec, 30 secs
lola: 187382 markings, 301997 edges, 18765 markings/sec, 35 secs
lola: 281184 markings, 456127 edges, 18760 markings/sec, 40 secs
lola: 375079 markings, 610402 edges, 18779 markings/sec, 45 secs
lola: 468851 markings, 764480 edges, 18754 markings/sec, 50 secs
lola: 560226 markings, 914640 edges, 18275 markings/sec, 55 secs
lola: 653983 markings, 1068618 edges, 18751 markings/sec, 60 secs
lola: 747812 markings, 1222796 edges, 18766 markings/sec, 65 secs
lola: 850503 markings, 1376746 edges, 20538 markings/sec, 70 secs
lola: 958463 markings, 1530815 edges, 21592 markings/sec, 75 secs
lola: 1066209 markings, 1684744 edges, 21549 markings/sec, 80 secs
lola: 1172757 markings, 1838701 edges, 21310 markings/sec, 85 secs
lola: 1266452 markings, 1992625 edges, 18739 markings/sec, 90 secs
lola: 1360111 markings, 2146434 edges, 18732 markings/sec, 95 secs
lola: 1453695 markings, 2300242 edges, 18717 markings/sec, 100 secs
lola: 1547325 markings, 2454058 edges, 18726 markings/sec, 105 secs
lola: 1640898 markings, 2607913 edges, 18715 markings/sec, 110 secs
lola: 1734719 markings, 2761996 edges, 18764 markings/sec, 115 secs
lola: 1828349 markings, 2915915 edges, 18726 markings/sec, 120 secs
lola: 1922018 markings, 3069995 edges, 18734 markings/sec, 125 secs
lola: 2028607 markings, 3223032 edges, 21318 markings/sec, 130 secs
lola: 2135786 markings, 3375977 edges, 21436 markings/sec, 135 secs
lola: 2235932 markings, 3519148 edges, 20029 markings/sec, 140 secs
lola: 2344719 markings, 3680102 edges, 21757 markings/sec, 145 secs
lola: 2443869 markings, 3842744 edges, 19830 markings/sec, 150 secs
lola: 2542447 markings, 4004905 edges, 19716 markings/sec, 155 secs
lola: 2641028 markings, 4166886 edges, 19716 markings/sec, 160 secs
lola: 2739349 markings, 4328322 edges, 19664 markings/sec, 165 secs
lola: 2838169 markings, 4490586 edges, 19764 markings/sec, 170 secs
lola: 2936887 markings, 4652925 edges, 19744 markings/sec, 175 secs
lola: 3035968 markings, 4815632 edges, 19816 markings/sec, 180 secs
lola: 3143535 markings, 4978040 edges, 21513 markings/sec, 185 secs
lola: 3256923 markings, 5139715 edges, 22678 markings/sec, 190 secs
lola: 3369998 markings, 5301269 edges, 22615 markings/sec, 195 secs
lola: 3483433 markings, 5463224 edges, 22687 markings/sec, 200 secs
lola: 3583135 markings, 5623495 edges, 19940 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: 4247568 KB
lola: time consumption: 2078 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p583)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p583)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 110406 markings, 154186 edges, 22081 markings/sec, 30 secs
lola: 215244 markings, 315159 edges, 20968 markings/sec, 35 secs
lola: 315519 markings, 476862 edges, 20055 markings/sec, 40 secs
lola: 408423 markings, 636623 edges, 18581 markings/sec, 45 secs
lola: 500726 markings, 797379 edges, 18461 markings/sec, 50 secs
lola: 590450 markings, 953882 edges, 17945 markings/sec, 55 secs
lola: 682045 markings, 1114870 edges, 18319 markings/sec, 60 secs
lola: 771025 markings, 1273615 edges, 17796 markings/sec, 65 secs
lola: 862861 markings, 1434720 edges, 18367 markings/sec, 70 secs
lola: 954342 markings, 1596065 edges, 18296 markings/sec, 75 secs
lola: 1045191 markings, 1757298 edges, 18170 markings/sec, 80 secs
lola: 1136305 markings, 1918503 edges, 18223 markings/sec, 85 secs
lola: 1229012 markings, 2079697 edges, 18541 markings/sec, 90 secs
lola: 1320307 markings, 2240694 edges, 18259 markings/sec, 95 secs
lola: 1412432 markings, 2401871 edges, 18425 markings/sec, 100 secs
lola: 1503241 markings, 2563065 edges, 18162 markings/sec, 105 secs
lola: 1595633 markings, 2724108 edges, 18478 markings/sec, 110 secs
lola: 1687948 markings, 2885009 edges, 18463 markings/sec, 115 secs
lola: 1780273 markings, 3045918 edges, 18465 markings/sec, 120 secs
lola: 1872652 markings, 3206895 edges, 18476 markings/sec, 125 secs
lola: 1964844 markings, 3367581 edges, 18438 markings/sec, 130 secs
lola: 2057723 markings, 3528302 edges, 18576 markings/sec, 135 secs
lola: 2149687 markings, 3689028 edges, 18393 markings/sec, 140 secs
lola: 2242015 markings, 3849744 edges, 18466 markings/sec, 145 secs
lola: 2334398 markings, 4010304 edges, 18477 markings/sec, 150 secs
lola: 2427179 markings, 4170664 edges, 18556 markings/sec, 155 secs
lola: 2519737 markings, 4330621 edges, 18512 markings/sec, 160 secs
lola: 2611838 markings, 4490393 edges, 18420 markings/sec, 165 secs
lola: 2703196 markings, 4650375 edges, 18272 markings/sec, 170 secs
lola: 2795141 markings, 4810392 edges, 18389 markings/sec, 175 secs
lola: 2887475 markings, 4970274 edges, 18467 markings/sec, 180 secs
lola: 2980119 markings, 5130328 edges, 18529 markings/sec, 185 secs
lola: 3072301 markings, 5290419 edges, 18436 markings/sec, 190 secs
lola: 3164143 markings, 5450489 edges, 18368 markings/sec, 195 secs
lola: 3256809 markings, 5610523 edges, 18533 markings/sec, 200 secs
lola: 3348494 markings, 5770150 edges, 18337 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: 3198528 KB
lola: time consumption: 2291 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3099)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3099)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 51818 markings, 145176 edges, 10364 markings/sec, 30 secs
lola: 99858 markings, 297024 edges, 9608 markings/sec, 35 secs
lola: 146362 markings, 449074 edges, 9301 markings/sec, 40 secs
lola: 192129 markings, 600811 edges, 9153 markings/sec, 45 secs
lola: 237961 markings, 752719 edges, 9166 markings/sec, 50 secs
lola: 282952 markings, 904987 edges, 8998 markings/sec, 55 secs
lola: 327261 markings, 1056939 edges, 8862 markings/sec, 60 secs
lola: 370486 markings, 1206124 edges, 8645 markings/sec, 65 secs
lola: 414611 markings, 1358031 edges, 8825 markings/sec, 70 secs
lola: 457936 markings, 1507433 edges, 8665 markings/sec, 75 secs
lola: 501245 markings, 1658887 edges, 8662 markings/sec, 80 secs
lola: 544241 markings, 1810270 edges, 8599 markings/sec, 85 secs
lola: 587286 markings, 1961321 edges, 8609 markings/sec, 90 secs
lola: 629504 markings, 2109878 edges, 8444 markings/sec, 95 secs
lola: 672257 markings, 2261279 edges, 8551 markings/sec, 100 secs
lola: 715315 markings, 2412632 edges, 8612 markings/sec, 105 secs
lola: 758263 markings, 2563858 edges, 8590 markings/sec, 110 secs
lola: 800813 markings, 2714745 edges, 8510 markings/sec, 115 secs
lola: 842734 markings, 2865571 edges, 8384 markings/sec, 120 secs
lola: 885131 markings, 3016379 edges, 8479 markings/sec, 125 secs
lola: 927530 markings, 3167098 edges, 8480 markings/sec, 130 secs
lola: 969670 markings, 3318066 edges, 8428 markings/sec, 135 secs
lola: 1012030 markings, 3468803 edges, 8472 markings/sec, 140 secs
lola: 1054083 markings, 3619749 edges, 8411 markings/sec, 145 secs
lola: 1095835 markings, 3770694 edges, 8350 markings/sec, 150 secs
lola: 1137393 markings, 3921693 edges, 8312 markings/sec, 155 secs
lola: 1179375 markings, 4072259 edges, 8396 markings/sec, 160 secs
lola: 1220850 markings, 4222838 edges, 8295 markings/sec, 165 secs
lola: 1262974 markings, 4373588 edges, 8425 markings/sec, 170 secs
lola: 1304702 markings, 4524441 edges, 8346 markings/sec, 175 secs
lola: 1346814 markings, 4675067 edges, 8422 markings/sec, 180 secs
lola: 1388910 markings, 4825908 edges, 8419 markings/sec, 185 secs
lola: 1430676 markings, 4976253 edges, 8353 markings/sec, 190 secs
lola: 1472082 markings, 5126583 edges, 8281 markings/sec, 195 secs
lola: 1513453 markings, 5277118 edges, 8274 markings/sec, 200 secs
lola: 1554977 markings, 5428268 edges, 8305 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: 4664172 KB
lola: time consumption: 2505 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(p4784)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4784)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 53098 markings, 149211 edges, 10620 markings/sec, 30 secs
lola: 101940 markings, 303651 edges, 9768 markings/sec, 35 secs
lola: 149203 markings, 458790 edges, 9453 markings/sec, 40 secs
lola: 196149 markings, 613768 edges, 9389 markings/sec, 45 secs
lola: 242774 markings, 768807 edges, 9325 markings/sec, 50 secs
lola: 287604 markings, 920377 edges, 8966 markings/sec, 55 secs
lola: 332193 markings, 1073874 edges, 8918 markings/sec, 60 secs
lola: 376648 markings, 1227495 edges, 8891 markings/sec, 65 secs
lola: 421385 markings, 1381171 edges, 8947 markings/sec, 70 secs
lola: 465705 markings, 1534680 edges, 8864 markings/sec, 75 secs
lola: 509570 markings, 1688019 edges, 8773 markings/sec, 80 secs
lola: 553128 markings, 1841382 edges, 8712 markings/sec, 85 secs
lola: 596062 markings, 1992008 edges, 8587 markings/sec, 90 secs
lola: 639104 markings, 2143891 edges, 8608 markings/sec, 95 secs
lola: 682553 markings, 2297361 edges, 8690 markings/sec, 100 secs
lola: 726150 markings, 2450742 edges, 8719 markings/sec, 105 secs
lola: 769497 markings, 2604059 edges, 8669 markings/sec, 110 secs
lola: 812699 markings, 2757239 edges, 8640 markings/sec, 115 secs
lola: 855337 markings, 2909870 edges, 8528 markings/sec, 120 secs
lola: 898177 markings, 3062649 edges, 8568 markings/sec, 125 secs
lola: 941022 markings, 3215385 edges, 8569 markings/sec, 130 secs
lola: 983696 markings, 3368266 edges, 8535 markings/sec, 135 secs
lola: 1026579 markings, 3521193 edges, 8577 markings/sec, 140 secs
lola: 1069075 markings, 3674356 edges, 8499 markings/sec, 145 secs
lola: 1111209 markings, 3827500 edges, 8427 markings/sec, 150 secs
lola: 1153866 markings, 3980644 edges, 8531 markings/sec, 155 secs
lola: 1196391 markings, 4133404 edges, 8505 markings/sec, 160 secs
lola: 1238699 markings, 4286393 edges, 8462 markings/sec, 165 secs
lola: 1281018 markings, 4439134 edges, 8464 markings/sec, 170 secs
lola: 1323664 markings, 4591906 edges, 8529 markings/sec, 175 secs
lola: 1366053 markings, 4744495 edges, 8478 markings/sec, 180 secs
lola: 1406863 markings, 4890555 edges, 8162 markings/sec, 185 secs
lola: 1446782 markings, 5034534 edges, 7984 markings/sec, 190 secs
lola: 1487778 markings, 5183883 edges, 8199 markings/sec, 195 secs
lola: 1529878 markings, 5336685 edges, 8420 markings/sec, 200 secs
lola: 1571970 markings, 5489335 edges, 8418 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: 3479092 KB
lola: time consumption: 2717 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p199)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 53380 markings, 150099 edges, 10676 markings/sec, 30 secs
lola: 102520 markings, 305545 edges, 9828 markings/sec, 35 secs
lola: 149766 markings, 460544 edges, 9449 markings/sec, 40 secs
lola: 196624 markings, 615333 edges, 9372 markings/sec, 45 secs
lola: 243081 markings, 769853 edges, 9291 markings/sec, 50 secs
lola: 288824 markings, 924205 edges, 9149 markings/sec, 55 secs
lola: 333501 markings, 1078417 edges, 8935 markings/sec, 60 secs
lola: 377998 markings, 1232449 edges, 8899 markings/sec, 65 secs
lola: 422823 markings, 1386268 edges, 8965 markings/sec, 70 secs
lola: 467245 markings, 1540022 edges, 8884 markings/sec, 75 secs
lola: 511185 markings, 1693531 edges, 8788 markings/sec, 80 secs
lola: 554752 markings, 1846991 edges, 8713 markings/sec, 85 secs
lola: 598640 markings, 2001214 edges, 8778 markings/sec, 90 secs
lola: 642171 markings, 2154663 edges, 8706 markings/sec, 95 secs
lola: 685468 markings, 2307944 edges, 8659 markings/sec, 100 secs
lola: 729183 markings, 2461154 edges, 8743 markings/sec, 105 secs
lola: 771472 markings, 2611127 edges, 8458 markings/sec, 110 secs
lola: 814725 markings, 2764859 edges, 8651 markings/sec, 115 secs
lola: 858022 markings, 2919133 edges, 8659 markings/sec, 120 secs
lola: 901310 markings, 3073524 edges, 8658 markings/sec, 125 secs
lola: 944066 markings, 3225944 edges, 8551 markings/sec, 130 secs
lola: 986671 markings, 3378994 edges, 8521 markings/sec, 135 secs
lola: 1029859 markings, 3533180 edges, 8638 markings/sec, 140 secs
lola: 1072632 markings, 3687261 edges, 8555 markings/sec, 145 secs
lola: 1115042 markings, 3841492 edges, 8482 markings/sec, 150 secs
lola: 1157987 markings, 3995543 edges, 8589 markings/sec, 155 secs
lola: 1200769 markings, 4149487 edges, 8556 markings/sec, 160 secs
lola: 1243397 markings, 4303536 edges, 8526 markings/sec, 165 secs
lola: 1286121 markings, 4457577 edges, 8545 markings/sec, 170 secs
lola: 1329075 markings, 4611496 edges, 8591 markings/sec, 175 secs
lola: 1371976 markings, 4765522 edges, 8580 markings/sec, 180 secs
lola: 1414713 markings, 4919400 edges, 8547 markings/sec, 185 secs
lola: 1457515 markings, 5073274 edges, 8560 markings/sec, 190 secs
lola: 1499567 markings, 5227141 edges, 8410 markings/sec, 195 secs
lola: 1542090 markings, 5381023 edges, 8505 markings/sec, 200 secs
lola: 1584588 markings, 5535098 edges, 8500 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: 3575608 KB
lola: time consumption: 2930 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1664)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1664)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 53377 markings, 150087 edges, 10675 markings/sec, 30 secs
lola: 103116 markings, 307381 edges, 9948 markings/sec, 35 secs
lola: 150961 markings, 464486 edges, 9569 markings/sec, 40 secs
lola: 198499 markings, 621335 edges, 9508 markings/sec, 45 secs
lola: 245441 markings, 778043 edges, 9388 markings/sec, 50 secs
lola: 291993 markings, 934634 edges, 9310 markings/sec, 55 secs
lola: 337227 markings, 1091151 edges, 9047 markings/sec, 60 secs
lola: 382385 markings, 1247466 edges, 9032 markings/sec, 65 secs
lola: 427861 markings, 1403691 edges, 9095 markings/sec, 70 secs
lola: 472969 markings, 1560003 edges, 9022 markings/sec, 75 secs
lola: 517717 markings, 1716354 edges, 8950 markings/sec, 80 secs
lola: 562085 markings, 1872561 edges, 8874 markings/sec, 85 secs
lola: 606527 markings, 2028886 edges, 8888 markings/sec, 90 secs
lola: 650704 markings, 2185163 edges, 8835 markings/sec, 95 secs
lola: 695043 markings, 2341487 edges, 8868 markings/sec, 100 secs
lola: 739488 markings, 2497742 edges, 8889 markings/sec, 105 secs
lola: 783755 markings, 2654098 edges, 8853 markings/sec, 110 secs
lola: 827433 markings, 2810496 edges, 8736 markings/sec, 115 secs
lola: 871202 markings, 2966798 edges, 8754 markings/sec, 120 secs
lola: 915172 markings, 3123014 edges, 8794 markings/sec, 125 secs
lola: 958824 markings, 3279368 edges, 8730 markings/sec, 130 secs
lola: 1002340 markings, 3434820 edges, 8703 markings/sec, 135 secs
lola: 1045137 markings, 3587391 edges, 8559 markings/sec, 140 secs
lola: 1087834 markings, 3741537 edges, 8539 markings/sec, 145 secs
lola: 1130577 markings, 3897655 edges, 8549 markings/sec, 150 secs
lola: 1174201 markings, 4053613 edges, 8725 markings/sec, 155 secs
lola: 1217322 markings, 4209742 edges, 8624 markings/sec, 160 secs
lola: 1260808 markings, 4365880 edges, 8697 markings/sec, 165 secs
lola: 1303910 markings, 4521923 edges, 8620 markings/sec, 170 secs
lola: 1347628 markings, 4677967 edges, 8744 markings/sec, 175 secs
lola: 1391191 markings, 4834058 edges, 8713 markings/sec, 180 secs
lola: 1434536 markings, 4990236 edges, 8669 markings/sec, 185 secs
lola: 1477366 markings, 5146425 edges, 8566 markings/sec, 190 secs
lola: 1520592 markings, 5302406 edges, 8645 markings/sec, 195 secs
lola: 1563438 markings, 5458392 edges, 8569 markings/sec, 200 secs
lola: 1606579 markings, 5614516 edges, 8628 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: 3026284 KB
lola: time consumption: 3143 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(p4698)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4698)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 106292 markings, 148328 edges, 21258 markings/sec, 30 secs
lola: 207922 markings, 303417 edges, 20326 markings/sec, 35 secs
lola: 304796 markings, 459200 edges, 19375 markings/sec, 40 secs
lola: 395093 markings, 613693 edges, 18059 markings/sec, 45 secs
lola: 484038 markings, 767890 edges, 17789 markings/sec, 50 secs
lola: 572861 markings, 921959 edges, 17765 markings/sec, 55 secs
lola: 660524 markings, 1076103 edges, 17533 markings/sec, 60 secs
lola: 746113 markings, 1230022 edges, 17118 markings/sec, 65 secs
lola: 833730 markings, 1384272 edges, 17523 markings/sec, 70 secs
lola: 921613 markings, 1538669 edges, 17577 markings/sec, 75 secs
lola: 1009013 markings, 1693269 edges, 17480 markings/sec, 80 secs
lola: 1096159 markings, 1847814 edges, 17429 markings/sec, 85 secs
lola: 1184716 markings, 2002632 edges, 17711 markings/sec, 90 secs
lola: 1272985 markings, 2157364 edges, 17654 markings/sec, 95 secs
lola: 1361231 markings, 2312152 edges, 17649 markings/sec, 100 secs
lola: 1448927 markings, 2466927 edges, 17539 markings/sec, 105 secs
lola: 1536865 markings, 2621822 edges, 17588 markings/sec, 110 secs
lola: 1625972 markings, 2776820 edges, 17821 markings/sec, 115 secs
lola: 1714787 markings, 2931650 edges, 17763 markings/sec, 120 secs
lola: 1803786 markings, 3086540 edges, 17800 markings/sec, 125 secs
lola: 1892960 markings, 3241265 edges, 17835 markings/sec, 130 secs
lola: 1981011 markings, 3395947 edges, 17610 markings/sec, 135 secs
lola: 2070092 markings, 3550292 edges, 17816 markings/sec, 140 secs
lola: 2158772 markings, 3704808 edges, 17736 markings/sec, 145 secs
lola: 2247249 markings, 3859172 edges, 17695 markings/sec, 150 secs
lola: 2336457 markings, 4013572 edges, 17842 markings/sec, 155 secs
lola: 2425358 markings, 4167716 edges, 17780 markings/sec, 160 secs
lola: 2514649 markings, 4321903 edges, 17858 markings/sec, 165 secs
lola: 2603480 markings, 4475958 edges, 17766 markings/sec, 170 secs
lola: 2691764 markings, 4629927 edges, 17657 markings/sec, 175 secs
lola: 2779509 markings, 4783427 edges, 17549 markings/sec, 180 secs
lola: 2867825 markings, 4936903 edges, 17663 markings/sec, 185 secs
lola: 2957033 markings, 5090215 edges, 17842 markings/sec, 190 secs
lola: 3045534 markings, 5243653 edges, 17700 markings/sec, 195 secs
lola: 3133286 markings, 5396999 edges, 17550 markings/sec, 200 secs
lola: 3221864 markings, 5550362 edges, 17716 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: 7995984 KB
lola: time consumption: 3356 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4448)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4448)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 104069 markings, 145207 edges, 20814 markings/sec, 30 secs
lola: 204516 markings, 297842 edges, 20089 markings/sec, 35 secs
lola: 300021 markings, 451507 edges, 19101 markings/sec, 40 secs
lola: 389875 markings, 604377 edges, 17971 markings/sec, 45 secs
lola: 477712 markings, 756802 edges, 17567 markings/sec, 50 secs
lola: 565374 markings, 909034 edges, 17532 markings/sec, 55 secs
lola: 652015 markings, 1061171 edges, 17328 markings/sec, 60 secs
lola: 736675 markings, 1213026 edges, 16932 markings/sec, 65 secs
lola: 822834 markings, 1365228 edges, 17232 markings/sec, 70 secs
lola: 909881 markings, 1517515 edges, 17409 markings/sec, 75 secs
lola: 995867 markings, 1669837 edges, 17197 markings/sec, 80 secs
lola: 1081890 markings, 1822102 edges, 17205 markings/sec, 85 secs
lola: 1165962 markings, 1970558 edges, 16814 markings/sec, 90 secs
lola: 1253674 markings, 2122978 edges, 17542 markings/sec, 95 secs
lola: 1340681 markings, 2275610 edges, 17401 markings/sec, 100 secs
lola: 1427681 markings, 2428368 edges, 17400 markings/sec, 105 secs
lola: 1513540 markings, 2581244 edges, 17172 markings/sec, 110 secs
lola: 1601183 markings, 2734194 edges, 17529 markings/sec, 115 secs
lola: 1689290 markings, 2887294 edges, 17621 markings/sec, 120 secs
lola: 1777082 markings, 3040297 edges, 17558 markings/sec, 125 secs
lola: 1864952 markings, 3193671 edges, 17574 markings/sec, 130 secs
lola: 1953205 markings, 3346880 edges, 17651 markings/sec, 135 secs
lola: 2041555 markings, 3500141 edges, 17670 markings/sec, 140 secs
lola: 2129599 markings, 3653385 edges, 17609 markings/sec, 145 secs
lola: 2217412 markings, 3806660 edges, 17563 markings/sec, 150 secs
lola: 2305109 markings, 3959864 edges, 17539 markings/sec, 155 secs
lola: 2393496 markings, 4113099 edges, 17677 markings/sec, 160 secs
lola: 2483037 markings, 4266194 edges, 17908 markings/sec, 165 secs
lola: 2570810 markings, 4419267 edges, 17555 markings/sec, 170 secs
lola: 2659025 markings, 4572381 edges, 17643 markings/sec, 175 secs
lola: 2746822 markings, 4725458 edges, 17559 markings/sec, 180 secs
lola: 2833398 markings, 4877995 edges, 17315 markings/sec, 185 secs
lola: 2922580 markings, 5030609 edges, 17836 markings/sec, 190 secs
lola: 3010694 markings, 5183121 edges, 17623 markings/sec, 195 secs
lola: 3098148 markings, 5335559 edges, 17491 markings/sec, 200 secs
lola: 3185881 markings, 5487908 edges, 17547 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: 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:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 85424 KB
lola: time consumption: 3569 seconds

BK_STOP 1552879539392

--------------------
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-1000"
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-1000, 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-155246566100325"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-1000.tgz
mv JoinFreeModules-PT-1000 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 ;