fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r040-smll-152646357400259
Last Updated
June 26, 2018

About the Execution of LoLA for CloudDeployment-PT-6b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15918.910 3569847.00 5223410.00 14675.20 FFTFFFT?TFTFTTTT normal

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 lola
Input is CloudDeployment-PT-6b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400259
=====================================================================


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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-00
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-01
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-02
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-03
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-04
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-05
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-06
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-07
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-08
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-09
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-10
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-11
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-12
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-13
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-14
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1526626562955

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-6b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-6b formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ CloudDeployment-PT-6b @ 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: 8692/65536 symbol table entries, 2115 collisions
lola: preprocessing...
lola: Size of bit vector: 1888
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-ReachabilityFireability.task
lola: E (F (FIREABLE(t2832))) : E (F (FIREABLE(t3718))) : E (F ((FIREABLE(t1545) OR FIREABLE(t4539)))) : E (F (FIREABLE(t2939))) : E (F ((((FIREABLE(t312) OR FIREABLE(t1761) OR (FIREABLE(t1251) AND FIREABLE(t179))) AND FIREABLE(t2054)) OR (NOT FIREABLE(t2275) AND NOT FIREABLE(t5734) AND FIREABLE(t4161) AND NOT FIREABLE(t64))))) : E (F ((FIREABLE(t1988) AND (FIREABLE(t599) OR FIREABLE(t2206) OR (FIREABLE(t5020) AND FIREABLE(t3877)) OR (NOT FIREABLE(t6241) AND NOT FIREABLE(t3812)))))) : E (F ((FIREABLE(t2990) OR FIREABLE(t1647) OR (FIREABLE(t1714) AND FIREABLE(t668)) OR FIREABLE(t1224) OR (FIREABLE(t733) AND (FIREABLE(t3752) OR FIREABLE(t842) OR FIREABLE(t2454)))))) : E (F (FIREABLE(t6202))) : A (G ((NOT FIREABLE(t4917) OR FIREABLE(t34)))) : E (F ((FIREABLE(t4599) AND FIREABLE(t6552) AND FIREABLE(t3557)))) : A (G (((NOT FIREABLE(t2455) AND NOT FIREABLE(t5787) AND NOT FIREABLE(t1370)) OR NOT FIREABLE(t2034)))) : E (F ((FIREABLE(t3545) AND NOT FIREABLE(t4890) AND (FIREABLE(t1872) OR ((FIREABLE(t2807) OR FIREABLE(t3575)) AND (FIREABLE(t6140) OR FIREABLE(t1961))))))) : E (F (((NOT FIREABLE(t4097) OR NOT FIREABLE(t6428)) AND (FIREABLE(t3542) OR FIREABLE(t1209) OR (FIREABLE(t695) AND FIREABLE(t3460))) AND NOT FIREABLE(t5849) AND NOT FIREABLE(t2418) AND (NOT FIREABLE(t1521) OR NOT FIREABLE(t6462))))) : A (G ((NOT FIREABLE(t3439) OR (NOT FIREABLE(t1945) AND NOT FIREABLE(t3030) AND (NOT FIREABLE(t5178) OR NOT FIREABLE(t3619)))))) : E (F ((FIREABLE(t196) OR FIREABLE(t5830)))) : E (F (FIREABLE(t1740)))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2832)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t2832)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t2832)
lola: state equation: Generated DNF with 20 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-0.sara.
lola: sara is running 0 secs || 73643 markings, 95147 edges, 14729 markings/sec, 0 secs
lola: sara is running 5 secs || 128686 markings, 181936 edges, 11009 markings/sec, 5 secs
lola: sara is running 10 secs || 182329 markings, 275387 edges, 10729 markings/sec, 10 secs
lola: sara is running 15 secs || 232331 markings, 377715 edges, 10000 markings/sec, 15 secs
lola: sara is running 20 secs || 281575 markings, 475470 edges, 9849 markings/sec, 20 secs
lola: sara is running 25 secs || 337016 markings, 558057 edges, 11088 markings/sec, 25 secs
lola: sara is running 30 secs || 389324 markings, 651824 edges, 10462 markings/sec, 30 secs
lola: sara is running 35 secs || 440105 markings, 748929 edges, 10156 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 486775 markings, 851251 edges, 9334 markings/sec, 40 secs

lola: sara is running 45 secs || 541666 markings, 929668 edges, 10978 markings/sec, 45 secs
lola: sara is running 50 secs || 590734 markings, 1030082 edges, 9814 markings/sec, 50 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t3718)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t3718)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t3718)
lola: state equation: Generated DNF with 20 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-0.sara.
lola: sara is running 0 secs || 73699 markings, 95211 edges, 14740 markings/sec, 0 secs
lola: sara is running 5 secs || 128104 markings, 180958 edges, 10881 markings/sec, 5 secs
lola: sara is running 10 secs || 180591 markings, 272565 edges, 10497 markings/sec, 10 secs
lola: sara is running 15 secs || 230555 markings, 371980 edges, 9993 markings/sec, 15 secs
lola: sara is running 20 secs || 277511 markings, 470174 edges, 9391 markings/sec, 20 secs
lola: sara is running 25 secs || 332366 markings, 548777 edges, 10971 markings/sec, 25 secs
lola: sara is running 30 secs || 384132 markings, 638390 edges, 10353 markings/sec, 30 secs
lola: sara is running 35 secs || 434177 markings, 735932 edges, 10009 markings/sec, 35 secs
lola: sara is running 40 secs || 479990 markings, 840096 edges, 9163 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 534159 markings, 919295 edges, 10834 markings/sec, 45 secs

lola: sara is running 50 secs || 582974 markings, 1018233 edges, 9763 markings/sec, 50 secs
lola: sara is running 55 secs || 635605 markings, 1112112 edges, 10526 markings/sec, 55 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2939)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t2939)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t2939)
lola: state equation: Generated DNF with 20 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-2-0.sara.
lola: sara is running 0 secs || 74066 markings, 95827 edges, 14813 markings/sec, 0 secs
lola: sara is running 5 secs || 128940 markings, 182521 edges, 10975 markings/sec, 5 secs
lola: sara is running 10 secs || 182346 markings, 275407 edges, 10681 markings/sec, 10 secs
lola: sara is running 15 secs || 232250 markings, 377450 edges, 9981 markings/sec, 15 secs
lola: sara is running 20 secs || 280409 markings, 474008 edges, 9632 markings/sec, 20 secs
lola: sara is running 25 secs || 335018 markings, 553607 edges, 10922 markings/sec, 25 secs
lola: sara is running 30 secs || 386806 markings, 644769 edges, 10358 markings/sec, 30 secs
lola: sara is running 35 secs || 437320 markings, 742890 edges, 10103 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 483399 markings, 846174 edges, 9216 markings/sec, 40 secs

lola: sara is running 45 secs || 538515 markings, 925402 edges, 11023 markings/sec, 45 secs
lola: sara is running 50 secs || 587295 markings, 1024840 edges, 9756 markings/sec, 50 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t6202)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t6202)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t6202)
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-3-0.sara.
lola: sara is running 0 secs || 72806 markings, 94000 edges, 14561 markings/sec, 0 secs
lola: sara is running 5 secs || 128107 markings, 180966 edges, 11060 markings/sec, 5 secs
lola: sara is running 10 secs || 181325 markings, 273948 edges, 10644 markings/sec, 10 secs
lola: sara is running 15 secs || 231174 markings, 373857 edges, 9970 markings/sec, 15 secs
lola: sara is running 20 secs || 279245 markings, 472503 edges, 9614 markings/sec, 20 secs
lola: sara is running 25 secs || 334115 markings, 551970 edges, 10974 markings/sec, 25 secs
lola: sara is running 30 secs || 385856 markings, 641872 edges, 10348 markings/sec, 30 secs
lola: sara is running 35 secs || 436529 markings, 741806 edges, 10135 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 483166 markings, 845186 edges, 9327 markings/sec, 40 secs
lola: sara is running 45 secs || 538091 markings, 924764 edges, 10985 markings/sec, 45 secs
lola: sara is running 50 secs || 586791 markings, 1024030 edges, 9740 markings/sec, 50 secs
lola: sara is running 55 secs || 638932 markings, 1118923 edges, 10428 markings/sec, 55 secs
lola: sara is running 60 secs || 687356 markings, 1217304 edges, 9685 markings/sec, 60 secs
lola: sara is running 65 secs || 741262 markings, 1305790 edges, 10781 markings/sec, 65 secs
lola: sara is running 70 secs || 789433 markings, 1411874 edges, 9634 markings/sec, 70 secs
lola: sara is running 75 secs || 842693 markings, 1501026 edges, 10652 markings/sec, 75 secs
lola: sara is running 80 secs || 891939 markings, 1597001 edges, 9849 markings/sec, 80 secs
lola: sara is running 85 secs || 938941 markings, 1706418 edges, 9400 markings/sec, 85 secs
lola: sara is running 90 secs || 993802 markings, 1794716 edges, 10972 markings/sec, 90 secs
lola: sara is running 95 secs || 1042592 markings, 1901436 edges, 9758 markings/sec, 95 secs
lola: sara is running 100 secs || 1096705 markings, 1991370 edges, 10823 markings/sec, 100 secs
lola: sara is running 105 secs || 1143664 markings, 2099130 edges, 9392 markings/sec, 105 secs
lola: sara is running 110 secs || 1194710 markings, 2196496 edges, 10209 markings/sec, 110 secs
lola: sara is running 115 secs || 1248721 markings, 2289271 edges, 10802 markings/sec, 115 secs
lola: sara is running 120 secs || 1302269 markings, 2381310 edges, 10710 markings/sec, 120 secs
lola: sara is running 125 secs || 1358633 markings, 2462746 edges, 11273 markings/sec, 125 secs
lola: sara is running 130 secs || 1415471 markings, 2544997 edges, 11368 markings/sec, 130 secs
lola: sara is running 135 secs || 1468739 markings, 2639310 edges, 10654 markings/sec, 135 secs
lola: sara is running 140 secs || 1524818 markings, 2717917 edges, 11216 markings/sec, 140 secs
lola: sara is running 145 secs || 1579618 markings, 2806388 edges, 10960 markings/sec, 145 secs
lola: sara is running 150 secs || 1629734 markings, 2911088 edges, 10023 markings/sec, 150 secs
lola: sara is running 155 secs || 1682356 markings, 3010462 edges, 10524 markings/sec, 155 secs
lola: sara is running 160 secs || 1734287 markings, 3106643 edges, 10386 markings/sec, 160 secs
lola: sara is running 165 secs || 1789534 markings, 3188324 edges, 11049 markings/sec, 165 secs
lola: sara is running 170 secs || 1845565 markings, 3268556 edges, 11206 markings/sec, 170 secs
lola: sara is running 175 secs || 1901566 markings, 3349207 edges, 11200 markings/sec, 175 secs
lola: sara is running 180 secs || 1952649 markings, 3442759 edges, 10217 markings/sec, 180 secs
lola: sara is running 185 secs || 2007650 markings, 3525724 edges, 11000 markings/sec, 185 secs
lola: sara is running 190 secs || 2060561 markings, 3614403 edges, 10582 markings/sec, 190 secs
lola: sara is running 195 secs || 2114846 markings, 3700155 edges, 10857 markings/sec, 195 secs
lola: sara is running 200 secs || 2167248 markings, 3797352 edges, 10480 markings/sec, 200 secs
lola: sara is running 205 secs || 2222152 markings, 3884050 edges, 10981 markings/sec, 205 secs
lola: sara is running 210 secs || 2277090 markings, 3971135 edges, 10988 markings/sec, 210 secs
lola: sara is running 215 secs || 2333004 markings, 4056108 edges, 11183 markings/sec, 215 secs
lola: sara is running 220 secs || 2385824 markings, 4148339 edges, 10564 markings/sec, 220 secs
lola: sara is running 225 secs || 2438427 markings, 4246170 edges, 10521 markings/sec, 225 secs
lola: sara is running 230 secs || 2488286 markings, 4348294 edges, 9972 markings/sec, 230 secs
lola: sara is running 235 secs || 2537708 markings, 4450357 edges, 9884 markings/sec, 235 secs
lola: sara is running 240 secs || 2585499 markings, 4551895 edges, 9558 markings/sec, 240 secs
lola: sara is running 245 secs || 2637349 markings, 4648661 edges, 10370 markings/sec, 245 secs
lola: sara is running 250 secs || 2689887 markings, 4739748 edges, 10508 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 526232 KB
lola: time consumption: 441 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1740)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1740)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1740)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-4-0.sara.
lola: sara is running 0 secs || 106859 markings, 116030 edges, 21372 markings/sec, 0 secs
lola: sara is running 5 secs || 217124 markings, 238031 edges, 22053 markings/sec, 5 secs
lola: sara is running 10 secs || 330186 markings, 361588 edges, 22612 markings/sec, 10 secs
lola: sara is running 15 secs || 437123 markings, 479003 edges, 21387 markings/sec, 15 secs
lola: sara is running 20 secs || 541548 markings, 601171 edges, 20885 markings/sec, 20 secs
lola: sara is running 25 secs || 658476 markings, 727307 edges, 23386 markings/sec, 25 secs
lola: sara is running 30 secs || 763264 markings, 846573 edges, 20958 markings/sec, 30 secs
lola: sara is running 35 secs || 867751 markings, 965518 edges, 20897 markings/sec, 35 secs
lola: sara is running 40 secs || 980218 markings, 1089698 edges, 22493 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 45 secs || 1092616 markings, 1213443 edges, 22480 markings/sec, 45 secs
lola: sara is running 50 secs || 1199037 markings, 1334422 edges, 21284 markings/sec, 50 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t4917) OR FIREABLE(t34))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t4917) OR FIREABLE(t34))))
lola: processed formula length: 47
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t4917) AND NOT FIREABLE(t34))
lola: state equation: Generated DNF with 21 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-5-0.sara.
lola: sara is running 0 secs || 73418 markings, 94892 edges, 14684 markings/sec, 0 secs
lola: sara is running 5 secs || 128709 markings, 181975 edges, 11058 markings/sec, 5 secs
lola: sara is running 10 secs || 182015 markings, 274770 edges, 10661 markings/sec, 10 secs
lola: sara is running 15 secs || 231647 markings, 375404 edges, 9926 markings/sec, 15 secs
lola: sara is running 20 secs || 280599 markings, 474227 edges, 9790 markings/sec, 20 secs
lola: sara is running 25 secs || 335986 markings, 555700 edges, 11077 markings/sec, 25 secs
lola: sara is running 30 secs || 387603 markings, 647326 edges, 10323 markings/sec, 30 secs
lola: sara is running 35 secs || 437835 markings, 744164 edges, 10046 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 483795 markings, 846937 edges, 9192 markings/sec, 40 secs

