Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 4.8M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-full
Input is CloudDeployment-PT-6b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r042-smll-152646358900254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526485103210


BK_STOP 1526488687441

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using CloudDeployment-PT-6b as instance name.
Using CloudDeployment as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'UpperBounds', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': None, 'Source Transition': False, 'Sink Transition': True, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3539694, 'Memory': 1121.83, 'Tool': 'lola'}, {'Time': 3540273, 'Memory': 1136.78, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'gspn'}].
UpperBounds lola CloudDeployment-PT-6b...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
CloudDeployment-PT-6b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
CloudDeployment-PT-6b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
UpperBounds @ CloudDeployment-PT-6b @ 3539 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8692/65536 symbol table entries, 2115 collisions
lola: preprocessing...
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2833 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6b-UpperBounds.task
lola: MAX(p1420) : MAX(p1843) : MAX(p1356) : MAX(p1342) : MAX(p618) : MAX(p1433) : MAX(p1275) : MAX(p241) : MAX(p518) : MAX(p1090) : MAX(p1341) : MAX(p1728) : MAX(p1379) : MAX(p315) : MAX(p1265) : MAX(p101)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 112098 markings, 167724 edges, 22420 markings/sec, 0 secs
lola: 217734 markings, 352188 edges, 21127 markings/sec, 5 secs
lola: 329104 markings, 568910 edges, 22274 markings/sec, 10 secs
lola: 436887 markings, 749114 edges, 21557 markings/sec, 15 secs
lola: 542893 markings, 981164 edges, 21201 markings/sec, 20 secs
lola: 650217 markings, 1143439 edges, 21465 markings/sec, 25 secs
lola: 753610 markings, 1328438 edges, 20679 markings/sec, 30 secs
lola: 862804 markings, 1548765 edges, 21839 markings/sec, 35 secs
lola: 967145 markings, 1741616 edges, 20868 markings/sec, 40 secs
lola: 1069621 markings, 1986036 edges, 20495 markings/sec, 45 secs
lola: 1174703 markings, 2157367 edges, 21016 markings/sec, 50 secs
lola: 1275370 markings, 2353810 edges, 20133 markings/sec, 55 secs
lola: 1380299 markings, 2572886 edges, 20986 markings/sec, 60 secs
lola: 1484684 markings, 2743301 edges, 20877 markings/sec, 65 secs
lola: 1588176 markings, 2975019 edges, 20698 markings/sec, 70 secs
lola: 1694235 markings, 3147400 edges, 21212 markings/sec, 75 secs
lola: 1791754 markings, 3346030 edges, 19504 markings/sec, 80 secs
lola: 1897703 markings, 3559266 edges, 21190 markings/sec, 85 secs
lola: 2002977 markings, 3728818 edges, 21055 markings/sec, 90 secs
lola: 2106112 markings, 3960516 edges, 20627 markings/sec, 95 secs
lola: 2211923 markings, 4135715 edges, 21162 markings/sec, 100 secs
lola: 2311837 markings, 4329784 edges, 19983 markings/sec, 105 secs
lola: 2418870 markings, 4548291 edges, 21407 markings/sec, 110 secs
lola: 2519590 markings, 4713155 edges, 20144 markings/sec, 115 secs
lola: 2616900 markings, 4931829 edges, 19462 markings/sec, 120 secs
lola: 2723095 markings, 5116240 edges, 21239 markings/sec, 125 secs
lola: 2824403 markings, 5310837 edges, 20262 markings/sec, 130 secs
lola: 2933349 markings, 5535544 edges, 21789 markings/sec, 135 secs
lola: 3041810 markings, 5706990 edges, 21692 markings/sec, 140 secs
lola: 3144461 markings, 5941225 edges, 20530 markings/sec, 145 secs
lola: 3266154 markings, 6092742 edges, 24339 markings/sec, 150 secs
lola: 3376011 markings, 6299676 edges, 21971 markings/sec, 155 secs
lola: 3480367 markings, 6522556 edges, 20871 markings/sec, 160 secs
lola: 3586439 markings, 6659891 edges, 21214 markings/sec, 165 secs
lola: 3687706 markings, 6880342 edges, 20253 markings/sec, 170 secs
lola: 3784975 markings, 7147944 edges, 19454 markings/sec, 175 secs
lola: 3891055 markings, 7328168 edges, 21216 markings/sec, 180 secs
lola: 3989274 markings, 7539749 edges, 19644 markings/sec, 185 secs
lola: 4086546 markings, 7759433 edges, 19454 markings/sec, 190 secs
lola: 4192816 markings, 7932849 edges, 21254 markings/sec, 195 secs
lola: 4287727 markings, 8136018 edges, 18982 markings/sec, 200 secs
lola: 4381151 markings, 8307283 edges, 18685 markings/sec, 205 secs
lola: 4487638 markings, 8490340 edges, 21297 markings/sec, 210 secs
lola: 4587463 markings, 8693110 edges, 19965 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 101507 markings, 124319 edges, 20301 markings/sec, 0 secs
lola: 210799 markings, 251970 edges, 21858 markings/sec, 5 secs
lola: 315792 markings, 385986 edges, 20999 markings/sec, 10 secs
lola: 417660 markings, 513606 edges, 20374 markings/sec, 15 secs
lola: 525590 markings, 643943 edges, 21586 markings/sec, 20 secs
lola: 625995 markings, 771646 edges, 20081 markings/sec, 25 secs
lola: 731528 markings, 900232 edges, 21107 markings/sec, 30 secs
lola: 839611 markings, 1030979 edges, 21617 markings/sec, 35 secs
lola: 941431 markings, 1157494 edges, 20364 markings/sec, 40 secs
lola: 1021710 markings, 1267021 edges, 16056 markings/sec, 45 secs
lola: 1088902 markings, 1383986 edges, 13438 markings/sec, 50 secs
lola: 1149349 markings, 1500489 edges, 12089 markings/sec, 55 secs
lola: 1205558 markings, 1628386 edges, 11242 markings/sec, 60 secs
lola: 1292807 markings, 1742263 edges, 17450 markings/sec, 65 secs
lola: 1383421 markings, 1857270 edges, 18123 markings/sec, 70 secs
lola: 1499403 markings, 1989171 edges, 23196 markings/sec, 75 secs
lola: 1615132 markings, 2121336 edges, 23146 markings/sec, 80 secs
lola: 1731253 markings, 2254140 edges, 23224 markings/sec, 85 secs
lola: 1844571 markings, 2384147 edges, 22664 markings/sec, 90 secs
lola: 1959283 markings, 2515016 edges, 22942 markings/sec, 95 secs
lola: 2075321 markings, 2647214 edges, 23208 markings/sec, 100 secs
lola: 2191709 markings, 2779499 edges, 23278 markings/sec, 105 secs
lola: 2307587 markings, 2911652 edges, 23176 markings/sec, 110 secs
lola: 2424007 markings, 3044327 edges, 23284 markings/sec, 115 secs
lola: 2539957 markings, 3177028 edges, 23190 markings/sec, 120 secs
lola: 2655296 markings, 3309368 edges, 23068 markings/sec, 125 secs
lola: 2769733 markings, 3440700 edges, 22887 markings/sec, 130 secs
lola: 2885579 markings, 3573812 edges, 23169 markings/sec, 135 secs
lola: 2999939 markings, 3706088 edges, 22872 markings/sec, 140 secs
lola: 3114588 markings, 3840059 edges, 22930 markings/sec, 145 secs
lola: 3229131 markings, 3973576 edges, 22909 markings/sec, 150 secs
lola: 3334890 markings, 4109828 edges, 21152 markings/sec, 155 secs
lola: 3428513 markings, 4245657 edges, 18725 markings/sec, 160 secs
lola: 3528543 markings, 4371283 edges, 20006 markings/sec, 165 secs
lola: 3634441 markings, 4499325 edges, 21180 markings/sec, 170 secs
lola: 3735633 markings, 4624003 edges, 20238 markings/sec, 175 secs
lola: 3840806 markings, 4747403 edges, 21035 markings/sec, 180 secs
lola: 3944331 markings, 4888869 edges, 20705 markings/sec, 185 secs
lola: 4042449 markings, 5015449 edges, 19624 markings/sec, 190 secs
lola: 4143746 markings, 5140105 edges, 20259 markings/sec, 195 secs
lola: 4252299 markings, 5266983 edges, 21711 markings/sec, 200 secs
lola: 4353928 markings, 5392538 edges, 20326 markings/sec, 205 secs
lola: 4462149 markings, 5526671 edges, 21644 markings/sec, 210 secs
lola: 4569915 markings, 5658042 edges, 21553 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1356)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 92192 markings, 122815 edges, 18438 markings/sec, 0 secs
lola: 163197 markings, 236285 edges, 14201 markings/sec, 5 secs
lola: 231448 markings, 374756 edges, 13650 markings/sec, 10 secs
lola: 297533 markings, 499845 edges, 13217 markings/sec, 15 secs
lola: 366259 markings, 609730 edges, 13745 markings/sec, 20 secs
lola: 434382 markings, 736265 edges, 13625 markings/sec, 25 secs
lola: 497562 markings, 866361 edges, 12636 markings/sec, 30 secs
lola: 564490 markings, 980391 edges, 13386 markings/sec, 35 secs
lola: 632146 markings, 1103185 edges, 13531 markings/sec, 40 secs
lola: 698006 markings, 1233500 edges, 13172 markings/sec, 45 secs
lola: 765651 markings, 1363868 edges, 13529 markings/sec, 50 secs
lola: 833252 markings, 1488503 edges, 13520 markings/sec, 55 secs
lola: 899141 markings, 1620538 edges, 13178 markings/sec, 60 secs
lola: 966412 markings, 1750558 edges, 13454 markings/sec, 65 secs
lola: 1033621 markings, 1881151 edges, 13442 markings/sec, 70 secs
lola: 1102355 markings, 2000371 edges, 13747 markings/sec, 75 secs
lola: 1166478 markings, 2152350 edges, 12825 markings/sec, 80 secs
lola: 1237608 markings, 2261975 edges, 14226 markings/sec, 85 secs
lola: 1306094 markings, 2386342 edges, 13697 markings/sec, 90 secs
lola: 1376769 markings, 2487811 edges, 14135 markings/sec, 95 secs
lola: 1446864 markings, 2609041 edges, 14019 markings/sec, 100 secs
lola: 1517499 markings, 2707144 edges, 14127 markings/sec, 105 secs
lola: 1586633 markings, 2825659 edges, 13827 markings/sec, 110 secs
lola: 1655614 markings, 2950967 edges, 13796 markings/sec, 115 secs
lola: 1723015 markings, 3089170 edges, 13480 markings/sec, 120 secs
lola: 1792413 markings, 3193418 edges, 13880 markings/sec, 125 secs
lola: 1863343 markings, 3293614 edges, 14186 markings/sec, 130 secs
lola: 1930966 markings, 3410057 edges, 13525 markings/sec, 135 secs
lola: 2001068 markings, 3516575 edges, 14020 markings/sec, 140 secs
lola: 2069858 markings, 3627926 edges, 13758 markings/sec, 145 secs
lola: 2139029 markings, 3749733 edges, 13834 markings/sec, 150 secs
lola: 2208248 markings, 3860814 edges, 13844 markings/sec, 155 secs
lola: 2277283 markings, 3971396 edges, 13807 markings/sec, 160 secs
lola: 2347270 markings, 4076954 edges, 13997 markings/sec, 165 secs
lola: 2415693 markings, 4202603 edges, 13685 markings/sec, 170 secs
lola: 2482524 markings, 4334968 edges, 13366 markings/sec, 175 secs
lola: 2543007 markings, 4459962 edges, 12097 markings/sec, 180 secs
lola: 2607957 markings, 4590149 edges, 12990 markings/sec, 185 secs
lola: 2673807 markings, 4715474 edges, 13170 markings/sec, 190 secs
lola: 2742245 markings, 4820878 edges, 13688 markings/sec, 195 secs
lola: 2809806 markings, 4931394 edges, 13512 markings/sec, 200 secs
lola: 2877702 markings, 5043438 edges, 13579 markings/sec, 205 secs
lola: 2945986 markings, 5151695 edges, 13657 markings/sec, 210 secs
lola: 3012533 markings, 5267421 edges, 13309 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 121410 markings, 147704 edges, 24282 markings/sec, 0 secs
lola: 248928 markings, 307575 edges, 25504 markings/sec, 5 secs
lola: 374491 markings, 466404 edges, 25113 markings/sec, 10 secs
lola: 499873 markings, 624387 edges, 25076 markings/sec, 15 secs
lola: 617658 markings, 772930 edges, 23557 markings/sec, 20 secs
lola: 744443 markings, 928282 edges, 25357 markings/sec, 25 secs
lola: 852561 markings, 1063831 edges, 21624 markings/sec, 30 secs
lola: 923451 markings, 1190920 edges, 14178 markings/sec, 35 secs
lola: 987750 markings, 1311198 edges, 12860 markings/sec, 40 secs
lola: 1059702 markings, 1435580 edges, 14390 markings/sec, 45 secs
lola: 1142691 markings, 1570645 edges, 16598 markings/sec, 50 secs
lola: 1250123 markings, 1705770 edges, 21486 markings/sec, 55 secs
lola: 1398424 markings, 1877347 edges, 29660 markings/sec, 60 secs
lola: 1550542 markings, 2052736 edges, 30424 markings/sec, 65 secs
lola: 1702411 markings, 2227532 edges, 30374 markings/sec, 70 secs
lola: 1850569 markings, 2398916 edges, 29632 markings/sec, 75 secs
lola: 2004214 markings, 2575285 edges, 30729 markings/sec, 80 secs
lola: 2156554 markings, 2750783 edges, 30468 markings/sec, 85 secs
lola: 2308983 markings, 2926262 edges, 30486 markings/sec, 90 secs
lola: 2458908 markings, 3099511 edges, 29985 markings/sec, 95 secs
lola: 2608503 markings, 3274047 edges, 29919 markings/sec, 100 secs
lola: 2756829 markings, 3446262 edges, 29665 markings/sec, 105 secs
lola: 2897560 markings, 3620054 edges, 28146 markings/sec, 110 secs
lola: 3000736 markings, 3778352 edges, 20635 markings/sec, 115 secs
lola: 3129222 markings, 3936716 edges, 25697 markings/sec, 120 secs
lola: 3256626 markings, 4094451 edges, 25481 markings/sec, 125 secs
lola: 3384167 markings, 4245908 edges, 25508 markings/sec, 130 secs
lola: 3501600 markings, 4413541 edges, 23487 markings/sec, 135 secs
lola: 3622405 markings, 4566256 edges, 24161 markings/sec, 140 secs
lola: 3749797 markings, 4719327 edges, 25478 markings/sec, 145 secs
lola: 3870550 markings, 4866885 edges, 24151 markings/sec, 150 secs
lola: 3979992 markings, 5005147 edges, 21888 markings/sec, 155 secs
lola: 4062756 markings, 5130948 edges, 16553 markings/sec, 160 secs
lola: 4133423 markings, 5250599 edges, 14133 markings/sec, 165 secs
lola: 4213939 markings, 5380201 edges, 16103 markings/sec, 170 secs
lola: 4307193 markings, 5516831 edges, 18651 markings/sec, 175 secs
lola: 4420080 markings, 5658489 edges, 22577 markings/sec, 180 secs
lola: 4571926 markings, 5833012 edges, 30369 markings/sec, 185 secs
lola: 4708222 markings, 5990220 edges, 27259 markings/sec, 190 secs
lola: 4861845 markings, 6167071 edges, 30725 markings/sec, 195 secs
lola: 5015127 markings, 6343257 edges, 30656 markings/sec, 200 secs
lola: 5168142 markings, 6519161 edges, 30603 markings/sec, 205 secs
lola: 5317679 markings, 6692508 edges, 29907 markings/sec, 210 secs
lola: 5455110 markings, 6863321 edges, 27486 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p618)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 135048 markings, 165356 edges, 27010 markings/sec, 0 secs
lola: 263108 markings, 313494 edges, 25612 markings/sec, 5 secs
lola: 399796 markings, 460610 edges, 27338 markings/sec, 10 secs
lola: 532748 markings, 620450 edges, 26590 markings/sec, 15 secs
lola: 657052 markings, 810887 edges, 24861 markings/sec, 20 secs
lola: 785830 markings, 992556 edges, 25756 markings/sec, 25 secs
lola: 919208 markings, 1165173 edges, 26676 markings/sec, 30 secs
lola: 1054518 markings, 1328944 edges, 27062 markings/sec, 35 secs
lola: 1192424 markings, 1475072 edges, 27581 markings/sec, 40 secs
lola: 1325329 markings, 1631655 edges, 26581 markings/sec, 45 secs
lola: 1453706 markings, 1809724 edges, 25675 markings/sec, 50 secs
lola: 1580527 markings, 2007983 edges, 25364 markings/sec, 55 secs
lola: 1716964 markings, 2171619 edges, 27287 markings/sec, 60 secs
lola: 1854576 markings, 2326718 edges, 27522 markings/sec, 65 secs
lola: 1993548 markings, 2485115 edges, 27794 markings/sec, 70 secs
lola: 2132484 markings, 2646474 edges, 27787 markings/sec, 75 secs
lola: 2268156 markings, 2816987 edges, 27134 markings/sec, 80 secs
lola: 2396896 markings, 2998310 edges, 25748 markings/sec, 85 secs
lola: 2532798 markings, 3153582 edges, 27180 markings/sec, 90 secs
lola: 2668832 markings, 3308210 edges, 27207 markings/sec, 95 secs
lola: 2797893 markings, 3478249 edges, 25812 markings/sec, 100 secs
lola: 2925479 markings, 3651850 edges, 25517 markings/sec, 105 secs
lola: 3056920 markings, 3810176 edges, 26288 markings/sec, 110 secs
lola: 3191284 markings, 3957891 edges, 26873 markings/sec, 115 secs
lola: 3322050 markings, 4115992 edges, 26153 markings/sec, 120 secs
lola: 3459532 markings, 4279238 edges, 27496 markings/sec, 125 secs
lola: 3593592 markings, 4443601 edges, 26812 markings/sec, 130 secs
lola: 3720950 markings, 4620470 edges, 25472 markings/sec, 135 secs
lola: 3853711 markings, 4779342 edges, 26552 markings/sec, 140 secs
lola: 3990790 markings, 4930583 edges, 27416 markings/sec, 145 secs
lola: 4116469 markings, 5112053 edges, 25136 markings/sec, 150 secs
lola: 4246345 markings, 5279867 edges, 25975 markings/sec, 155 secs
lola: 4379805 markings, 5433137 edges, 26692 markings/sec, 160 secs
lola: 4521926 markings, 5589284 edges, 28424 markings/sec, 165 secs
lola: 4655070 markings, 5768127 edges, 26629 markings/sec, 170 secs
lola: 4788324 markings, 5918609 edges, 26651 markings/sec, 175 secs
lola: 4921715 markings, 6065052 edges, 26678 markings/sec, 180 secs
lola: 5063147 markings, 6220573 edges, 28286 markings/sec, 185 secs
lola: 5195858 markings, 6398646 edges, 26542 markings/sec, 190 secs
lola: 5330048 markings, 6557709 edges, 26838 markings/sec, 195 secs
lola: 5462256 markings, 6700179 edges, 26442 markings/sec, 200 secs
lola: 5589502 markings, 6875247 edges, 25449 markings/sec, 205 secs
lola: 5720008 markings, 7028795 edges, 26101 markings/sec, 210 secs
lola: 5842572 markings, 7197404 edges, 24513 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 88203 markings, 117856 edges, 17641 markings/sec, 0 secs
lola: 157615 markings, 228153 edges, 13882 markings/sec, 5 secs
lola: 225518 markings, 356462 edges, 13581 markings/sec, 10 secs
lola: 289493 markings, 485694 edges, 12795 markings/sec, 15 secs
lola: 356402 markings, 592705 edges, 13382 markings/sec, 20 secs
lola: 424459 markings, 715561 edges, 13611 markings/sec, 25 secs
lola: 487137 markings, 851092 edges, 12536 markings/sec, 30 secs
lola: 555334 markings, 952409 edges, 13639 markings/sec, 35 secs
lola: 621672 markings, 1084896 edges, 13268 markings/sec, 40 secs
lola: 686624 markings, 1214814 edges, 12990 markings/sec, 45 secs
lola: 754506 markings, 1333566 edges, 13576 markings/sec, 50 secs
lola: 820236 markings, 1466851 edges, 13146 markings/sec, 55 secs
lola: 887708 markings, 1578668 edges, 13494 markings/sec, 60 secs
lola: 952250 markings, 1725166 edges, 12908 markings/sec, 65 secs
lola: 1019023 markings, 1852213 edges, 13355 markings/sec, 70 secs
lola: 1085951 markings, 1975751 edges, 13386 markings/sec, 75 secs
lola: 1150605 markings, 2117243 edges, 12931 markings/sec, 80 secs
lola: 1219557 markings, 2231028 edges, 13790 markings/sec, 85 secs
lola: 1287533 markings, 2361318 edges, 13595 markings/sec, 90 secs
lola: 1357413 markings, 2460408 edges, 13976 markings/sec, 95 secs
lola: 1427372 markings, 2569005 edges, 13992 markings/sec, 100 secs
lola: 1495881 markings, 2676178 edges, 13702 markings/sec, 105 secs
lola: 1565919 markings, 2774874 edges, 14008 markings/sec, 110 secs
lola: 1632187 markings, 2913927 edges, 13254 markings/sec, 115 secs
lola: 1700222 markings, 3042525 edges, 13607 markings/sec, 120 secs
lola: 1768311 markings, 3156881 edges, 13618 markings/sec, 125 secs
lola: 1837446 markings, 3256154 edges, 13827 markings/sec, 130 secs
lola: 1906326 markings, 3358435 edges, 13776 markings/sec, 135 secs
lola: 1972898 markings, 3474338 edges, 13314 markings/sec, 140 secs
lola: 2040727 markings, 3582242 edges, 13566 markings/sec, 145 secs
lola: 2109651 markings, 3688928 edges, 13785 markings/sec, 150 secs
lola: 2176930 markings, 3813291 edges, 13456 markings/sec, 155 secs
lola: 2246090 markings, 3918375 edges, 13832 markings/sec, 160 secs
lola: 2314193 markings, 4027809 edges, 13621 markings/sec, 165 secs
lola: 2382906 markings, 4137802 edges, 13743 markings/sec, 170 secs
lola: 2450456 markings, 4267002 edges, 13510 markings/sec, 175 secs
lola: 2515005 markings, 4400402 edges, 12910 markings/sec, 180 secs
lola: 2578120 markings, 4538327 edges, 12623 markings/sec, 185 secs
lola: 2645203 markings, 4659408 edges, 13417 markings/sec, 190 secs
lola: 2711799 markings, 4772599 edges, 13319 markings/sec, 195 secs
lola: 2779870 markings, 4877161 edges, 13614 markings/sec, 200 secs
lola: 2846634 markings, 4994383 edges, 13353 markings/sec, 205 secs
lola: 2914990 markings, 5101129 edges, 13671 markings/sec, 210 secs
lola: 2982429 markings, 5211454 edges, 13488 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1275)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 123551 markings, 148459 edges, 24710 markings/sec, 0 secs
lola: 240428 markings, 289444 edges, 23375 markings/sec, 5 secs
lola: 358821 markings, 428487 edges, 23679 markings/sec, 10 secs
lola: 470340 markings, 564108 edges, 22304 markings/sec, 15 secs
lola: 582677 markings, 702901 edges, 22467 markings/sec, 20 secs
lola: 697387 markings, 838710 edges, 22942 markings/sec, 25 secs
lola: 808676 markings, 974336 edges, 22258 markings/sec, 30 secs
lola: 918394 markings, 1113660 edges, 21944 markings/sec, 35 secs
lola: 1024273 markings, 1249764 edges, 21176 markings/sec, 40 secs
lola: 1138981 markings, 1387516 edges, 22942 markings/sec, 45 secs
lola: 1251013 markings, 1524277 edges, 22406 markings/sec, 50 secs
lola: 1350180 markings, 1669560 edges, 19833 markings/sec, 55 secs
lola: 1461729 markings, 1805690 edges, 22310 markings/sec, 60 secs
lola: 1561582 markings, 1948381 edges, 19971 markings/sec, 65 secs
lola: 1667622 markings, 2087349 edges, 21208 markings/sec, 70 secs
lola: 1766320 markings, 2222816 edges, 19740 markings/sec, 75 secs
lola: 1854621 markings, 2365704 edges, 17660 markings/sec, 80 secs
lola: 1948545 markings, 2508722 edges, 18785 markings/sec, 85 secs
lola: 2042998 markings, 2643816 edges, 18891 markings/sec, 90 secs
lola: 2148662 markings, 2769942 edges, 21133 markings/sec, 95 secs
lola: 2254925 markings, 2894798 edges, 21253 markings/sec, 100 secs
lola: 2353570 markings, 3014647 edges, 19729 markings/sec, 105 secs
lola: 2453124 markings, 3145821 edges, 19911 markings/sec, 110 secs
lola: 2543415 markings, 3282040 edges, 18058 markings/sec, 115 secs
lola: 2632375 markings, 3419002 edges, 17792 markings/sec, 120 secs
lola: 2734474 markings, 3552669 edges, 20420 markings/sec, 125 secs
lola: 2836529 markings, 3677613 edges, 20411 markings/sec, 130 secs
lola: 2929566 markings, 3806378 edges, 18607 markings/sec, 135 secs
lola: 3032406 markings, 3936028 edges, 20568 markings/sec, 140 secs
lola: 3124595 markings, 4064357 edges, 18438 markings/sec, 145 secs
lola: 3221655 markings, 4189732 edges, 19412 markings/sec, 150 secs
lola: 3315879 markings, 4317388 edges, 18845 markings/sec, 155 secs
lola: 3421585 markings, 4451206 edges, 21141 markings/sec, 160 secs
lola: 3530705 markings, 4584371 edges, 21824 markings/sec, 165 secs
lola: 3641551 markings, 4720241 edges, 22169 markings/sec, 170 secs
lola: 3749340 markings, 4855786 edges, 21558 markings/sec, 175 secs
lola: 3863304 markings, 4994078 edges, 22793 markings/sec, 180 secs
lola: 3976327 markings, 5129108 edges, 22605 markings/sec, 185 secs
lola: 4087238 markings, 5263660 edges, 22182 markings/sec, 190 secs
lola: 4194165 markings, 5401559 edges, 21385 markings/sec, 195 secs
lola: 4293202 markings, 5541680 edges, 19807 markings/sec, 200 secs
lola: 4401370 markings, 5679577 edges, 21634 markings/sec, 205 secs
lola: 4519588 markings, 5821878 edges, 23644 markings/sec, 210 secs
lola: 4624728 markings, 5970877 edges, 21028 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 152226 markings, 164463 edges, 30445 markings/sec, 0 secs
lola: 305130 markings, 334736 edges, 30581 markings/sec, 5 secs
lola: 458226 markings, 501527 edges, 30619 markings/sec, 10 secs
lola: 610403 markings, 675177 edges, 30435 markings/sec, 15 secs
lola: 761152 markings, 844317 edges, 30150 markings/sec, 20 secs
lola: 912554 markings, 1013537 edges, 30280 markings/sec, 25 secs
lola: 1064362 markings, 1183169 edges, 30362 markings/sec, 30 secs
lola: 1215972 markings, 1352579 edges, 30322 markings/sec, 35 secs
lola: 1367424 markings, 1521886 edges, 30290 markings/sec, 40 secs
lola: 1518144 markings, 1690312 edges, 30144 markings/sec, 45 secs
lola: 1668704 markings, 1858740 edges, 30112 markings/sec, 50 secs
lola: 1819716 markings, 2027528 edges, 30202 markings/sec, 55 secs
lola: 1963317 markings, 2185542 edges, 28720 markings/sec, 60 secs
lola: 2077268 markings, 2324366 edges, 22790 markings/sec, 65 secs
lola: 2175679 markings, 2468048 edges, 19682 markings/sec, 70 secs
lola: 2272274 markings, 2606867 edges, 19319 markings/sec, 75 secs
lola: 2360956 markings, 2741856 edges, 17736 markings/sec, 80 secs
lola: 2448870 markings, 2873265 edges, 17583 markings/sec, 85 secs
lola: 2576808 markings, 3022147 edges, 25588 markings/sec, 90 secs
lola: 2702289 markings, 3166743 edges, 25096 markings/sec, 95 secs
lola: 2844414 markings, 3323347 edges, 28425 markings/sec, 100 secs
lola: 3009391 markings, 3499500 edges, 32995 markings/sec, 105 secs
lola: 3173604 markings, 3675580 edges, 32843 markings/sec, 110 secs
lola: 3339677 markings, 3852940 edges, 33215 markings/sec, 115 secs
lola: 3504184 markings, 4029544 edges, 32901 markings/sec, 120 secs
lola: 3664086 markings, 4201507 edges, 31980 markings/sec, 125 secs
lola: 3826754 markings, 4375529 edges, 32534 markings/sec, 130 secs
lola: 3990739 markings, 4551039 edges, 32797 markings/sec, 135 secs
lola: 4156406 markings, 4728254 edges, 33133 markings/sec, 140 secs
lola: 4322372 markings, 4905618 edges, 33193 markings/sec, 145 secs
lola: 4489136 markings, 5083841 edges, 33353 markings/sec, 150 secs
lola: 4654746 markings, 5261142 edges, 33122 markings/sec, 155 secs
lola: 4820483 markings, 5438431 edges, 33147 markings/sec, 160 secs
lola: 4985904 markings, 5615476 edges, 33084 markings/sec, 165 secs
lola: 5149471 markings, 5790909 edges, 32713 markings/sec, 170 secs
lola: 5313678 markings, 5967217 edges, 32841 markings/sec, 175 secs
lola: 5475522 markings, 6141375 edges, 32369 markings/sec, 180 secs
lola: 5639151 markings, 6316605 edges, 32726 markings/sec, 185 secs
lola: 5803204 markings, 6493210 edges, 32811 markings/sec, 190 secs
lola: 5965692 markings, 6668157 edges, 32498 markings/sec, 195 secs
lola: 6128902 markings, 6844384 edges, 32642 markings/sec, 200 secs
lola: 6287138 markings, 7016581 edges, 31647 markings/sec, 205 secs
lola: 6445482 markings, 7186789 edges, 31669 markings/sec, 210 secs
lola: 6609042 markings, 7363697 edges, 32712 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p518)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 69939 markings, 176543 edges, 13988 markings/sec, 0 secs
lola: 131358 markings, 381755 edges, 12284 markings/sec, 5 secs
lola: 191614 markings, 615196 edges, 12051 markings/sec, 10 secs
lola: 251310 markings, 859963 edges, 11939 markings/sec, 15 secs
lola: 306852 markings, 1104588 edges, 11108 markings/sec, 20 secs
lola: 366357 markings, 1269685 edges, 11901 markings/sec, 25 secs
lola: 421369 markings, 1454254 edges, 11002 markings/sec, 30 secs
lola: 477337 markings, 1712136 edges, 11194 markings/sec, 35 secs
lola: 533535 markings, 1990469 edges, 11240 markings/sec, 40 secs
lola: 584517 markings, 2293319 edges, 10196 markings/sec, 45 secs
lola: 643621 markings, 2503798 edges, 11821 markings/sec, 50 secs
lola: 697859 markings, 2736325 edges, 10848 markings/sec, 55 secs
lola: 751613 markings, 2976985 edges, 10751 markings/sec, 60 secs
lola: 809290 markings, 3199240 edges, 11535 markings/sec, 65 secs
lola: 862076 markings, 3443264 edges, 10557 markings/sec, 70 secs
lola: 919223 markings, 3662360 edges, 11429 markings/sec, 75 secs
lola: 974051 markings, 3892727 edges, 10966 markings/sec, 80 secs
lola: 1026034 markings, 4130841 edges, 10397 markings/sec, 85 secs
lola: 1084116 markings, 4276330 edges, 11616 markings/sec, 90 secs
lola: 1142734 markings, 4408527 edges, 11724 markings/sec, 95 secs
lola: 1197498 markings, 4608885 edges, 10953 markings/sec, 100 secs
lola: 1250247 markings, 4834760 edges, 10550 markings/sec, 105 secs
lola: 1303092 markings, 5062347 edges, 10569 markings/sec, 110 secs
lola: 1359973 markings, 5272628 edges, 11376 markings/sec, 115 secs
lola: 1409452 markings, 5525707 edges, 9896 markings/sec, 120 secs
lola: 1467199 markings, 5669694 edges, 11549 markings/sec, 125 secs
lola: 1525692 markings, 5801385 edges, 11699 markings/sec, 130 secs
lola: 1580300 markings, 6001189 edges, 10922 markings/sec, 135 secs
lola: 1632103 markings, 6232638 edges, 10361 markings/sec, 140 secs
lola: 1684456 markings, 6434342 edges, 10471 markings/sec, 145 secs
lola: 1742516 markings, 6570309 edges, 11612 markings/sec, 150 secs
lola: 1798740 markings, 6744221 edges, 11245 markings/sec, 155 secs
lola: 1852950 markings, 6953618 edges, 10842 markings/sec, 160 secs
lola: 1902976 markings, 7202341 edges, 10005 markings/sec, 165 secs
lola: 1961626 markings, 7403464 edges, 11730 markings/sec, 170 secs
lola: 2012152 markings, 7641379 edges, 10105 markings/sec, 175 secs
lola: 2069672 markings, 7856002 edges, 11504 markings/sec, 180 secs
lola: 2121381 markings, 8081657 edges, 10342 markings/sec, 185 secs
lola: 2177892 markings, 8292412 edges, 11302 markings/sec, 190 secs
lola: 2235724 markings, 8487217 edges, 11566 markings/sec, 195 secs
lola: 2293396 markings, 8675623 edges, 11534 markings/sec, 200 secs
lola: 2350725 markings, 8862815 edges, 11466 markings/sec, 205 secs
lola: 2413767 markings, 9013085 edges, 12608 markings/sec, 210 secs
lola: 2475811 markings, 9179680 edges, 12409 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1090)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 100534 markings, 116243 edges, 20107 markings/sec, 0 secs
lola: 193541 markings, 232020 edges, 18601 markings/sec, 5 secs
lola: 294215 markings, 357315 edges, 20135 markings/sec, 10 secs
lola: 394632 markings, 479788 edges, 20083 markings/sec, 15 secs
lola: 490281 markings, 599887 edges, 19130 markings/sec, 20 secs
lola: 586289 markings, 719790 edges, 19202 markings/sec, 25 secs
lola: 686595 markings, 841469 edges, 20061 markings/sec, 30 secs
lola: 787216 markings, 963543 edges, 20124 markings/sec, 35 secs
lola: 879759 markings, 1082783 edges, 18509 markings/sec, 40 secs
lola: 977108 markings, 1198366 edges, 19470 markings/sec, 45 secs
lola: 1049426 markings, 1299034 edges, 14464 markings/sec, 50 secs
lola: 1111492 markings, 1410783 edges, 12413 markings/sec, 55 secs
lola: 1168517 markings, 1521557 edges, 11405 markings/sec, 60 secs
lola: 1221615 markings, 1638288 edges, 10620 markings/sec, 65 secs
lola: 1301404 markings, 1750124 edges, 15958 markings/sec, 70 secs
lola: 1384454 markings, 1856763 edges, 16610 markings/sec, 75 secs
lola: 1489074 markings, 1977033 edges, 20924 markings/sec, 80 secs
lola: 1597673 markings, 2101113 edges, 21720 markings/sec, 85 secs
lola: 1706857 markings, 2225657 edges, 21837 markings/sec, 90 secs
lola: 1812317 markings, 2346891 edges, 21092 markings/sec, 95 secs
lola: 1919876 markings, 2469514 edges, 21512 markings/sec, 100 secs
lola: 2027468 markings, 2592313 edges, 21518 markings/sec, 105 secs
lola: 2136113 markings, 2715920 edges, 21729 markings/sec, 110 secs
lola: 2244906 markings, 2839643 edges, 21759 markings/sec, 115 secs
lola: 2353308 markings, 2963241 edges, 21680 markings/sec, 120 secs
lola: 2462251 markings, 3087429 edges, 21789 markings/sec, 125 secs
lola: 2570381 markings, 3211218 edges, 21626 markings/sec, 130 secs
lola: 2678325 markings, 3335194 edges, 21589 markings/sec, 135 secs
lola: 2785492 markings, 3458184 edges, 21433 markings/sec, 140 secs
lola: 2893674 markings, 3582477 edges, 21636 markings/sec, 145 secs
lola: 3000939 markings, 3706134 edges, 21453 markings/sec, 150 secs
lola: 3107945 markings, 3832074 edges, 21401 markings/sec, 155 secs
lola: 3216541 markings, 3956977 edges, 21719 markings/sec, 160 secs
lola: 3323598 markings, 4081865 edges, 21411 markings/sec, 165 secs
lola: 3405926 markings, 4216615 edges, 16466 markings/sec, 170 secs
lola: 3505373 markings, 4337157 edges, 19889 markings/sec, 175 secs
lola: 3601086 markings, 4456543 edges, 19143 markings/sec, 180 secs
lola: 3694721 markings, 4574701 edges, 18727 markings/sec, 185 secs
lola: 3795628 markings, 4692979 edges, 20181 markings/sec, 190 secs
lola: 3897798 markings, 4811777 edges, 20434 markings/sec, 195 secs
lola: 3985546 markings, 4942449 edges, 17550 markings/sec, 200 secs
lola: 4076281 markings, 5055562 edges, 18147 markings/sec, 205 secs
lola: 4171547 markings, 5171386 edges, 19053 markings/sec, 210 secs
lola: 4272435 markings, 5289483 edges, 20178 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1341)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 131406 markings, 159240 edges, 26281 markings/sec, 0 secs
lola: 262006 markings, 322752 edges, 26120 markings/sec, 5 secs
lola: 391203 markings, 485642 edges, 25839 markings/sec, 10 secs
lola: 520444 markings, 648077 edges, 25848 markings/sec, 15 secs
lola: 649277 markings, 810048 edges, 25767 markings/sec, 20 secs
lola: 778483 markings, 972603 edges, 25841 markings/sec, 25 secs
lola: 878369 markings, 1101410 edges, 19977 markings/sec, 30 secs
lola: 949968 markings, 1230089 edges, 14320 markings/sec, 35 secs
lola: 1011306 markings, 1368173 edges, 12268 markings/sec, 40 secs
lola: 1084593 markings, 1493171 edges, 14657 markings/sec, 45 secs
lola: 1183007 markings, 1622151 edges, 19683 markings/sec, 50 secs
lola: 1310007 markings, 1775666 edges, 25400 markings/sec, 55 secs
lola: 1462875 markings, 1951554 edges, 30574 markings/sec, 60 secs
lola: 1614949 markings, 2126852 edges, 30415 markings/sec, 65 secs
lola: 1763991 markings, 2299020 edges, 29808 markings/sec, 70 secs
lola: 1915127 markings, 2473027 edges, 30227 markings/sec, 75 secs
lola: 2068352 markings, 2649010 edges, 30645 markings/sec, 80 secs
lola: 2219578 markings, 2823446 edges, 30245 markings/sec, 85 secs
lola: 2370497 markings, 2997164 edges, 30184 markings/sec, 90 secs
lola: 2520425 markings, 3171461 edges, 29986 markings/sec, 95 secs
lola: 2670824 markings, 3345918 edges, 30080 markings/sec, 100 secs
lola: 2819271 markings, 3520192 edges, 29689 markings/sec, 105 secs
lola: 2932600 markings, 3692278 edges, 22666 markings/sec, 110 secs
lola: 3062056 markings, 3852257 edges, 25891 markings/sec, 115 secs
lola: 3190508 markings, 4011709 edges, 25690 markings/sec, 120 secs
lola: 3318399 markings, 4168140 edges, 25578 markings/sec, 125 secs
lola: 3442508 markings, 4336159 edges, 24822 markings/sec, 130 secs
lola: 3565999 markings, 4494531 edges, 24698 markings/sec, 135 secs
lola: 3687850 markings, 4645876 edges, 24370 markings/sec, 140 secs
lola: 3817732 markings, 4801777 edges, 25976 markings/sec, 145 secs
lola: 3931686 markings, 4944803 edges, 22791 markings/sec, 150 secs
lola: 4030110 markings, 5081538 edges, 19685 markings/sec, 155 secs
lola: 4108285 markings, 5211736 edges, 15635 markings/sec, 160 secs
lola: 4178585 markings, 5331497 edges, 14060 markings/sec, 165 secs
lola: 4270143 markings, 5469729 edges, 18312 markings/sec, 170 secs
lola: 4379195 markings, 5611552 edges, 21810 markings/sec, 175 secs
lola: 4530411 markings, 5785354 edges, 30243 markings/sec, 180 secs
lola: 4682168 markings, 5960205 edges, 30351 markings/sec, 185 secs
lola: 4835510 markings, 6136824 edges, 30668 markings/sec, 190 secs
lola: 4987534 markings, 6311580 edges, 30405 markings/sec, 195 secs
lola: 5139948 markings, 6486795 edges, 30483 markings/sec, 200 secs
lola: 5289671 markings, 6660293 edges, 29945 markings/sec, 205 secs
lola: 5437521 markings, 6832101 edges, 29570 markings/sec, 210 secs
lola: 5543142 markings, 6995661 edges, 21124 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1728)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 85069 markings, 146839 edges, 17014 markings/sec, 0 secs
lola: 170554 markings, 300814 edges, 17097 markings/sec, 5 secs
lola: 249368 markings, 443921 edges, 15763 markings/sec, 10 secs
lola: 333215 markings, 598818 edges, 16769 markings/sec, 15 secs
lola: 418454 markings, 749247 edges, 17048 markings/sec, 20 secs
lola: 503963 markings, 891039 edges, 17102 markings/sec, 25 secs
lola: 592995 markings, 1023758 edges, 17806 markings/sec, 30 secs
lola: 677242 markings, 1169433 edges, 16849 markings/sec, 35 secs
lola: 755654 markings, 1326015 edges, 15682 markings/sec, 40 secs
lola: 833389 markings, 1575221 edges, 15547 markings/sec, 45 secs
lola: 916900 markings, 1810519 edges, 16702 markings/sec, 50 secs
lola: 1003118 markings, 1975990 edges, 17244 markings/sec, 55 secs
lola: 1083908 markings, 2172528 edges, 16158 markings/sec, 60 secs
lola: 1165735 markings, 2391147 edges, 16365 markings/sec, 65 secs
lola: 1251101 markings, 2533546 edges, 17073 markings/sec, 70 secs
lola: 1332047 markings, 2675787 edges, 16189 markings/sec, 75 secs
lola: 1410349 markings, 2812516 edges, 15660 markings/sec, 80 secs
lola: 1493150 markings, 2963390 edges, 16560 markings/sec, 85 secs
lola: 1577856 markings, 3105256 edges, 16941 markings/sec, 90 secs
lola: 1658043 markings, 3258225 edges, 16037 markings/sec, 95 secs
lola: 1738703 markings, 3403430 edges, 16132 markings/sec, 100 secs
lola: 1822686 markings, 3534836 edges, 16797 markings/sec, 105 secs
lola: 1906117 markings, 3664599 edges, 16686 markings/sec, 110 secs
lola: 1987533 markings, 3802130 edges, 16283 markings/sec, 115 secs
lola: 2064674 markings, 3945797 edges, 15428 markings/sec, 120 secs
lola: 2137581 markings, 4114790 edges, 14581 markings/sec, 125 secs
lola: 2214401 markings, 4279491 edges, 15364 markings/sec, 130 secs
lola: 2295054 markings, 4428926 edges, 16131 markings/sec, 135 secs
lola: 2380635 markings, 4576350 edges, 17116 markings/sec, 140 secs
lola: 2467138 markings, 4717323 edges, 17301 markings/sec, 145 secs
lola: 2546091 markings, 4920617 edges, 15791 markings/sec, 150 secs
lola: 2630314 markings, 5118774 edges, 16845 markings/sec, 155 secs
lola: 2714799 markings, 5257879 edges, 16897 markings/sec, 160 secs
lola: 2793110 markings, 5472057 edges, 15662 markings/sec, 165 secs
lola: 2875503 markings, 5640577 edges, 16479 markings/sec, 170 secs
lola: 2954752 markings, 5813375 edges, 15850 markings/sec, 175 secs
lola: 3032626 markings, 5987074 edges, 15575 markings/sec, 180 secs
lola: 3110935 markings, 6245907 edges, 15662 markings/sec, 185 secs
lola: 3191798 markings, 6443220 edges, 16173 markings/sec, 190 secs
lola: 3269540 markings, 6711620 edges, 15548 markings/sec, 195 secs
lola: 3342670 markings, 6853775 edges, 14626 markings/sec, 200 secs
lola: 3423509 markings, 6989853 edges, 16168 markings/sec, 205 secs
lola: 3502723 markings, 7133469 edges, 15843 markings/sec, 210 secs
lola: 3581512 markings, 7270177 edges, 15758 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1379)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 128024 markings, 154905 edges, 25605 markings/sec, 0 secs
lola: 255027 markings, 314108 edges, 25401 markings/sec, 5 secs
lola: 380496 markings, 472924 edges, 25094 markings/sec, 10 secs
lola: 506859 markings, 632069 edges, 25273 markings/sec, 15 secs
lola: 632990 markings, 790482 edges, 25226 markings/sec, 20 secs
lola: 762745 markings, 951831 edges, 25951 markings/sec, 25 secs
lola: 879437 markings, 1093651 edges, 23338 markings/sec, 30 secs
lola: 952308 markings, 1209388 edges, 14574 markings/sec, 35 secs
lola: 1017117 markings, 1327367 edges, 12962 markings/sec, 40 secs
lola: 1074371 markings, 1449558 edges, 11451 markings/sec, 45 secs
lola: 1160499 markings, 1584691 edges, 17226 markings/sec, 50 secs
lola: 1266762 markings, 1720586 edges, 21253 markings/sec, 55 secs
lola: 1430837 markings, 1908850 edges, 32815 markings/sec, 60 secs
lola: 1591139 markings, 2094158 edges, 32060 markings/sec, 65 secs
lola: 1754675 markings, 2281917 edges, 32707 markings/sec, 70 secs
lola: 1918423 markings, 2470208 edges, 32750 markings/sec, 75 secs
lola: 2078083 markings, 2654552 edges, 31932 markings/sec, 80 secs
lola: 2241138 markings, 2842048 edges, 32611 markings/sec, 85 secs
lola: 2400281 markings, 3026023 edges, 31829 markings/sec, 90 secs
lola: 2558868 markings, 3209230 edges, 31717 markings/sec, 95 secs
lola: 2716274 markings, 3392061 edges, 31481 markings/sec, 100 secs
lola: 2867683 markings, 3571513 edges, 30282 markings/sec, 105 secs
lola: 2977782 markings, 3745618 edges, 22020 markings/sec, 110 secs
lola: 3107038 markings, 3908128 edges, 25851 markings/sec, 115 secs
lola: 3236549 markings, 4070870 edges, 25902 markings/sec, 120 secs
lola: 3370477 markings, 4230037 edges, 26786 markings/sec, 125 secs
lola: 3495900 markings, 4406605 edges, 25085 markings/sec, 130 secs
lola: 3623819 markings, 4567595 edges, 25584 markings/sec, 135 secs
lola: 3758712 markings, 4731889 edges, 26979 markings/sec, 140 secs
lola: 3893232 markings, 4899606 edges, 26904 markings/sec, 145 secs
lola: 4026840 markings, 5067948 edges, 26722 markings/sec, 150 secs
lola: 4160838 markings, 5235886 edges, 26800 markings/sec, 155 secs
lola: 4294223 markings, 5403124 edges, 26677 markings/sec, 160 secs
lola: 4428163 markings, 5571096 edges, 26788 markings/sec, 165 secs
lola: 4546487 markings, 5715303 edges, 23665 markings/sec, 170 secs
lola: 4623331 markings, 5836314 edges, 15369 markings/sec, 175 secs
lola: 4686018 markings, 5975477 edges, 12537 markings/sec, 180 secs
lola: 4749949 markings, 6101568 edges, 12786 markings/sec, 185 secs
lola: 4849148 markings, 6234394 edges, 19840 markings/sec, 190 secs
lola: 4978332 markings, 6390528 edges, 25837 markings/sec, 195 secs
lola: 5141597 markings, 6578203 edges, 32653 markings/sec, 200 secs
lola: 5302627 markings, 6764031 edges, 32206 markings/sec, 205 secs
lola: 5466315 markings, 6952042 edges, 32738 markings/sec, 210 secs
lola: 5629503 markings, 7139660 edges, 32638 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 118480 markings, 154884 edges, 23696 markings/sec, 0 secs
lola: 258733 markings, 326859 edges, 28051 markings/sec, 5 secs
lola: 379224 markings, 507493 edges, 24098 markings/sec, 10 secs
lola: 534563 markings, 686921 edges, 31068 markings/sec, 15 secs
lola: 656103 markings, 868974 edges, 24308 markings/sec, 20 secs
lola: 795969 markings, 1036659 edges, 27973 markings/sec, 25 secs
lola: 940851 markings, 1207353 edges, 28976 markings/sec, 30 secs
lola: 1050970 markings, 1406781 edges, 22024 markings/sec, 35 secs
lola: 1206086 markings, 1584467 edges, 31023 markings/sec, 40 secs
lola: 1330767 markings, 1767246 edges, 24936 markings/sec, 45 secs
lola: 1469737 markings, 1933922 edges, 27794 markings/sec, 50 secs
lola: 1615366 markings, 2104741 edges, 29126 markings/sec, 55 secs
lola: 1728479 markings, 2283132 edges, 22623 markings/sec, 60 secs
lola: 1885822 markings, 2460505 edges, 31469 markings/sec, 65 secs
lola: 2003938 markings, 2645364 edges, 23623 markings/sec, 70 secs
lola: 2101269 markings, 2851893 edges, 19466 markings/sec, 75 secs
lola: 2205999 markings, 3041047 edges, 20946 markings/sec, 80 secs
lola: 2349347 markings, 3235369 edges, 28670 markings/sec, 85 secs
lola: 2515603 markings, 3413532 edges, 33251 markings/sec, 90 secs
lola: 2682525 markings, 3593374 edges, 33384 markings/sec, 95 secs
lola: 2808227 markings, 3773522 edges, 25140 markings/sec, 100 secs
lola: 2955816 markings, 3952206 edges, 29518 markings/sec, 105 secs
lola: 3070240 markings, 4131827 edges, 22885 markings/sec, 110 secs
lola: 3216673 markings, 4305422 edges, 29287 markings/sec, 115 secs
lola: 3345397 markings, 4485313 edges, 25745 markings/sec, 120 secs
lola: 3486818 markings, 4650467 edges, 28284 markings/sec, 125 secs
lola: 3619813 markings, 4816695 edges, 26599 markings/sec, 130 secs
lola: 3748719 markings, 4985384 edges, 25781 markings/sec, 135 secs
lola: 3878424 markings, 5153973 edges, 25941 markings/sec, 140 secs
lola: 4017393 markings, 5313464 edges, 27794 markings/sec, 145 secs
lola: 4153353 markings, 5472362 edges, 27192 markings/sec, 150 secs
lola: 4274269 markings, 5637643 edges, 24183 markings/sec, 155 secs
lola: 4402097 markings, 5789922 edges, 25566 markings/sec, 160 secs
lola: 4522240 markings, 5953141 edges, 24029 markings/sec, 165 secs
lola: 4631987 markings, 6116266 edges, 21949 markings/sec, 170 secs
lola: 4740130 markings, 6276827 edges, 21629 markings/sec, 175 secs
lola: 4842551 markings, 6445253 edges, 20484 markings/sec, 180 secs
lola: 4955448 markings, 6615519 edges, 22579 markings/sec, 185 secs
lola: 5069795 markings, 6785279 edges, 22869 markings/sec, 190 secs
lola: 5187478 markings, 6938939 edges, 23537 markings/sec, 195 secs
lola: 5289781 markings, 7107180 edges, 20461 markings/sec, 200 secs
lola: 5388795 markings, 7303324 edges, 19803 markings/sec, 205 secs
lola: 5482228 markings, 7538241 edges, 18687 markings/sec, 210 secs
lola: 5579913 markings, 7718274 edges, 19537 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 80722 markings, 118603 edges, 16144 markings/sec, 0 secs
lola: 151753 markings, 264377 edges, 14206 markings/sec, 5 secs
lola: 224756 markings, 395969 edges, 14601 markings/sec, 10 secs
lola: 292330 markings, 546243 edges, 13515 markings/sec, 15 secs
lola: 360581 markings, 680103 edges, 13650 markings/sec, 20 secs
lola: 434373 markings, 800758 edges, 14758 markings/sec, 25 secs
lola: 508893 markings, 917893 edges, 14904 markings/sec, 30 secs
lola: 579383 markings, 1078792 edges, 14098 markings/sec, 35 secs
lola: 655322 markings, 1202893 edges, 15188 markings/sec, 40 secs
lola: 723911 markings, 1350215 edges, 13718 markings/sec, 45 secs
lola: 797830 markings, 1487826 edges, 14784 markings/sec, 50 secs
lola: 868162 markings, 1607006 edges, 14066 markings/sec, 55 secs
lola: 934775 markings, 1778105 edges, 13323 markings/sec, 60 secs
lola: 1009878 markings, 1920219 edges, 15021 markings/sec, 65 secs
lola: 1084007 markings, 2034658 edges, 14826 markings/sec, 70 secs
lola: 1147403 markings, 2199794 edges, 12679 markings/sec, 75 secs
lola: 1220823 markings, 2329537 edges, 14684 markings/sec, 80 secs
lola: 1293270 markings, 2442115 edges, 14489 markings/sec, 85 secs
lola: 1365295 markings, 2573095 edges, 14405 markings/sec, 90 secs
lola: 1443047 markings, 2714148 edges, 15550 markings/sec, 95 secs
lola: 1531016 markings, 2826082 edges, 17594 markings/sec, 100 secs
lola: 1607059 markings, 2965541 edges, 15209 markings/sec, 105 secs
lola: 1678373 markings, 3098336 edges, 14263 markings/sec, 110 secs
lola: 1749319 markings, 3231499 edges, 14189 markings/sec, 115 secs
lola: 1818184 markings, 3388605 edges, 13773 markings/sec, 120 secs
lola: 1901600 markings, 3503348 edges, 16683 markings/sec, 125 secs
lola: 1984747 markings, 3613443 edges, 16629 markings/sec, 130 secs
lola: 2061874 markings, 3727989 edges, 15425 markings/sec, 135 secs
lola: 2138521 markings, 3844372 edges, 15329 markings/sec, 140 secs
lola: 2213473 markings, 3955610 edges, 14990 markings/sec, 145 secs
lola: 2289489 markings, 4089602 edges, 15203 markings/sec, 150 secs
lola: 2364249 markings, 4227652 edges, 14952 markings/sec, 155 secs
lola: 2432023 markings, 4371597 edges, 13555 markings/sec, 160 secs
lola: 2501566 markings, 4508737 edges, 13909 markings/sec, 165 secs
lola: 2566305 markings, 4660114 edges, 12948 markings/sec, 170 secs
lola: 2632470 markings, 4815614 edges, 13233 markings/sec, 175 secs
lola: 2703487 markings, 4964968 edges, 14203 markings/sec, 180 secs
lola: 2794086 markings, 5080286 edges, 18120 markings/sec, 185 secs
lola: 2870258 markings, 5221642 edges, 15234 markings/sec, 190 secs
lola: 2957539 markings, 5331305 edges, 17456 markings/sec, 195 secs
lola: 3041170 markings, 5438973 edges, 16726 markings/sec, 200 secs
lola: 3121334 markings, 5549006 edges, 16033 markings/sec, 205 secs
lola: 3200361 markings, 5659522 edges, 15805 markings/sec, 210 secs
lola: 3274997 markings, 5777448 edges, 14927 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
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: 65569 markings, 98059 edges, 13114 markings/sec, 0 secs
lola: 122465 markings, 234897 edges, 11379 markings/sec, 5 secs
lola: 183898 markings, 350692 edges, 12287 markings/sec, 10 secs
lola: 245113 markings, 467025 edges, 12243 markings/sec, 15 secs
lola: 310190 markings, 571813 edges, 13015 markings/sec, 20 secs
lola: 375495 markings, 674399 edges, 13061 markings/sec, 25 secs
lola: 436445 markings, 791811 edges, 12190 markings/sec, 30 secs
lola: 497514 markings, 906300 edges, 12214 markings/sec, 35 secs
lola: 553632 markings, 1033774 edges, 11224 markings/sec, 40 secs
lola: 600540 markings, 1225340 edges, 9382 markings/sec, 45 secs
lola: 647609 markings, 1401059 edges, 9414 markings/sec, 50 secs
lola: 694688 markings, 1565801 edges, 9416 markings/sec, 55 secs
lola: 746152 markings, 1734441 edges, 10293 markings/sec, 60 secs
lola: 798449 markings, 1889731 edges, 10459 markings/sec, 65 secs
lola: 848177 markings, 2063761 edges, 9946 markings/sec, 70 secs
lola: 881653 markings, 2427345 edges, 6695 markings/sec, 75 secs
lola: 936500 markings, 2583562 edges, 10969 markings/sec, 80 secs
lola: 996287 markings, 2713788 edges, 11957 markings/sec, 85 secs
lola: 1056573 markings, 2833050 edges, 12057 markings/sec, 90 secs
lola: 1113938 markings, 2968531 edges, 11473 markings/sec, 95 secs
lola: 1178690 markings, 3069108 edges, 12950 markings/sec, 100 secs
lola: 1240326 markings, 3186181 edges, 12327 markings/sec, 105 secs
lola: 1304321 markings, 3296451 edges, 12799 markings/sec, 110 secs
lola: 1367704 markings, 3406373 edges, 12677 markings/sec, 115 secs
lola: 1429626 markings, 3518926 edges, 12384 markings/sec, 120 secs
lola: 1489269 markings, 3634422 edges, 11929 markings/sec, 125 secs
lola: 1541676 markings, 3777148 edges, 10481 markings/sec, 130 secs
lola: 1587069 markings, 3988541 edges, 9079 markings/sec, 135 secs
lola: 1636048 markings, 4158961 edges, 9796 markings/sec, 140 secs
lola: 1685758 markings, 4326409 edges, 9942 markings/sec, 145 secs
lola: 1737542 markings, 4483126 edges, 10357 markings/sec, 150 secs
lola: 1787895 markings, 4652856 edges, 10071 markings/sec, 155 secs
lola: 1829994 markings, 4900917 edges, 8420 markings/sec, 160 secs
lola: 1871256 markings, 5174737 edges, 8252 markings/sec, 165 secs
lola: 1925399 markings, 5324786 edges, 10829 markings/sec, 170 secs
lola: 1987131 markings, 5437474 edges, 12346 markings/sec, 175 secs
lola: 2043826 markings, 5572065 edges, 11339 markings/sec, 180 secs
lola: 2101763 markings, 5706295 edges, 11587 markings/sec, 185 secs
lola: 2171227 markings, 5790268 edges, 13893 markings/sec, 190 secs
lola: 2232803 markings, 5909598 edges, 12315 markings/sec, 195 secs
lola: 2296795 markings, 6021321 edges, 12798 markings/sec, 200 secs
lola: 2360309 markings, 6133996 edges, 12703 markings/sec, 205 secs
lola: 2421571 markings, 6248697 edges, 12252 markings/sec, 210 secs
lola: 2478819 markings, 6373357 edges, 11450 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: time limit reached - aborting
FORMULA CloudDeployment-PT-6b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b execution
cd execution
pwd
ls -lh

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