lola: sara is running 45 secs || 538364 markings, 925172 edges, 10914 markings/sec, 45 secs
lola: sara is running 50 secs || 586951 markings, 1024316 edges, 9717 markings/sec, 50 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t196) OR FIREABLE(t5830))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t196) OR FIREABLE(t5830))))
lola: processed formula length: 44
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t196) OR FIREABLE(t5830))
lola: state equation: Generated DNF with 21 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-6-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 250 markings, 249 edges
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1545) OR FIREABLE(t4539))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t1545) OR FIREABLE(t4539))))
lola: processed formula length: 45
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t1545) OR FIREABLE(t4539))
lola: state equation: Generated DNF with 21 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 235 markings, 234 edges
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t4599) AND FIREABLE(t6552) AND FIREABLE(t3557))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t4599) AND FIREABLE(t6552) AND FIREABLE(t3557))))
lola: processed formula length: 65
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t4599) AND FIREABLE(t6552) AND FIREABLE(t3557))
lola: state equation: Generated DNF with 42 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-8-0.sara.
lola: sara is running 0 secs || 75537 markings, 98011 edges, 15107 markings/sec, 0 secs
lola: sara is running 5 secs || 131800 markings, 187498 edges, 11253 markings/sec, 5 secs
lola: sara is running 10 secs || 186532 markings, 281198 edges, 10946 markings/sec, 10 secs
lola: sara is running 15 secs || 235138 markings, 387577 edges, 9721 markings/sec, 15 secs
lola: sara is running 20 secs || 285137 markings, 480164 edges, 10000 markings/sec, 20 secs
lola: sara is running 25 secs || 339600 markings, 563718 edges, 10893 markings/sec, 25 secs
lola: sara is running 30 secs || 392383 markings, 657679 edges, 10557 markings/sec, 30 secs
lola: sara is running 35 secs || 442631 markings, 756419 edges, 10050 markings/sec, 35 secs
lola: sara is running 40 secs || 490476 markings, 857263 edges, 9569 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 546263 markings, 936530 edges, 11157 markings/sec, 45 secs
lola: sara is running 50 secs || 596092 markings, 1037128 edges, 9966 markings/sec, 50 secs

lola: sara is running 55 secs || 647981 markings, 1136798 edges, 10378 markings/sec, 55 secs
lola: sara is running 60 secs || 698214 markings, 1233835 edges, 10047 markings/sec, 60 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t2455) AND NOT FIREABLE(t5787) AND NOT FIREABLE(t1370)) OR NOT FIREABLE(t2034))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(t2455) AND NOT FIREABLE(t5787) AND NOT FIREABLE(t1370)) OR NOT FIREABLE(t2034))))
lola: processed formula length: 103
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((FIREABLE(t2455) OR FIREABLE(t5787) OR FIREABLE(t1370)) AND FIREABLE(t2034))
lola: state equation: Generated DNF with 101 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-9-0.sara.
lola: sara is running 0 secs || 67593 markings, 118713 edges, 13519 markings/sec, 0 secs
lola: sara is running 5 secs || 139777 markings, 245735 edges, 14437 markings/sec, 5 secs
lola: sara is running 10 secs || 229839 markings, 365245 edges, 18012 markings/sec, 10 secs
lola: sara is running 15 secs || 320988 markings, 483487 edges, 18230 markings/sec, 15 secs
lola: sara is running 20 secs || 405974 markings, 598962 edges, 16997 markings/sec, 20 secs
lola: sara is running 25 secs || 469059 markings, 712869 edges, 12617 markings/sec, 25 secs
lola: sara is running 30 secs || 517597 markings, 847862 edges, 9708 markings/sec, 30 secs
lola: sara is running 35 secs || 557298 markings, 1000860 edges, 7940 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 602337 markings, 1174000 edges, 9008 markings/sec, 40 secs
lola: sara is running 45 secs || 667386 markings, 1317730 edges, 13010 markings/sec, 45 secs

lola: sara is running 50 secs || 738588 markings, 1448091 edges, 14240 markings/sec, 50 secs
lola: sara is running 55 secs || 827612 markings, 1575201 edges, 17805 markings/sec, 55 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 480 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t3439) OR (NOT FIREABLE(t1945) AND NOT FIREABLE(t3030) AND (NOT FIREABLE(t5178) OR NOT FIREABLE(t3619))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t3439) OR (NOT FIREABLE(t1945) AND NOT FIREABLE(t3030) AND (NOT FIREABLE(t5178) OR NOT FIREABLE(t3619))))))
lola: processed formula length: 129
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t3439) AND (FIREABLE(t1945) OR FIREABLE(t3030) OR (FIREABLE(t5178) AND FIREABLE(t3619))))
lola: state equation: Generated DNF with 140 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-10-0.sara.
lola: sara is running 0 secs || 74404 markings, 96339 edges, 14881 markings/sec, 0 secs
lola: sara is running 5 secs || 128937 markings, 182518 edges, 10907 markings/sec, 5 secs
lola: sara is running 10 secs || 181572 markings, 274221 edges, 10527 markings/sec, 10 secs
lola: sara is running 15 secs || 230896 markings, 373146 edges, 9865 markings/sec, 15 secs
lola: sara is running 20 secs || 277887 markings, 470810 edges, 9398 markings/sec, 20 secs
lola: sara is running 25 secs || 332649 markings, 549214 edges, 10952 markings/sec, 25 secs
lola: sara is running 30 secs || 384216 markings, 638580 edges, 10313 markings/sec, 30 secs
lola: sara is running 35 secs || 434209 markings, 735973 edges, 9999 markings/sec, 35 secs
lola: sara is running 40 secs || 480035 markings, 840147 edges, 9165 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 533944 markings, 919007 edges, 10782 markings/sec, 45 secs
lola: sara is running 50 secs || 581556 markings, 1015672 edges, 9522 markings/sec, 50 secs
lola: sara is running 55 secs || 633520 markings, 1105833 edges, 10393 markings/sec, 55 secs
lola: sara is running 60 secs || 679500 markings, 1204957 edges, 9196 markings/sec, 60 secs

lola: sara is running 65 secs || 732665 markings, 1289061 edges, 10633 markings/sec, 65 secs
lola: sara is running 70 secs || 780265 markings, 1390314 edges, 9520 markings/sec, 70 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t3545) AND NOT FIREABLE(t4890) AND (FIREABLE(t1872) OR ((FIREABLE(t2807) OR FIREABLE(t3575)) AND (FIREABLE(t6140) OR FIREABLE(t1961)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t3545) AND NOT FIREABLE(t4890) AND (FIREABLE(t1872) OR ((FIREABLE(t2807) OR FIREABLE(t3575)) AND (FIREABLE(t6140) OR FIREABLE(t1961)))))))
lola: processed formula length: 157
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t3545) AND NOT FIREABLE(t4890) AND (FIREABLE(t1872) OR ((FIREABLE(t2807) OR FIREABLE(t3575)) AND (FIREABLE(t6140) OR FIREABLE(t1961)))))
lola: state equation: Generated DNF with 713 literals and 17 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-11-0.sara.
lola: sara is running 0 secs || 75239 markings, 97622 edges, 15048 markings/sec, 0 secs
lola: sara is running 5 secs || 131004 markings, 186014 edges, 11153 markings/sec, 5 secs
lola: sara is running 10 secs || 185891 markings, 280211 edges, 10977 markings/sec, 10 secs
lola: sara is running 15 secs || 235093 markings, 387392 edges, 9840 markings/sec, 15 secs
lola: sara is running 20 secs || 284704 markings, 479504 edges, 9922 markings/sec, 20 secs
lola: sara is running 25 secs || 338421 markings, 561569 edges, 10743 markings/sec, 25 secs
lola: sara is running 30 secs || 390654 markings, 654487 edges, 10447 markings/sec, 30 secs
lola: sara is running 35 secs || 441453 markings, 753037 edges, 10160 markings/sec, 35 secs
lola: sara is running 40 secs || 488763 markings, 854615 edges, 9462 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 544814 markings, 934386 edges, 11210 markings/sec, 45 secs
lola: sara is running 50 secs || 594478 markings, 1035087 edges, 9933 markings/sec, 50 secs
lola: sara is running 55 secs || 646799 markings, 1134122 edges, 10464 markings/sec, 55 secs
lola: sara is running 60 secs || 696792 markings, 1231930 edges, 9999 markings/sec, 60 secs
lola: sara is running 65 secs || 750142 markings, 1325208 edges, 10670 markings/sec, 65 secs
lola: sara is running 70 secs || 800111 markings, 1428442 edges, 9994 markings/sec, 70 secs
lola: sara is running 75 secs || 854242 markings, 1517285 edges, 10826 markings/sec, 75 secs
lola: sara is running 80 secs || 901151 markings, 1626891 edges, 9382 markings/sec, 80 secs
lola: sara is running 85 secs || 952200 markings, 1726593 edges, 10210 markings/sec, 85 secs
lola: sara is running 90 secs || 1005091 markings, 1820894 edges, 10578 markings/sec, 90 secs
lola: sara is running 95 secs || 1054924 markings, 1925962 edges, 9967 markings/sec, 95 secs
lola: sara is running 100 secs || 1109984 markings, 2012348 edges, 11012 markings/sec, 100 secs
lola: sara is running 105 secs || 1155118 markings, 2128703 edges, 9027 markings/sec, 105 secs
lola: sara is running 110 secs || 1208877 markings, 2216496 edges, 10752 markings/sec, 110 secs

lola: sara is running 115 secs || 1261688 markings, 2315751 edges, 10562 markings/sec, 115 secs
lola: sara is running 120 secs || 1316185 markings, 2404469 edges, 10899 markings/sec, 120 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 668 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1988) AND (FIREABLE(t599) OR FIREABLE(t2206) OR (FIREABLE(t5020) AND FIREABLE(t3877)) OR (NOT FIREABLE(t6241) AND NOT FIREABLE(t3812))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t1988) AND (FIREABLE(t599) OR FIREABLE(t2206) OR (FIREABLE(t5020) AND FIREABLE(t3877)) OR (NOT FIREABLE(t6241) AND NOT FIREABLE(t3812))))))
lola: processed formula length: 158
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t1988) AND (FIREABLE(t599) OR FIREABLE(t2206) OR (FIREABLE(t5020) AND FIREABLE(t3877)) OR (NOT FIREABLE(t6241) AND NOT FIREABLE(t3812))))
lola: state equation: Generated DNF with 561 literals and 23 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-12-0.sara.
lola: sara is running 0 secs || 73516 markings, 94999 edges, 14703 markings/sec, 0 secs
lola: sara is running 5 secs || 129565 markings, 183438 edges, 11210 markings/sec, 5 secs
lola: sara is running 10 secs || 182556 markings, 275640 edges, 10598 markings/sec, 10 secs
lola: sara is running 15 secs || 232084 markings, 376906 edges, 9906 markings/sec, 15 secs
lola: sara is running 20 secs || 279742 markings, 473077 edges, 9532 markings/sec, 20 secs
lola: sara is running 25 secs || 335332 markings, 554350 edges, 11118 markings/sec, 25 secs
lola: sara is running 30 secs || 388059 markings, 648548 edges, 10545 markings/sec, 30 secs
lola: sara is running 35 secs || 439625 markings, 747520 edges, 10313 markings/sec, 35 secs
lola: sara is running 40 secs || 486762 markings, 851222 edges, 9427 markings/sec, 40 secs
lola: sara is running 45 secs || 542748 markings, 931248 edges, 11197 markings/sec, 45 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 50 secs || 592647 markings, 1032715 edges, 9980 markings/sec, 50 secs
lola: sara is running 55 secs || 645535 markings, 1131192 edges, 10578 markings/sec, 55 secs
lola: sara is running 60 secs || 691566 markings, 1223893 edges, 9206 markings/sec, 60 secs
lola: sara is running 65 secs || 746668 markings, 1316664 edges, 11020 markings/sec, 65 secs
lola: sara is running 70 secs || 796346 markings, 1421384 edges, 9936 markings/sec, 70 secs
lola: sara is running 75 secs || 850203 markings, 1511502 edges, 10771 markings/sec, 75 secs
lola: sara is running 80 secs || 898165 markings, 1617398 edges, 9592 markings/sec, 80 secs
lola: sara is running 85 secs || 948263 markings, 1720262 edges, 10020 markings/sec, 85 secs
lola: sara is running 90 secs || 1001992 markings, 1810972 edges, 10746 markings/sec, 90 secs
lola: sara is running 95 secs || 1050976 markings, 1918140 edges, 9797 markings/sec, 95 secs
lola: sara is running 100 secs || 1105484 markings, 2005677 edges, 10902 markings/sec, 100 secs
lola: sara is running 105 secs || 1150501 markings, 2119218 edges, 9003 markings/sec, 105 secs
lola: sara is running 110 secs || 1203419 markings, 2209366 edges, 10584 markings/sec, 110 secs
lola: sara is running 115 secs || 1257570 markings, 2309450 edges, 10830 markings/sec, 115 secs
lola: sara is running 120 secs || 1312794 markings, 2397911 edges, 11045 markings/sec, 120 secs

lola: sara is running 125 secs || 1370296 markings, 2478356 edges, 11500 markings/sec, 125 secs
lola: sara is running 130 secs || 1425478 markings, 2567678 edges, 11036 markings/sec, 130 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t312) OR FIREABLE(t1761) OR (FIREABLE(t1251) AND FIREABLE(t179))) AND FIREABLE(t2054)) OR (NOT FIREABLE(t2275) AND NOT FIREABLE(t5734) AND FIREABLE(t4161) AND NOT FIREABLE(t64)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((((FIREABLE(t312) OR FIREABLE(t1761) OR (FIREABLE(t1251) AND FIREABLE(t179))) AND FIREABLE(t2054)) OR (NOT FIREABLE(t2275) AND NOT FIREABLE(t5734) AND FIREABLE(t4161) AND NOT FIREABLE(t64)))))
lola: processed formula length: 201
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((FIREABLE(t312) OR FIREABLE(t1761) OR (FIREABLE(t1251) AND FIREABLE(t179))) AND FIREABLE(t2054)) OR (NOT FIREABLE(t2275) AND NOT FIREABLE(t5734) AND FIREABLE(t4161) AND NOT FIREABLE(t64)))
lola: state equation: Generated DNF with 754 literals and 33 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-13-0.sara.
lola: sara is running 0 secs || 57117 markings, 106547 edges, 11423 markings/sec, 0 secs
lola: sara is running 5 secs || 120206 markings, 191983 edges, 12618 markings/sec, 5 secs
lola: sara is running 10 secs || 167904 markings, 322856 edges, 9540 markings/sec, 10 secs
lola: sara is running 15 secs || 219311 markings, 452518 edges, 10281 markings/sec, 15 secs
lola: sara is running 20 secs || 279949 markings, 558510 edges, 12128 markings/sec, 20 secs
lola: sara is running 25 secs || 341087 markings, 654116 edges, 12228 markings/sec, 25 secs
lola: sara is running 30 secs || 384519 markings, 800043 edges, 8686 markings/sec, 30 secs
lola: sara is running 35 secs || 444631 markings, 907366 edges, 12022 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 510849 markings, 1011170 edges, 13244 markings/sec, 40 secs
lola: sara is running 45 secs || 573374 markings, 1125280 edges, 12505 markings/sec, 45 secs
lola: sara is running 50 secs || 628600 markings, 1245680 edges, 11045 markings/sec, 50 secs
lola: sara is running 55 secs || 691792 markings, 1347921 edges, 12638 markings/sec, 55 secs
lola: sara is running 60 secs || 739396 markings, 1480079 edges, 9521 markings/sec, 60 secs
lola: sara is running 65 secs || 805978 markings, 1577243 edges, 13316 markings/sec, 65 secs
lola: sara is running 70 secs || 867866 markings, 1683988 edges, 12378 markings/sec, 70 secs
lola: sara is running 75 secs || 919296 markings, 1794925 edges, 10286 markings/sec, 75 secs
lola: sara is running 80 secs || 973129 markings, 1902287 edges, 10767 markings/sec, 80 secs
lola: sara is running 85 secs || 1028371 markings, 2021733 edges, 11048 markings/sec, 85 secs
lola: sara is running 90 secs || 1085326 markings, 2132918 edges, 11391 markings/sec, 90 secs
lola: sara is running 95 secs || 1152066 markings, 2236496 edges, 13348 markings/sec, 95 secs
lola: sara is running 100 secs || 1212877 markings, 2349445 edges, 12162 markings/sec, 100 secs
lola: sara is running 105 secs || 1281639 markings, 2449131 edges, 13752 markings/sec, 105 secs
lola: sara is running 110 secs || 1338350 markings, 2571901 edges, 11342 markings/sec, 110 secs
lola: sara is running 115 secs || 1402522 markings, 2669658 edges, 12834 markings/sec, 115 secs
lola: sara is running 120 secs || 1455217 markings, 2790479 edges, 10539 markings/sec, 120 secs
lola: sara is running 125 secs || 1514596 markings, 2897122 edges, 11876 markings/sec, 125 secs

lola: sara is running 130 secs || 1568879 markings, 3015921 edges, 10857 markings/sec, 130 secs
lola: sara is running 135 secs || 1628618 markings, 3129166 edges, 11948 markings/sec, 135 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1197 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2990) OR FIREABLE(t1647) OR (FIREABLE(t1714) AND FIREABLE(t668)) OR FIREABLE(t1224) OR (FIREABLE(t733) AND (FIREABLE(t3752) OR FIREABLE(t842) OR FIREABLE(t2454))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t2990) OR FIREABLE(t1647) OR (FIREABLE(t1714) AND FIREABLE(t668)) OR FIREABLE(t1224) OR (FIREABLE(t733) AND (FIREABLE(t3752) OR FIREABLE(t842) OR FIREABLE(t2454))))))
lola: processed formula length: 188
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t2990) OR FIREABLE(t1647) OR (FIREABLE(t1714) AND FIREABLE(t668)) OR FIREABLE(t1224) OR (FIREABLE(t733) AND (FIREABLE(t3752) OR FIREABLE(t842) OR FIREABLE(t2454))))
lola: state equation: Generated DNF with 68 literals and 7 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 49 markings, 48 edges
lola: ========================================

FORMULA CloudDeployment-PT-6b-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t4097) OR NOT FIREABLE(t6428)) AND (FIREABLE(t3542) OR FIREABLE(t1209) OR (FIREABLE(t695) AND FIREABLE(t3460))) AND NOT FIREABLE(t5849) AND NOT FIREABLE(t2418) AND (NOT FIREABLE(t1521) OR NOT FIREABLE(t6462)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((NOT FIREABLE(t4097) OR NOT FIREABLE(t6428)) AND (FIREABLE(t3542) OR FIREABLE(t1209) OR (FIREABLE(t695) AND FIREABLE(t3460))) AND NOT FIREABLE(t5849) AND NOT FIREABLE(t2418) AND (NOT FIREABLE(t1521) OR NOT FIREABLE(t6462)))))
lola: processed formula length: 236
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((NOT FIREABLE(t4097) OR NOT FIREABLE(t6428)) AND (FIREABLE(t3542) OR FIREABLE(t1209) OR (FIREABLE(t695) AND FIREABLE(t3460))) AND NOT FIREABLE(t5849) AND NOT FIREABLE(t2418) AND (NOT FIREABLE(t1521) OR NOT FIREABLE(t6462)))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 125 markings, 125 edges
lola:
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t6202)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t6202)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t6202)
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-16-0.sara.
lola: sara is running 0 secs || 75707 markings, 98317 edges, 15141 markings/sec, 0 secs
lola: sara is running 5 secs || 131764 markings, 187456 edges, 11211 markings/sec, 5 secs
lola: sara is running 10 secs || 186159 markings, 280670 edges, 10879 markings/sec, 10 secs
lola: sara is running 15 secs || 235304 markings, 388220 edges, 9829 markings/sec, 15 secs
lola: sara is running 20 secs || 286577 markings, 482080 edges, 10255 markings/sec, 20 secs
lola: sara is running 25 secs || 341014 markings, 567921 edges, 10887 markings/sec, 25 secs
lola: sara is running 30 secs || 394626 markings, 661284 edges, 10722 markings/sec, 30 secs
lola: sara is running 35 secs || 445340 markings, 765156 edges, 10143 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 494906 markings, 862901 edges, 9913 markings/sec, 40 secs
lola: sara is running 45 secs || 550837 markings, 944247 edges, 11186 markings/sec, 45 secs
lola: sara is running 50 secs || 601413 markings, 1044874 edges, 10115 markings/sec, 50 secs
lola: sara is running 55 secs || 652967 markings, 1147123 edges, 10311 markings/sec, 55 secs
lola: sara is running 60 secs || 703980 markings, 1243789 edges, 10203 markings/sec, 60 secs
lola: sara is running 65 secs || 755640 markings, 1342751 edges, 10332 markings/sec, 65 secs
lola: sara is running 70 secs || 806875 markings, 1442072 edges, 10247 markings/sec, 70 secs
lola: sara is running 75 secs || 861714 markings, 1528941 edges, 10968 markings/sec, 75 secs
lola: sara is running 80 secs || 907357 markings, 1644599 edges, 9129 markings/sec, 80 secs
lola: sara is running 85 secs || 960127 markings, 1739270 edges, 10554 markings/sec, 85 secs
lola: sara is running 90 secs || 1011430 markings, 1839344 edges, 10261 markings/sec, 90 secs
lola: sara is running 95 secs || 1062345 markings, 1940783 edges, 10183 markings/sec, 95 secs
lola: sara is running 100 secs || 1117697 markings, 2026771 edges, 11070 markings/sec, 100 secs
lola: sara is running 105 secs || 1163636 markings, 2144313 edges, 9188 markings/sec, 105 secs
lola: sara is running 110 secs || 1219545 markings, 2231630 edges, 11182 markings/sec, 110 secs
lola: sara is running 115 secs || 1271306 markings, 2334407 edges, 10352 markings/sec, 115 secs
lola: sara is running 120 secs || 1326710 markings, 2420072 edges, 11081 markings/sec, 120 secs
lola: sara is running 125 secs || 1384373 markings, 2498487 edges, 11533 markings/sec, 125 secs
lola: sara is running 130 secs || 1437987 markings, 2596600 edges, 10723 markings/sec, 130 secs
lola: sara is running 135 secs || 1494848 markings, 2675976 edges, 11372 markings/sec, 135 secs
lola: sara is running 140 secs || 1551835 markings, 2755847 edges, 11397 markings/sec, 140 secs
lola: sara is running 145 secs || 1604475 markings, 2854560 edges, 10528 markings/sec, 145 secs
lola: sara is running 150 secs || 1656873 markings, 2953553 edges, 10480 markings/sec, 150 secs
lola: sara is running 155 secs || 1706454 markings, 3062900 edges, 9916 markings/sec, 155 secs
lola: sara is running 160 secs || 1761652 markings, 3147855 edges, 11040 markings/sec, 160 secs
lola: sara is running 165 secs || 1818209 markings, 3228524 edges, 11311 markings/sec, 165 secs
lola: sara is running 170 secs || 1874911 markings, 3310113 edges, 11340 markings/sec, 170 secs
lola: sara is running 175 secs || 1927195 markings, 3401475 edges, 10457 markings/sec, 175 secs
lola: sara is running 180 secs || 1981904 markings, 3488657 edges, 10942 markings/sec, 180 secs
lola: sara is running 185 secs || 2036059 markings, 3576028 edges, 10831 markings/sec, 185 secs
lola: sara is running 190 secs || 2090761 markings, 3661266 edges, 10940 markings/sec, 190 secs
lola: sara is running 195 secs || 2143878 markings, 3759036 edges, 10623 markings/sec, 195 secs
lola: sara is running 200 secs || 2198802 markings, 3845652 edges, 10985 markings/sec, 200 secs
lola: sara is running 205 secs || 2254507 markings, 3930174 edges, 11141 markings/sec, 205 secs
lola: sara is running 210 secs || 2308520 markings, 4020093 edges, 10803 markings/sec, 210 secs
lola: sara is running 215 secs || 2364810 markings, 4102220 edges, 11258 markings/sec, 215 secs
lola: sara is running 220 secs || 2416467 markings, 4203605 edges, 10331 markings/sec, 220 secs
lola: sara is running 225 secs || 2467304 markings, 4306109 edges, 10167 markings/sec, 225 secs
lola: sara is running 230 secs || 2517623 markings, 4407615 edges, 10064 markings/sec, 230 secs
lola: sara is running 235 secs || 2566453 markings, 4513971 edges, 9766 markings/sec, 235 secs
lola: sara is running 240 secs || 2617950 markings, 4616410 edges, 10299 markings/sec, 240 secs
lola: sara is running 245 secs || 2670292 markings, 4709784 edges, 10468 markings/sec, 245 secs
lola: sara is running 250 secs || 2725129 markings, 4795891 edges, 10967 markings/sec, 250 secs
lola: sara is running 255 secs || 2780820 markings, 4879676 edges, 11138 markings/sec, 255 secs
lola: sara is running 260 secs || 2832872 markings, 4972546 edges, 10410 markings/sec, 260 secs
lola: sara is running 265 secs || 2887761 markings, 5059580 edges, 10978 markings/sec, 265 secs
lola: sara is running 270 secs || 2942345 markings, 5146050 edges, 10917 markings/sec, 270 secs
lola: sara is running 275 secs || 2994992 markings, 5238428 edges, 10529 markings/sec, 275 secs
lola: sara is running 280 secs || 3047315 markings, 5332103 edges, 10465 markings/sec, 280 secs
lola: sara is running 285 secs || 3099672 markings, 5425281 edges, 10471 markings/sec, 285 secs
lola: sara is running 290 secs || 3151481 markings, 5518428 edges, 10362 markings/sec, 290 secs
lola: sara is running 295 secs || 3202248 markings, 5616690 edges, 10153 markings/sec, 295 secs
lola: sara is running 300 secs || 3251635 markings, 5717854 edges, 9877 markings/sec, 300 secs
lola: sara is running 305 secs || 3298723 markings, 5823706 edges, 9418 markings/sec, 305 secs
lola: sara is running 310 secs || 3347498 markings, 5927667 edges, 9755 markings/sec, 310 secs
lola: sara is running 315 secs || 3395793 markings, 6032654 edges, 9659 markings/sec, 315 secs
lola: sara is running 320 secs || 3443338 markings, 6140198 edges, 9509 markings/sec, 320 secs
lola: sara is running 325 secs || 3486167 markings, 6263394 edges, 8566 markings/sec, 325 secs
lola: sara is running 330 secs || 3523287 markings, 6391181 edges, 7424 markings/sec, 330 secs
lola: sara is running 335 secs || 3562585 markings, 6532117 edges, 7860 markings/sec, 335 secs
lola: sara is running 340 secs || 3600422 markings, 6676839 edges, 7567 markings/sec, 340 secs
lola: sara is running 345 secs || 3648822 markings, 6778758 edges, 9680 markings/sec, 345 secs
lola: sara is running 350 secs || 3696907 markings, 6880650 edges, 9617 markings/sec, 350 secs
lola: sara is running 355 secs || 3744386 markings, 6985243 edges, 9496 markings/sec, 355 secs
lola: sara is running 360 secs || 3790235 markings, 7093892 edges, 9170 markings/sec, 360 secs
lola: sara is running 365 secs || 3842227 markings, 7193832 edges, 10398 markings/sec, 365 secs
lola: sara is running 370 secs || 3894809 markings, 7289418 edges, 10516 markings/sec, 370 secs
lola: sara is running 375 secs || 3948073 markings, 7387031 edges, 10653 markings/sec, 375 secs
lola: sara is running 380 secs || 4005921 markings, 7469961 edges, 11570 markings/sec, 380 secs
lola: sara is running 385 secs || 4063877 markings, 7552430 edges, 11591 markings/sec, 385 secs
lola: sara is running 390 secs || 4120240 markings, 7638974 edges, 11273 markings/sec, 390 secs
lola: sara is running 395 secs || 4176113 markings, 7727029 edges, 11175 markings/sec, 395 secs
lola: sara is running 400 secs || 4230638 markings, 7818430 edges, 10905 markings/sec, 400 secs
lola: sara is running 405 secs || 4283800 markings, 7913326 edges, 10632 markings/sec, 405 secs
lola: sara is running 410 secs || 4335917 markings, 8010942 edges, 10423 markings/sec, 410 secs
lola: sara is running 415 secs || 4386439 markings, 8113842 edges, 10104 markings/sec, 415 secs
lola: sara is running 420 secs || 4431913 markings, 8229364 edges, 9095 markings/sec, 420 secs
lola: sara is running 425 secs || 4472488 markings, 8364868 edges, 8115 markings/sec, 425 secs
lola: sara is running 430 secs || 4512630 markings, 8506376 edges, 8028 markings/sec, 430 secs
lola: sara is running 435 secs || 4551911 markings, 8650819 edges, 7856 markings/sec, 435 secs
lola: sara is running 440 secs || 4594609 markings, 8785399 edges, 8540 markings/sec, 440 secs
lola: sara is running 445 secs || 4644456 markings, 8892052 edges, 9969 markings/sec, 445 secs
lola: sara is running 450 secs || 4694372 markings, 8998233 edges, 9983 markings/sec, 450 secs
lola: sara is running 455 secs || 4743831 markings, 9105195 edges, 9892 markings/sec, 455 secs
lola: sara is running 460 secs || 4800120 markings, 9190161 edges, 11258 markings/sec, 460 secs
lola: sara is running 465 secs || 4856071 markings, 9275727 edges, 11190 markings/sec, 465 secs
lola: sara is running 470 secs || 4909991 markings, 9360933 edges, 10784 markings/sec, 470 secs
lola: sara is running 475 secs || 4917132 markings, 9372159 edges, 1428 markings/sec, 475 secs
lola: sara is running 480 secs || 4919834 markings, 9376061 edges, 540 markings/sec, 480 secs
lola: sara is running 485 secs || 4922616 markings, 9380542 edges, 556 markings/sec, 485 secs
lola: sara is running 490 secs || 4923104 markings, 9381458 edges, 98 markings/sec, 490 secs
lola: sara is running 495 secs || 4924653 markings, 9383835 edges, 310 markings/sec, 495 secs
lola: sara is running 500 secs || 4925846 markings, 9385766 edges, 239 markings/sec, 500 secs
lola: sara is running 505 secs || 4927064 markings, 9387758 edges, 244 markings/sec, 505 secs
lola: sara is running 510 secs || 4942567 markings, 9413719 edges, 3101 markings/sec, 510 secs
lola: sara is running 515 secs || 4994637 markings, 9514504 edges, 10414 markings/sec, 515 secs
lola: sara is running 520 secs || 5045728 markings, 9617898 edges, 10218 markings/sec, 520 secs
lola: sara is running 525 secs || 5092340 markings, 9735354 edges, 9322 markings/sec, 525 secs
lola: sara is running 530 secs || 5132157 markings, 9876941 edges, 7963 markings/sec, 530 secs
lola: sara is running 535 secs || 5170717 markings, 10026229 edges, 7712 markings/sec, 535 secs
lola: sara is running 540 secs || 5215957 markings, 10150350 edges, 9048 markings/sec, 540 secs
lola: sara is running 545 secs || 5266258 markings, 10258651 edges, 10060 markings/sec, 545 secs
lola: sara is running 550 secs || 5316300 markings, 10367425 edges, 10008 markings/sec, 550 secs
lola: sara is running 555 secs || 5368606 markings, 10466840 edges, 10461 markings/sec, 555 secs
lola: sara is running 560 secs || 5418904 markings, 10572284 edges, 10060 markings/sec, 560 secs
lola: sara is running 565 secs || 5469735 markings, 10680941 edges, 10166 markings/sec, 565 secs
lola: sara is running 570 secs || 5516981 markings, 10800854 edges, 9449 markings/sec, 570 secs
lola: sara is running 575 secs || 5568196 markings, 10909880 edges, 10243 markings/sec, 575 secs
lola: sara is running 580 secs || 5615812 markings, 11029373 edges, 9523 markings/sec, 580 secs
lola: sara is running 585 secs || 5668791 markings, 11127404 edges, 10596 markings/sec, 585 secs
lola: sara is running 590 secs || 5713957 markings, 11212587 edges, 9033 markings/sec, 590 secs
lola: sara is running 595 secs || 5762218 markings, 11321982 edges, 9652 markings/sec, 595 secs
lola: sara is running 600 secs || 5804236 markings, 11446088 edges, 8404 markings/sec, 600 secs
lola: sara is running 605 secs || 5850846 markings, 11553532 edges, 9322 markings/sec, 605 secs
lola: sara is running 610 secs || 5892272 markings, 11683682 edges, 8285 markings/sec, 610 secs
lola: sara is running 615 secs || 5930840 markings, 11823905 edges, 7714 markings/sec, 615 secs
lola: sara is running 620 secs || 5971686 markings, 11957775 edges, 8169 markings/sec, 620 secs
lola: sara is running 625 secs || 6022421 markings, 12062426 edges, 10147 markings/sec, 625 secs
lola: sara is running 630 secs || 6076693 markings, 12163091 edges, 10854 markings/sec, 630 secs
lola: sara is running 635 secs || 6126818 markings, 12274756 edges, 10025 markings/sec, 635 secs
lola: sara is running 640 secs || 6169422 markings, 12405978 edges, 8521 markings/sec, 640 secs
lola: sara is running 645 secs || 6206462 markings, 12553285 edges, 7408 markings/sec, 645 secs
lola: sara is running 650 secs || 6243621 markings, 12700808 edges, 7432 markings/sec, 650 secs
lola: sara is running 655 secs || 6281734 markings, 12844637 edges, 7623 markings/sec, 655 secs
lola: sara is running 660 secs || 6319272 markings, 12992153 edges, 7508 markings/sec, 660 secs
lola: sara is running 665 secs || 6356817 markings, 13139051 edges, 7509 markings/sec, 665 secs
lola: sara is running 670 secs || 6394806 markings, 13286327 edges, 7598 markings/sec, 670 secs
lola: sara is running 675 secs || 6432849 markings, 13431806 edges, 7609 markings/sec, 675 secs
lola: sara is running 680 secs || 6482223 markings, 13536791 edges, 9875 markings/sec, 680 secs
lola: sara is running 685 secs || 6528923 markings, 13641660 edges, 9340 markings/sec, 685 secs
lola: sara is running 690 secs || 6577269 markings, 13743534 edges, 9669 markings/sec, 690 secs
lola: sara is running 695 secs || 6625668 markings, 13840589 edges, 9680 markings/sec, 695 secs
lola: sara is running 700 secs || 6673337 markings, 13939746 edges, 9534 markings/sec, 700 secs
lola: sara is running 705 secs || 6727669 markings, 14038124 edges, 10866 markings/sec, 705 secs
lola: sara is running 710 secs || 6774588 markings, 14157919 edges, 9384 markings/sec, 710 secs
lola: sara is running 715 secs || 6823862 markings, 14254593 edges, 9855 markings/sec, 715 secs
lola: sara is running 720 secs || 6877782 markings, 14339054 edges, 10784 markings/sec, 720 secs
lola: sara is running 725 secs || 6922408 markings, 14453123 edges, 8925 markings/sec, 725 secs
lola: sara is running 730 secs || 6972241 markings, 14548097 edges, 9967 markings/sec, 730 secs
lola: sara is running 735 secs || 7019431 markings, 14647589 edges, 9438 markings/sec, 735 secs
lola: sara is running 740 secs || 7069528 markings, 14739827 edges, 10019 markings/sec, 740 secs
lola: sara is running 745 secs || 7120114 markings, 14833751 edges, 10117 markings/sec, 745 secs
lola: sara is running 750 secs || 7169662 markings, 14926140 edges, 9910 markings/sec, 750 secs
lola: sara is running 755 secs || 7216859 markings, 15023455 edges, 9439 markings/sec, 755 secs
lola: sara is running 760 secs || 7269541 markings, 15107149 edges, 10536 markings/sec, 760 secs
lola: sara is running 765 secs || 7317642 markings, 15206958 edges, 9620 markings/sec, 765 secs
lola: sara is running 770 secs || 7366263 markings, 15297484 edges, 9724 markings/sec, 770 secs
lola: sara is running 775 secs || 7413702 markings, 15394684 edges, 9488 markings/sec, 775 secs
lola: sara is running 780 secs || 7468897 markings, 15477742 edges, 11039 markings/sec, 780 secs
lola: sara is running 785 secs || 7513629 markings, 15591277 edges, 8946 markings/sec, 785 secs
lola: sara is running 790 secs || 7563401 markings, 15688617 edges, 9954 markings/sec, 790 secs
lola: sara is running 795 secs || 7611278 markings, 15788265 edges, 9575 markings/sec, 795 secs
lola: sara is running 800 secs || 7661721 markings, 15879626 edges, 10089 markings/sec, 800 secs
lola: sara is running 805 secs || 7711199 markings, 15974809 edges, 9896 markings/sec, 805 secs
lola: sara is running 810 secs || 7760592 markings, 16066047 edges, 9879 markings/sec, 810 secs
lola: sara is running 815 secs || 7807487 markings, 16162734 edges, 9379 markings/sec, 815 secs
lola: sara is running 820 secs || 7860174 markings, 16250918 edges, 10537 markings/sec, 820 secs
lola: sara is running 825 secs || 7908802 markings, 16354028 edges, 9726 markings/sec, 825 secs
lola: sara is running 830 secs || 7951254 markings, 16439183 edges, 8490 markings/sec, 830 secs
lola: sara is running 835 secs || 8001925 markings, 16534312 edges, 10134 markings/sec, 835 secs
lola: sara is running 840 secs || 8050506 markings, 16634278 edges, 9716 markings/sec, 840 secs
lola: sara is running 845 secs || 8100402 markings, 16728161 edges, 9979 markings/sec, 845 secs
lola: sara is running 850 secs || 8150239 markings, 16826955 edges, 9967 markings/sec, 850 secs
lola: sara is running 855 secs || 8198266 markings, 16931018 edges, 9605 markings/sec, 855 secs
lola: sara is running 860 secs || 8246052 markings, 17033912 edges, 9557 markings/sec, 860 secs
lola: sara is running 865 secs || 8299875 markings, 17116034 edges, 10765 markings/sec, 865 secs
lola: sara is running 870 secs || 8354301 markings, 17197212 edges, 10885 markings/sec, 870 secs
lola: sara is running 875 secs || 8404071 markings, 17286216 edges, 9954 markings/sec, 875 secs
lola: sara is running 880 secs || 8458965 markings, 17365197 edges, 10979 markings/sec, 880 secs
lola: sara is running 885 secs || 8513771 markings, 17442696 edges, 10961 markings/sec, 885 secs
lola: sara is running 890 secs || 8568984 markings, 17520648 edges, 11043 markings/sec, 890 secs
lola: sara is running 895 secs || 8623546 markings, 17599851 edges, 10912 markings/sec, 895 secs
lola: sara is running 900 secs || 8675444 markings, 17684333 edges, 10380 markings/sec, 900 secs
lola: sara is running 905 secs || 8729004 markings, 17765257 edges, 10712 markings/sec, 905 secs
lola: sara is running 910 secs || 8780931 markings, 17850095 edges, 10385 markings/sec, 910 secs
lola: sara is running 915 secs || 8831578 markings, 17937624 edges, 10129 markings/sec, 915 secs
lola: sara is running 920 secs || 8885091 markings, 18021995 edges, 10703 markings/sec, 920 secs
lola: sara is running 925 secs || 8937529 markings, 18105472 edges, 10488 markings/sec, 925 secs
lola: sara is running 930 secs || 8989090 markings, 18190832 edges, 10312 markings/sec, 930 secs
lola: sara is running 935 secs || 9038249 markings, 18282955 edges, 9832 markings/sec, 935 secs
lola: sara is running 940 secs || 9086210 markings, 18376208 edges, 9592 markings/sec, 940 secs
lola: sara is running 945 secs || 9134691 markings, 18469842 edges, 9696 markings/sec, 945 secs
lola: sara is running 950 secs || 9182435 markings, 18562367 edges, 9549 markings/sec, 950 secs
lola: sara is running 955 secs || 9230615 markings, 18656462 edges, 9636 markings/sec, 955 secs
lola: sara is running 960 secs || 9277218 markings, 18753460 edges, 9321 markings/sec, 960 secs
lola: sara is running 965 secs || 9323701 markings, 18851654 edges, 9297 markings/sec, 965 secs
lola: sara is running 970 secs || 9369486 markings, 18952932 edges, 9157 markings/sec, 970 secs
lola: sara is running 975 secs || 9412692 markings, 19063225 edges, 8641 markings/sec, 975 secs
lola: sara is running 980 secs || 9448871 markings, 19183066 edges, 7236 markings/sec, 980 secs
lola: sara is running 985 secs || 9487794 markings, 19310256 edges, 7785 markings/sec, 985 secs
lola: sara is running 990 secs || 9524568 markings, 19436099 edges, 7355 markings/sec, 990 secs
lola: sara is running 995 secs || 9559332 markings, 19573964 edges, 6953 markings/sec, 995 secs
lola: sara is running 1000 secs || 9595535 markings, 19704235 edges, 7241 markings/sec, 1000 secs
lola: sara is running 1005 secs || 9631255 markings, 19838097 edges, 7144 markings/sec, 1005 secs
lola: sara is running 1010 secs || 9667046 markings, 19974667 edges, 7158 markings/sec, 1010 secs
lola: sara is running 1015 secs || 9702271 markings, 20111872 edges, 7045 markings/sec, 1015 secs
lola: sara is running 1020 secs || 9737491 markings, 20251251 edges, 7044 markings/sec, 1020 secs
lola: sara is running 1025 secs || 9774138 markings, 20387587 edges, 7329 markings/sec, 1025 secs
lola: sara is running 1030 secs || 9819967 markings, 20488839 edges, 9166 markings/sec, 1030 secs
lola: sara is running 1035 secs || 9865710 markings, 20589882 edges, 9149 markings/sec, 1035 secs
lola: sara is running 1040 secs || 9912027 markings, 20688762 edges, 9263 markings/sec, 1040 secs
lola: sara is running 1045 secs || 9958322 markings, 20787574 edges, 9259 markings/sec, 1045 secs
lola: sara is running 1050 secs || 10004605 markings, 20886171 edges, 9257 markings/sec, 1050 secs
lola: sara is running 1055 secs || 10056220 markings, 20990733 edges, 10323 markings/sec, 1055 secs
lola: sara is running 1060 secs || 10101129 markings, 21095245 edges, 8982 markings/sec, 1060 secs
lola: sara is running 1065 secs || 10149868 markings, 21205735 edges, 9748 markings/sec, 1065 secs
lola: sara is running 1070 secs || 10197400 markings, 21299943 edges, 9506 markings/sec, 1070 secs
lola: sara is running 1075 secs || 10246528 markings, 21392726 edges, 9826 markings/sec, 1075 secs
lola: sara is running 1080 secs || 10296905 markings, 21481039 edges, 10075 markings/sec, 1080 secs
lola: sara is running 1085 secs || 10350148 markings, 21558918 edges, 10649 markings/sec, 1085 secs
lola: sara is running 1090 secs || 10401526 markings, 21639940 edges, 10276 markings/sec, 1090 secs
lola: sara is running 1095 secs || 10450811 markings, 21725526 edges, 9857 markings/sec, 1095 secs
lola: sara is running 1100 secs || 10498326 markings, 21816399 edges, 9503 markings/sec, 1100 secs
lola: sara is running 1105 secs || 10537618 markings, 21924691 edges, 7858 markings/sec, 1105 secs
lola: sara is running 1110 secs || 10574081 markings, 22047518 edges, 7293 markings/sec, 1110 secs
lola: sara is running 1115 secs || 10614457 markings, 22162283 edges, 8075 markings/sec, 1115 secs
lola: sara is running 1120 secs || 10658884 markings, 22261363 edges, 8885 markings/sec, 1120 secs
lola: sara is running 1125 secs || 10703479 markings, 22360136 edges, 8919 markings/sec, 1125 secs
lola: sara is running 1130 secs || 10740976 markings, 22447672 edges, 7499 markings/sec, 1130 secs
lola: sara is running 1135 secs || 10785392 markings, 22549703 edges, 8883 markings/sec, 1135 secs
lola: sara is running 1140 secs || 10833790 markings, 22659453 edges, 9680 markings/sec, 1140 secs
lola: sara is running 1145 secs || 10880887 markings, 22753021 edges, 9419 markings/sec, 1145 secs
lola: sara is running 1150 secs || 10929644 markings, 22840387 edges, 9751 markings/sec, 1150 secs
lola: sara is running 1155 secs || 10981598 markings, 22919490 edges, 10391 markings/sec, 1155 secs
lola: sara is running 1160 secs || 11029616 markings, 23006266 edges, 9604 markings/sec, 1160 secs
lola: sara is running 1165 secs || 11072645 markings, 23107159 edges, 8606 markings/sec, 1165 secs
lola: sara is running 1170 secs || 11107745 markings, 23230615 edges, 7020 markings/sec, 1170 secs
lola: sara is running 1175 secs || 11147916 markings, 23344041 edges, 8034 markings/sec, 1175 secs
lola: sara is running 1180 secs || 11191943 markings, 23442060 edges, 8805 markings/sec, 1180 secs
lola: sara is running 1185 secs || 11235687 markings, 23540015 edges, 8749 markings/sec, 1185 secs
lola: sara is running 1190 secs || 11279390 markings, 23638101 edges, 8741 markings/sec, 1190 secs
lola: sara is running 1195 secs || 11320822 markings, 23745720 edges, 8286 markings/sec, 1195 secs
lola: sara is running 1200 secs || 11365163 markings, 23841502 edges, 8868 markings/sec, 1200 secs
lola: sara is running 1205 secs || 11416384 markings, 23920299 edges, 10244 markings/sec, 1205 secs
lola: sara is running 1210 secs || 11467618 markings, 23998845 edges, 10247 markings/sec, 1210 secs
lola: sara is running 1215 secs || 11514351 markings, 24085879 edges, 9347 markings/sec, 1215 secs
lola: sara is running 1220 secs || 11555743 markings, 24188635 edges, 8278 markings/sec, 1220 secs
lola: sara is running 1225 secs || 11589785 markings, 24311553 edges, 6808 markings/sec, 1225 secs
lola: sara is running 1230 secs || 11630685 markings, 24419015 edges, 8180 markings/sec, 1230 secs
lola: sara is running 1235 secs || 11674455 markings, 24516237 edges, 8754 markings/sec, 1235 secs
lola: sara is running 1240 secs || 11718097 markings, 24613662 edges, 8728 markings/sec, 1240 secs
lola: sara is running 1245 secs || 11761572 markings, 24711008 edges, 8695 markings/sec, 1245 secs
lola: sara is running 1250 secs || 11804810 markings, 24808457 edges, 8648 markings/sec, 1250 secs
lola: sara is running 1255 secs || 11848510 markings, 24905574 edges, 8740 markings/sec, 1255 secs
lola: sara is running 1260 secs || 11901996 markings, 25003637 edges, 10697 markings/sec, 1260 secs
lola: sara is running 1265 secs || 11944181 markings, 25132430 edges, 8437 markings/sec, 1265 secs
lola: sara is running 1270 secs || 11991761 markings, 25242755 edges, 9516 markings/sec, 1270 secs
lola: sara is running 1275 secs || 12037542 markings, 25355076 edges, 9156 markings/sec, 1275 secs
lola: sara is running 1280 secs || 12089440 markings, 25455474 edges, 10380 markings/sec, 1280 secs
lola: sara is running 1285 secs || 12139575 markings, 25563679 edges, 10027 markings/sec, 1285 secs
lola: sara is running 1290 secs || 12185309 markings, 25690564 edges, 9147 markings/sec, 1290 secs
lola: sara is running 1295 secs || 12231999 markings, 25807047 edges, 9338 markings/sec, 1295 secs
lola: sara is running 1300 secs || 12280767 markings, 25905298 edges, 9754 markings/sec, 1300 secs
lola: sara is running 1305 secs || 12330726 markings, 25987950 edges, 9992 markings/sec, 1305 secs
lola: sara is running 1310 secs || 12373840 markings, 26086174 edges, 8623 markings/sec, 1310 secs
lola: sara is running 1315 secs || 12408284 markings, 26208163 edges, 6889 markings/sec, 1315 secs
lola: sara is running 1320 secs || 12452956 markings, 26304236 edges, 8934 markings/sec, 1320 secs
lola: sara is running 1325 secs || 12496613 markings, 26400291 edges, 8731 markings/sec, 1325 secs
lola: sara is running 1330 secs || 12539786 markings, 26496854 edges, 8635 markings/sec, 1330 secs
lola: sara is running 1335 secs || 12582430 markings, 26594373 edges, 8529 markings/sec, 1335 secs
lola: sara is running 1340 secs || 12625686 markings, 26691132 edges, 8651 markings/sec, 1340 secs
lola: sara is running 1345 secs || 12673195 markings, 26800283 edges, 9502 markings/sec, 1345 secs
lola: sara is running 1350 secs || 12720029 markings, 26908951 edges, 9367 markings/sec, 1350 secs
lola: sara is running 1355 secs || 12765455 markings, 27019303 edges, 9085 markings/sec, 1355 secs
lola: sara is running 1360 secs || 12818224 markings, 27119472 edges, 10554 markings/sec, 1360 secs
lola: sara is running 1365 secs || 12864459 markings, 27218105 edges, 9247 markings/sec, 1365 secs
lola: sara is running 1370 secs || 12904468 markings, 27331677 edges, 8002 markings/sec, 1370 secs
lola: sara is running 1375 secs || 12957475 markings, 27422901 edges, 10601 markings/sec, 1375 secs
lola: sara is running 1380 secs || 13007355 markings, 27525316 edges, 9976 markings/sec, 1380 secs
lola: sara is running 1385 secs || 13056661 markings, 27636363 edges, 9861 markings/sec, 1385 secs
lola: sara is running 1390 secs || 13100037 markings, 27757092 edges, 8675 markings/sec, 1390 secs
lola: sara is running 1395 secs || 13148129 markings, 27851942 edges, 9618 markings/sec, 1395 secs
lola: sara is running 1400 secs || 13193142 markings, 27957505 edges, 9003 markings/sec, 1400 secs
lola: sara is running 1405 secs || 13239243 markings, 28055695 edges, 9220 markings/sec, 1405 secs
lola: sara is running 1410 secs || 13282486 markings, 28162399 edges, 8649 markings/sec, 1410 secs
lola: sara is running 1415 secs || 13332828 markings, 28255743 edges, 10068 markings/sec, 1415 secs
lola: sara is running 1420 secs || 13387134 markings, 28340861 edges, 10861 markings/sec, 1420 secs
lola: sara is running 1425 secs || 13440764 markings, 28434841 edges, 10726 markings/sec, 1425 secs
lola: sara is running 1430 secs || 13485297 markings, 28519794 edges, 8907 markings/sec, 1430 secs
lola: sara is running 1435 secs || 13532567 markings, 28624095 edges, 9454 markings/sec, 1435 secs
lola: sara is running 1440 secs || 13588810 markings, 28704858 edges, 11249 markings/sec, 1440 secs
lola: sara is running 1445 secs || 13642320 markings, 28796703 edges, 10702 markings/sec, 1445 secs
lola: sara is running 1450 secs || 13694209 markings, 28897995 edges, 10378 markings/sec, 1450 secs
lola: sara is running 1455 secs || 13741361 markings, 29003507 edges, 9430 markings/sec, 1455 secs
lola: sara is running 1460 secs || 13797518 markings, 29085640 edges, 11231 markings/sec, 1460 secs
lola: sara is running 1465 secs || 13847897 markings, 29187470 edges, 10076 markings/sec, 1465 secs
lola: sara is running 1470 secs || 13901770 markings, 29285673 edges, 10775 markings/sec, 1470 secs
lola: sara is running 1475 secs || 13951802 markings, 29386230 edges, 10006 markings/sec, 1475 secs
lola: sara is running 1480 secs || 14005799 markings, 29476663 edges, 10799 markings/sec, 1480 secs
lola: sara is running 1485 secs || 14055484 markings, 29581727 edges, 9937 markings/sec, 1485 secs
lola: sara is running 1490 secs || 14109656 markings, 29672418 edges, 10834 markings/sec, 1490 secs
lola: sara is running 1495 secs || 14157991 markings, 29779474 edges, 9667 markings/sec, 1495 secs
lola: sara is running 1500 secs || 14208668 markings, 29882525 edges, 10135 markings/sec, 1500 secs
lola: sara is running 1505 secs || 14262274 markings, 29974388 edges, 10721 markings/sec, 1505 secs
lola: sara is running 1510 secs || 14311679 markings, 30081585 edges, 9881 markings/sec, 1510 secs
lola: sara is running 1515 secs || 14366903 markings, 30169356 edges, 11045 markings/sec, 1515 secs
lola: sara is running 1520 secs || 14412972 markings, 30286049 edges, 9214 markings/sec, 1520 secs
lola: sara is running 1525 secs || 14467772 markings, 30376587 edges, 10960 markings/sec, 1525 secs
lola: sara is running 1530 secs || 14521163 markings, 30476750 edges, 10678 markings/sec, 1530 secs
lola: sara is running 1535 secs || 14575248 markings, 30564847 edges, 10817 markings/sec, 1535 secs
lola: sara is running 1540 secs || 14632784 markings, 30643536 edges, 11507 markings/sec, 1540 secs
lola: sara is running 1545 secs || 14687900 markings, 30737116 edges, 11023 markings/sec, 1545 secs
lola: sara is running 1550 secs || 14743938 markings, 30821931 edges, 11208 markings/sec, 1550 secs
lola: sara is running 1555 secs || 14801076 markings, 30901392 edges, 11428 markings/sec, 1555 secs
lola: sara is running 1560 secs || 14854304 markings, 31001160 edges, 10646 markings/sec, 1560 secs
lola: sara is running 1565 secs || 14907765 markings, 31099305 edges, 10692 markings/sec, 1565 secs
lola: sara is running 1570 secs || 14958716 markings, 31205857 edges, 10190 markings/sec, 1570 secs
lola: sara is running 1575 secs || 15013063 markings, 31297132 edges, 10869 markings/sec, 1575 secs
lola: sara is running 1580 secs || 15069614 markings, 31377948 edges, 11310 markings/sec, 1580 secs
lola: sara is running 1585 secs || 15126689 markings, 31460143 edges, 11415 markings/sec, 1585 secs
lola: sara is running 1590 secs || 15179638 markings, 31549351 edges, 10590 markings/sec, 1590 secs
lola: sara is running 1595 secs || 15233694 markings, 31637616 edges, 10811 markings/sec, 1595 secs
lola: sara is running 1600 secs || 15289061 markings, 31722855 edges, 11073 markings/sec, 1600 secs
lola: sara is running 1605 secs || 15342917 markings, 31810608 edges, 10771 markings/sec, 1605 secs
lola: sara is running 1610 secs || 15396671 markings, 31907201 edges, 10751 markings/sec, 1610 secs
lola: sara is running 1615 secs || 15450603 markings, 31995842 edges, 10786 markings/sec, 1615 secs
lola: sara is running 1620 secs || 15506235 markings, 32080604 edges, 11126 markings/sec, 1620 secs
lola: sara is running 1625 secs || 15559755 markings, 32169743 edges, 10704 markings/sec, 1625 secs
lola: sara is running 1630 secs || 15616272 markings, 32251424 edges, 11303 markings/sec, 1630 secs
lola: sara is running 1635 secs || 15667919 markings, 32349081 edges, 10329 markings/sec, 1635 secs
lola: sara is running 1640 secs || 15719319 markings, 32450745 edges, 10280 markings/sec, 1640 secs
lola: sara is running 1645 secs || 15767804 markings, 32551063 edges, 9697 markings/sec, 1645 secs
lola: sara is running 1650 secs || 15816854 markings, 32648713 edges, 9810 markings/sec, 1650 secs
lola: sara is running 1655 secs || 15866223 markings, 32748855 edges, 9874 markings/sec, 1655 secs
lola: sara is running 1660 secs || 15918082 markings, 32844197 edges, 10372 markings/sec, 1660 secs
lola: sara is running 1665 secs || 15970775 markings, 32936216 edges, 10539 markings/sec, 1665 secs
lola: sara is running 1670 secs || 16026700 markings, 33020102 edges, 11185 markings/sec, 1670 secs
lola: sara is running 1675 secs || 16080044 markings, 33108821 edges, 10669 markings/sec, 1675 secs
lola: sara is running 1680 secs || 16128839 markings, 33191437 edges, 9759 markings/sec, 1680 secs
lola: sara is running 1685 secs || 16180652 markings, 33273175 edges, 10363 markings/sec, 1685 secs
lola: sara is running 1690 secs || 16234855 markings, 33360134 edges, 10841 markings/sec, 1690 secs
lola: sara is running 1695 secs || 16279075 markings, 33441289 edges, 8844 markings/sec, 1695 secs
lola: sara is running 1700 secs || 16330352 markings, 33535238 edges, 10255 markings/sec, 1700 secs
lola: sara is running 1705 secs || 16382158 markings, 33628006 edges, 10361 markings/sec, 1705 secs
lola: sara is running 1710 secs || 16434031 markings, 33721098 edges, 10375 markings/sec, 1710 secs
lola: sara is running 1715 secs || 16483894 markings, 33818704 edges, 9973 markings/sec, 1715 secs
lola: sara is running 1720 secs || 16529799 markings, 33926461 edges, 9181 markings/sec, 1720 secs
lola: sara is running 1725 secs || 16578848 markings, 34026009 edges, 9810 markings/sec, 1725 secs
lola: sara is running 1730 secs || 16620237 markings, 34114504 edges, 8278 markings/sec, 1730 secs
lola: sara is running 1735 secs || 16668828 markings, 34218496 edges, 9718 markings/sec, 1735 secs
lola: sara is running 1740 secs || 16713382 markings, 34331448 edges, 8911 markings/sec, 1740 secs
lola: sara is running 1745 secs || 16754697 markings, 34454511 edges, 8263 markings/sec, 1745 secs
lola: sara is running 1750 secs || 16792322 markings, 34584323 edges, 7525 markings/sec, 1750 secs
lola: sara is running 1755 secs || 16830408 markings, 34725659 edges, 7617 markings/sec, 1755 secs
lola: sara is running 1760 secs || 16870892 markings, 34856803 edges, 8097 markings/sec, 1760 secs
lola: sara is running 1765 secs || 16918803 markings, 34959260 edges, 9582 markings/sec, 1765 secs
lola: sara is running 1770 secs || 16965887 markings, 35064219 edges, 9417 markings/sec, 1770 secs
lola: sara is running 1775 secs || 17011571 markings, 35172851 edges, 9137 markings/sec, 1775 secs
lola: sara is running 1780 secs || 17059582 markings, 35275355 edges, 9602 markings/sec, 1780 secs
lola: sara is running 1785 secs || 17111682 markings, 35375556 edges, 10420 markings/sec, 1785 secs
lola: sara is running 1790 secs || 17166658 markings, 35468477 edges, 10995 markings/sec, 1790 secs
lola: sara is running 1795 secs || 17220268 markings, 35566027 edges, 10722 markings/sec, 1795 secs
lola: sara is running 1800 secs || 17278678 markings, 35649800 edges, 11682 markings/sec, 1800 secs
lola: sara is running 1805 secs || 17337144 markings, 35733759 edges, 11693 markings/sec, 1805 secs
lola: sara is running 1810 secs || 17394171 markings, 35821537 edges, 11405 markings/sec, 1810 secs
lola: sara is running 1815 secs || 17450362 markings, 35911680 edges, 11238 markings/sec, 1815 secs
lola: sara is running 1820 secs || 17505481 markings, 36003867 edges, 11024 markings/sec, 1820 secs
lola: sara is running 1825 secs || 17558423 markings, 36101661 edges, 10588 markings/sec, 1825 secs
lola: sara is running 1830 secs || 17611008 markings, 36200941 edges, 10517 markings/sec, 1830 secs
lola: sara is running 1835 secs || 17661417 markings, 36308096 edges, 10082 markings/sec, 1835 secs
lola: sara is running 1840 secs || 17704501 markings, 36431437 edges, 8617 markings/sec, 1840 secs
lola: sara is running 1845 secs || 17745602 markings, 36570920 edges, 8220 markings/sec, 1845 secs
lola: sara is running 1850 secs || 17785477 markings, 36715145 edges, 7975 markings/sec, 1850 secs
lola: sara is running 1855 secs || 17824512 markings, 36862959 edges, 7807 markings/sec, 1855 secs
lola: sara is running 1860 secs || 17872969 markings, 36979940 edges, 9691 markings/sec, 1860 secs
lola: sara is running 1865 secs || 17922948 markings, 37089115 edges, 9996 markings/sec, 1865 secs
lola: sara is running 1870 secs || 17972644 markings, 37199163 edges, 9939 markings/sec, 1870 secs
lola: sara is running 1875 secs || 18025556 markings, 37298352 edges, 10582 markings/sec, 1875 secs
lola: sara is running 1880 secs || 18082428 markings, 37384907 edges, 11374 markings/sec, 1880 secs
lola: sara is running 1885 secs || 18138494 markings, 37472598 edges, 11213 markings/sec, 1885 secs
lola: sara is running 1890 secs || 18194379 markings, 37561579 edges, 11177 markings/sec, 1890 secs
lola: sara is running 1895 secs || 18246663 markings, 37659377 edges, 10457 markings/sec, 1895 secs
lola: sara is running 1900 secs || 18297607 markings, 37760382 edges, 10189 markings/sec, 1900 secs
lola: sara is running 1905 secs || 18344340 markings, 37874952 edges, 9347 markings/sec, 1905 secs
lola: sara is running 1910 secs || 18384551 markings, 38009975 edges, 8042 markings/sec, 1910 secs
lola: sara is running 1915 secs || 18422808 markings, 38157528 edges, 7651 markings/sec, 1915 secs
lola: sara is running 1920 secs || 18464676 markings, 38293968 edges, 8374 markings/sec, 1920 secs
lola: sara is running 1925 secs || 18514386 markings, 38401163 edges, 9942 markings/sec, 1925 secs
lola: sara is running 1930 secs || 18563517 markings, 38509850 edges, 9826 markings/sec, 1930 secs
lola: sara is running 1935 secs || 18615855 markings, 38607027 edges, 10468 markings/sec, 1935 secs
lola: sara is running 1940 secs || 18667203 markings, 38707147 edges, 10270 markings/sec, 1940 secs
lola: sara is running 1945 secs || 18718063 markings, 38812343 edges, 10172 markings/sec, 1945 secs
lola: sara is running 1950 secs || 18764737 markings, 38930153 edges, 9335 markings/sec, 1950 secs
lola: sara is running 1955 secs || 18815817 markings, 39037828 edges, 10216 markings/sec, 1955 secs
lola: sara is running 1960 secs || 18862603 markings, 39157127 edges, 9357 markings/sec, 1960 secs
lola: sara is running 1965 secs || 18913897 markings, 39258718 edges, 10259 markings/sec, 1965 secs
lola: sara is running 1970 secs || 18964708 markings, 39360623 edges, 10162 markings/sec, 1970 secs
lola: sara is running 1975 secs || 19014744 markings, 39462542 edges, 10007 markings/sec, 1975 secs
lola: sara is running 1980 secs || 19055463 markings, 39588730 edges, 8144 markings/sec, 1980 secs
lola: sara is running 1985 secs || 19101162 markings, 39695549 edges, 9140 markings/sec, 1985 secs
lola: sara is running 1990 secs || 19144268 markings, 39815554 edges, 8621 markings/sec, 1990 secs
lola: sara is running 1995 secs || 19182046 markings, 39954630 edges, 7556 markings/sec, 1995 secs
lola: sara is running 2000 secs || 19220496 markings, 40094081 edges, 7690 markings/sec, 2000 secs
lola: sara is running 2005 secs || 19268181 markings, 40202175 edges, 9537 markings/sec, 2005 secs
lola: sara is running 2010 secs || 19323276 markings, 40298190 edges, 11019 markings/sec, 2010 secs
lola: sara is running 2015 secs || 19373040 markings, 40409376 edges, 9953 markings/sec, 2015 secs
lola: sara is running 2020 secs || 19419141 markings, 40528791 edges, 9220 markings/sec, 2020 secs
lola: sara is running 2025 secs || 19455788 markings, 40672862 edges, 7329 markings/sec, 2025 secs
lola: sara is running 2030 secs || 19492525 markings, 40819259 edges, 7347 markings/sec, 2030 secs
lola: sara is running 2035 secs || 19529499 markings, 40961804 edges, 7395 markings/sec, 2035 secs
lola: sara is running 2040 secs || 19566271 markings, 41106949 edges, 7354 markings/sec, 2040 secs
lola: sara is running 2045 secs || 19604277 markings, 41251600 edges, 7601 markings/sec, 2045 secs
lola: sara is running 2050 secs || 19641327 markings, 41397924 edges, 7410 markings/sec, 2050 secs
lola: sara is running 2055 secs || 19678728 markings, 41541314 edges, 7480 markings/sec, 2055 secs
lola: sara is running 2060 secs || 19721001 markings, 41669599 edges, 8455 markings/sec, 2060 secs
lola: sara is running 2065 secs || 19772940 markings, 41756466 edges, 10388 markings/sec, 2065 secs
lola: sara is running 2070 secs || 19817784 markings, 41869207 edges, 8969 markings/sec, 2070 secs
lola: sara is running 2075 secs || 19866059 markings, 41964968 edges, 9655 markings/sec, 2075 secs
lola: sara is running 2080 secs || 19913467 markings, 42061158 edges, 9482 markings/sec, 2080 secs
lola: sara is running 2085 secs || 19964525 markings, 42159748 edges, 10212 markings/sec, 2085 secs
lola: sara is running 2090 secs || 20013049 markings, 42272241 edges, 9705 markings/sec, 2090 secs
lola: sara is running 2095 secs || 20060939 markings, 42377506 edges, 9578 markings/sec, 2095 secs
lola: sara is running 2100 secs || 20114452 markings, 42460392 edges, 10703 markings/sec, 2100 secs
lola: sara is running 2105 secs || 20161181 markings, 42563153 edges, 9346 markings/sec, 2105 secs
lola: sara is running 2110 secs || 20209166 markings, 42664677 edges, 9597 markings/sec, 2110 secs
lola: sara is running 2115 secs || 20257086 markings, 42761734 edges, 9584 markings/sec, 2115 secs
lola: sara is running 2120 secs || 20303819 markings, 42860296 edges, 9347 markings/sec, 2120 secs
lola: sara is running 2125 secs || 20357364 markings, 42939583 edges, 10709 markings/sec, 2125 secs
lola: sara is running 2130 secs || 20404345 markings, 43038207 edges, 9396 markings/sec, 2130 secs
lola: sara is running 2135 secs || 20451243 markings, 43129604 edges, 9380 markings/sec, 2135 secs
lola: sara is running 2140 secs || 20498616 markings, 43225067 edges, 9475 markings/sec, 2140 secs
lola: sara is running 2145 secs || 20551304 markings, 43307747 edges, 10538 markings/sec, 2145 secs
lola: sara is running 2150 secs || 20598209 markings, 43406642 edges, 9381 markings/sec, 2150 secs
lola: sara is running 2155 secs || 20645524 markings, 43498480 edges, 9463 markings/sec, 2155 secs
lola: sara is running 2160 secs || 20694688 markings, 43592322 edges, 9833 markings/sec, 2160 secs
lola: sara is running 2165 secs || 20747642 markings, 43677130 edges, 10591 markings/sec, 2165 secs
lola: sara is running 2170 secs || 20792622 markings, 43791496 edges, 8996 markings/sec, 2170 secs
lola: sara is running 2175 secs || 20841695 markings, 43886670 edges, 9815 markings/sec, 2175 secs
lola: sara is running 2180 secs || 20888667 markings, 43985148 edges, 9394 markings/sec, 2180 secs
lola: sara is running 2185 secs || 20941860 markings, 44068637 edges, 10639 markings/sec, 2185 secs
lola: sara is running 2190 secs || 20989651 markings, 44168014 edges, 9558 markings/sec, 2190 secs
lola: sara is running 2195 secs || 21037232 markings, 44260208 edges, 9516 markings/sec, 2195 secs
lola: sara is running 2200 secs || 21085399 markings, 44355005 edges, 9633 markings/sec, 2200 secs
lola: sara is running 2205 secs || 21135317 markings, 44452615 edges, 9984 markings/sec, 2205 secs
lola: sara is running 2210 secs || 21184718 markings, 44547823 edges, 9880 markings/sec, 2210 secs
lola: sara is running 2215 secs || 21235224 markings, 44642275 edges, 10101 markings/sec, 2215 secs
lola: sara is running 2220 secs || 21283613 markings, 44742971 edges, 9678 markings/sec, 2220 secs
lola: sara is running 2225 secs || 21331670 markings, 44837456 edges, 9611 markings/sec, 2225 secs
lola: sara is running 2230 secs || 21384409 markings, 44925014 edges, 10548 markings/sec, 2230 secs
lola: sara is running 2235 secs || 21432039 markings, 45028085 edges, 9526 markings/sec, 2235 secs
lola: sara is running 2240 secs || 21479456 markings, 45131458 edges, 9483 markings/sec, 2240 secs
lola: sara is running 2245 secs || 21527952 markings, 45229956 edges, 9699 markings/sec, 2245 secs
lola: sara is running 2250 secs || 21582056 markings, 45309283 edges, 10821 markings/sec, 2250 secs
lola: sara is running 2255 secs || 21632608 markings, 45396465 edges, 10110 markings/sec, 2255 secs
lola: sara is running 2260 secs || 21684510 markings, 45479724 edges, 10380 markings/sec, 2260 secs
lola: sara is running 2265 secs || 21739039 markings, 45555284 edges, 10906 markings/sec, 2265 secs
lola: sara is running 2270 secs || 21793791 markings, 45632732 edges, 10950 markings/sec, 2270 secs
lola: sara is running 2275 secs || 21848790 markings, 45710015 edges, 11000 markings/sec, 2275 secs
lola: sara is running 2280 secs || 21902052 markings, 45788839 edges, 10652 markings/sec, 2280 secs
lola: sara is running 2285 secs || 21953313 markings, 45872933 edges, 10252 markings/sec, 2285 secs
lola: sara is running 2290 secs || 22006880 markings, 45953504 edges, 10713 markings/sec, 2290 secs
lola: sara is running 2295 secs || 22057217 markings, 46038377 edges, 10067 markings/sec, 2295 secs
lola: sara is running 2300 secs || 22107305 markings, 46124082 edges, 10018 markings/sec, 2300 secs
lola: sara is running 2305 secs || 22160069 markings, 46207481 edges, 10553 markings/sec, 2305 secs
lola: sara is running 2310 secs || 22212230 markings, 46290813 edges, 10432 markings/sec, 2310 secs
lola: sara is running 2315 secs || 22262880 markings, 46378195 edges, 10130 markings/sec, 2315 secs
lola: sara is running 2320 secs || 22310365 markings, 46471973 edges, 9497 markings/sec, 2320 secs
lola: sara is running 2325 secs || 22359307 markings, 46562524 edges, 9788 markings/sec, 2325 secs
lola: sara is running 2330 secs || 22400525 markings, 46646654 edges, 8244 markings/sec, 2330 secs
lola: sara is running 2335 secs || 22448791 markings, 46737560 edges, 9653 markings/sec, 2335 secs
lola: sara is running 2340 secs || 22496828 markings, 46831374 edges, 9607 markings/sec, 2340 secs
lola: sara is running 2345 secs || 22543487 markings, 46927978 edges, 9332 markings/sec, 2345 secs
lola: sara is running 2350 secs || 22589803 markings, 47027744 edges, 9263 markings/sec, 2350 secs
lola: sara is running 2355 secs || 22629811 markings, 47115277 edges, 8002 markings/sec, 2355 secs
lola: sara is running 2360 secs || 22672580 markings, 47225205 edges, 8554 markings/sec, 2360 secs
lola: sara is running 2365 secs || 22708729 markings, 47345560 edges, 7230 markings/sec, 2365 secs
lola: sara is running 2370 secs || 22748057 markings, 47473606 edges, 7866 markings/sec, 2370 secs
lola: sara is running 2375 secs || 22784854 markings, 47600192 edges, 7359 markings/sec, 2375 secs
lola: sara is running 2380 secs || 22819816 markings, 47738780 edges, 6992 markings/sec, 2380 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes no no no yes unknown yes no yes no yes yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no no yes unknown yes no yes no yes yes yes yes
lola:
preliminary result: no no yes no no no yes unknown yes no yes no yes yes yes yes
lola: memory consumption: 3879820 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no no yes unknown yes no yes no yes yes yes yes
lola: memory consumption: 3879820 KB
lola: time consumption: 3569 seconds

BK_STOP 1526630132802

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/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 lola"
echo " Input is CloudDeployment-PT-6b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-smll-152646357400259"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;