MCC'2022- Execution of r144-tall-165271830800122

About the Execution of 2021-gold for JoinFreeModules-PT-0200

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
665.508	112870.00	128815.00	512.90	T	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r144-tall-165271830800122.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is JoinFreeModules-PT-0200, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-165271830800122
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 7.7K Apr 30 02:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Apr 30 02:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Apr 30 02:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 30 02:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K May 9 08:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 9 08:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 9 08:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 9 08:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 9 08:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 9 08:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 613K May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1652741079920

Running Version 0
[2022-05-16 22:44:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-16 22:44:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-16 22:44:41] [INFO ] Load time of PNML (sax parser for PT used): 117 ms
[2022-05-16 22:44:41] [INFO ] Transformed 1001 places.
[2022-05-16 22:44:41] [INFO ] Transformed 1601 transitions.
[2022-05-16 22:44:41] [INFO ] Parsed PT model containing 1001 places and 1601 transitions in 164 ms.
Starting structural reductions, iteration 0 : 1001/1001 places, 1601/1601 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1000 transition count 1601
Applied a total of 1 rules in 87 ms. Remains 1000 /1001 variables (removed 1) and now considering 1601/1601 (removed 0) transitions.
// Phase 1: matrix 1601 rows 1000 cols
[2022-05-16 22:44:41] [INFO ] Computed 200 place invariants in 32 ms
[2022-05-16 22:44:42] [INFO ] Dead Transitions using invariants and state equation in 782 ms returned []
// Phase 1: matrix 1601 rows 1000 cols
[2022-05-16 22:44:42] [INFO ] Computed 200 place invariants in 7 ms
[2022-05-16 22:44:42] [INFO ] Implicit Places using invariants in 157 ms returned []
// Phase 1: matrix 1601 rows 1000 cols
[2022-05-16 22:44:42] [INFO ] Computed 200 place invariants in 9 ms
[2022-05-16 22:44:43] [INFO ] Implicit Places using invariants and state equation in 501 ms returned []
Implicit Place search using SMT with State Equation took 659 ms to find 0 implicit places.
// Phase 1: matrix 1601 rows 1000 cols
[2022-05-16 22:44:43] [INFO ] Computed 200 place invariants in 5 ms
[2022-05-16 22:44:43] [INFO ] Dead Transitions using invariants and state equation in 520 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1000/1001 places, 1601/1601 transitions.
Discarding 800 transitions out of 1601. Remains 801
[2022-05-16 22:44:43] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10079 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=94 ) properties (out of 800) seen :102
Running SMT prover for 698 properties.
// Phase 1: matrix 1601 rows 1000 cols
[2022-05-16 22:44:44] [INFO ] Computed 200 place invariants in 14 ms
[2022-05-16 22:44:54] [INFO ] [Real]Absence check using 200 positive place invariants in 37 ms returned sat
[2022-05-16 22:45:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 22:45:09] [INFO ] [Real]Absence check using state equation in 2681 ms returned unsat :0 sat :658 real:40
Attempting to minimize the solution found.
Minimization took 1 ms.
[2022-05-16 22:45:09] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :658 real:40
[2022-05-16 22:45:19] [INFO ] [Nat]Absence check using 200 positive place invariants in 50 ms returned sat
[2022-05-16 22:45:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 22:45:34] [INFO ] [Nat]Absence check using state equation in 3508 ms returned unsat :0 sat :698
Attempting to minimize the solution found.
Minimization took 1 ms.
[2022-05-16 22:45:34] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :698
Fused 698 Parikh solutions to 30 different solutions.
Interrupted Parikh walk after 16457 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 698) seen :244
Interrupted Parikh walk after 18989 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=18 ) properties (out of 454) seen :3
Interrupted Parikh walk after 19373 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=19 ) properties (out of 451) seen :0
Interrupted Parikh walk after 20413 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 451) seen :4
Interrupted Parikh walk after 19709 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=19 ) properties (out of 447) seen :1
Interrupted Parikh walk after 20317 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 446) seen :0
Interrupted Parikh walk after 20414 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 446) seen :1
Interrupted Parikh walk after 20641 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 445) seen :0
Interrupted Parikh walk after 20882 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 445) seen :1
Interrupted Parikh walk after 20877 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 444) seen :2
Interrupted Parikh walk after 20473 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 442) seen :1
Interrupted Parikh walk after 21060 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 441) seen :0
Interrupted Parikh walk after 21022 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 441) seen :2
Interrupted Parikh walk after 21039 steps, including 0 resets, run timeout after 1005 ms. (steps per millisecond=20 ) properties (out of 439) seen :1
Interrupted Parikh walk after 21262 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 438) seen :2
Interrupted Parikh walk after 20934 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=20 ) properties (out of 436) seen :0
Interrupted Parikh walk after 21244 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 436) seen :0
Interrupted Parikh walk after 21136 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 436) seen :2
Interrupted Parikh walk after 21281 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 434) seen :0
Interrupted Parikh walk after 21133 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 434) seen :1
Interrupted Parikh walk after 21564 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 433) seen :1
Interrupted Parikh walk after 21236 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 432) seen :2
Interrupted Parikh walk after 21566 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 430) seen :0
Interrupted Parikh walk after 21713 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 430) seen :2
Interrupted Parikh walk after 21333 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 428) seen :0
Interrupted Parikh walk after 21667 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 428) seen :1
Interrupted Parikh walk after 21792 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 427) seen :2
Interrupted Parikh walk after 21819 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 425) seen :0
Interrupted Parikh walk after 21711 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=21 ) properties (out of 425) seen :1
Support contains 424 out of 1000 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1000/1000 places, 1601/1601 transitions.
Graph (complete) has 2400 edges and 1000 vertex of which 895 are kept as prefixes of interest. Removing 105 places using SCC suffix rule.9 ms
Discarding 105 places :
Also discarding 168 output transitions
Drop transitions removed 168 transitions
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 895 transition count 1432
Applied a total of 2 rules in 74 ms. Remains 895 /1000 variables (removed 105) and now considering 1432/1601 (removed 169) transitions.
// Phase 1: matrix 1432 rows 895 cols
[2022-05-16 22:46:03] [INFO ] Computed 179 place invariants in 3 ms
[2022-05-16 22:46:03] [INFO ] Dead Transitions using invariants and state equation in 586 ms returned []
Finished structural reductions, in 1 iterations. Remains : 895/1000 places, 1432/1601 transitions.
[2022-05-16 22:46:04] [INFO ] Flatten gal took : 107 ms
[2022-05-16 22:46:04] [INFO ] Flatten gal took : 60 ms
[2022-05-16 22:46:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11799328005587542251.gal : 27 ms
[2022-05-16 22:46:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9464785616999058394.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11799328005587542251.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9464785616999058394.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11799328005587542251.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9464785616999058394.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality9464785616999058394.prop.
Reachability property qltransition_91 is true.
SDD proceeding with computation,423 properties remain. new max is 2
SDD size :1 after 8
SDD proceeding with computation,423 properties remain. new max is 4
SDD size :8 after 17
SDD proceeding with computation,423 properties remain. new max is 8
SDD size :17 after 39
SDD proceeding with computation,423 properties remain. new max is 16
SDD size :39 after 99
SDD proceeding with computation,423 properties remain. new max is 32
SDD size :99 after 286
SDD proceeding with computation,423 properties remain. new max is 64
SDD size :286 after 924
SDD proceeding with computation,423 properties remain. new max is 128
SDD size :924 after 3242
SDD proceeding with computation,423 properties remain. new max is 256
SDD size :3242 after 10925
SDD proceeding with computation,423 properties remain. new max is 512
SDD size :10925 after 19942
SDD proceeding with computation,423 properties remain. new max is 1024
SDD size :19942 after 4.87564e+06
SDD proceeding with computation,423 properties remain. new max is 2048
SDD size :4.87564e+06 after 1.45683e+07
Detected timeout of ITS tools.
[2022-05-16 22:46:19] [INFO ] Flatten gal took : 48 ms
[2022-05-16 22:46:19] [INFO ] Applying decomposition
[2022-05-16 22:46:19] [INFO ] Flatten gal took : 47 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph12147259691926991541.txt, -o, /tmp/graph12147259691926991541.bin, -w, /tmp/graph12147259691926991541.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph12147259691926991541.bin, -l, -1, -v, -w, /tmp/graph12147259691926991541.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-16 22:46:19] [INFO ] Decomposing Gal with order
[2022-05-16 22:46:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 22:46:19] [INFO ] Flatten gal took : 52 ms
[2022-05-16 22:46:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2022-05-16 22:46:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7284933888371982950.gal : 6 ms
[2022-05-16 22:46:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8807437920583122888.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7284933888371982950.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8807437920583122888.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7284933888371982950.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8807437920583122888.prop --nowitness
Loading property file /tmp/ReachabilityCardinality8807437920583122888.prop.
SDD proceeding with computation,423 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,423 properties remain. new max is 8
SDD size :8 after 25
SDD proceeding with computation,423 properties remain. new max is 16
SDD size :25 after 76
SDD proceeding with computation,423 properties remain. new max is 32
SDD size :76 after 246
SDD proceeding with computation,423 properties remain. new max is 64
SDD size :246 after 851
SDD proceeding with computation,423 properties remain. new max is 128
SDD size :851 after 3104
SDD proceeding with computation,423 properties remain. new max is 256
SDD size :3104 after 10755
SDD proceeding with computation,423 properties remain. new max is 512
SDD size :10755 after 19900
SDD proceeding with computation,423 properties remain. new max is 1024
SDD size :19900 after 4.87563e+06
SDD proceeding with computation,423 properties remain. new max is 2048
SDD size :4.87563e+06 after 1.45683e+07
Reachability property qltransition_115 is true.
Reachability property qltransition_113 is true.
Reachability property qltransition_112 is true.
Reachability property qltransition_111 is true.
Reachability property qltransition_104 is true.
Reachability property qltransition_103 is true.
Reachability property qltransition_99 is true.
Reachability property qltransition_97 is true.
SDD proceeding with computation,415 properties remain. new max is 2048
SDD size :1.45683e+07 after 2.30135e+27
SDD proceeding with computation,415 properties remain. new max is 4096
SDD size :2.30135e+27 after 7.89442e+30
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,8.046e+1408,8.81602,142712,181,1419,4119,339665,818,0,74,399420,0
Total reachable state count : 8.045998343831958497950893803002343112827e+1408

Verifying 423 reachability properties.
Reachability property qltransition_97 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_97,1.08293e+1401,8.82323,142712,182,1423,4119,339665,819,0,76,399420,0
Reachability property qltransition_99 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_99,1.08293e+1401,8.83012,142712,182,1423,4119,339665,820,0,77,399420,0
Reachability property qltransition_103 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_103,1.44387e+1407,8.83699,142712,182,1420,4119,339665,821,0,78,399420,0
Reachability property qltransition_104 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_104,2.17657e+1405,8.84391,142712,182,1421,4119,339665,822,0,79,399420,0
Reachability property qltransition_111 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_111,1.44387e+1407,8.85066,142712,182,1420,4119,339665,823,0,79,399420,0
Reachability property qltransition_112 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_112,2.17657e+1405,8.8573,142712,182,1421,4119,339665,824,0,79,399420,0
Reachability property qltransition_113 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_113,1.08293e+1401,8.86398,142712,182,1423,4119,339665,825,0,79,399420,0
Reachability property qltransition_115 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_115,1.08293e+1401,8.87109,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_121 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_121,1.08293e+1401,8.87797,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_123 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_123,1.08293e+1401,8.88473,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_129 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_129,1.08293e+1401,8.89141,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_131 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_131,1.08293e+1401,8.89823,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_137 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_137,1.08293e+1401,8.90501,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_139 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_139,1.08293e+1401,8.91191,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_145 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_145,1.08293e+1401,8.91883,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_151 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_151,1.44387e+1407,8.92568,142712,182,1420,4119,339665,826,0,79,399420,0
Reachability property qltransition_152 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_152,2.17657e+1405,8.93319,142712,182,1421,4119,339665,826,0,79,399420,0
Reachability property qltransition_153 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_153,1.08293e+1401,8.94055,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_155 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_155,1.08293e+1401,8.94728,142712,182,1423,4119,339665,826,0,79,399420,0
Reachability property qltransition_159 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_159,1.44387e+1407,8.9541,142712,182,1420,4119,339665,826,0,79,399420,0
Reachability property qltransition_160 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_160,2.17657e+1405,8.96088,142712,182,1421,4119,339665,826,0,79,399420,0
Reachability property qltransition_161 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_161,1.08293e+1401,8.96768,142712,182,1423,4199,339665,826,0,79,399420,0
Reachability property qltransition_163 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_163,1.08293e+1401,8.97445,142712,182,1423,4369,339665,826,0,79,399420,0
Reachability property qltransition_169 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_169,1.08293e+1401,8.98121,142712,182,1423,4538,339665,826,0,79,399420,0
Reachability property qltransition_171 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_171,1.08293e+1401,8.98801,142712,182,1423,4707,339665,826,0,79,399420,0
Reachability property qltransition_175 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_175,1.44387e+1407,8.99484,142712,182,1420,4876,339665,826,0,79,399420,0
Reachability property qltransition_176 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_176,2.17657e+1405,9.00165,142712,182,1421,5045,339665,826,0,79,399420,0
Reachability property qltransition_177 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_177,1.08293e+1401,9.0084,142712,182,1423,5213,339665,826,0,79,399420,0
Reachability property qltransition_179 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_179,1.08293e+1401,9.01519,142712,182,1423,5381,339665,826,0,79,399420,0
Reachability property qltransition_185 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_185,1.08293e+1401,9.02203,142712,182,1423,5548,339665,826,0,79,399420,0
Reachability property qltransition_187 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_187,1.08293e+1401,9.02891,142712,182,1423,5715,339665,826,0,79,399420,0
Reachability property qltransition_193 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_193,1.08293e+1401,9.03576,142712,182,1423,5881,339665,826,0,79,399420,0
Reachability property qltransition_201 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_201,1.08293e+1401,9.04275,142712,182,1423,6046,339665,826,0,79,399420,0
Reachability property qltransition_203 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_203,1.08293e+1401,9.04964,142712,182,1423,6211,339665,826,0,79,399420,0
Reachability property qltransition_209 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_209,1.08293e+1401,9.05648,142712,182,1423,6375,339665,826,0,79,399420,0
Reachability property qltransition_211 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_211,1.08293e+1401,9.06337,142712,182,1423,6539,339665,826,0,79,399420,0
Reachability property qltransition_217 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_217,1.08293e+1401,9.07188,142712,182,1423,6702,339665,826,0,79,399420,0
Reachability property qltransition_219 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_219,1.08293e+1401,9.07947,142712,182,1423,6865,339665,826,0,79,399420,0
Reachability property qltransition_225 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_225,1.08293e+1401,9.08632,142712,182,1423,7027,339665,826,0,79,399420,0
Reachability property qltransition_227 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_227,1.08293e+1401,9.09308,142712,182,1423,7189,339665,826,0,79,399420,0
Reachability property qltransition_231 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_231,1.44387e+1407,9.09987,142712,182,1420,7351,339665,826,0,79,399420,0
Reachability property qltransition_232 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_232,2.17657e+1405,9.10667,142712,182,1421,7513,339665,826,0,79,399420,0
Reachability property qltransition_233 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_233,1.08293e+1401,9.11337,142712,182,1423,7674,339665,826,0,79,399420,0
Reachability property qltransition_235 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_235,1.08293e+1401,9.12025,142712,182,1423,7835,339665,826,0,79,399420,0
Reachability property qltransition_239 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_239,1.44387e+1407,9.12706,142712,182,1420,7996,339665,826,0,79,399420,0
Reachability property qltransition_240 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_240,2.17657e+1405,9.13393,142712,182,1421,8157,339665,826,0,79,399420,0
Reachability property qltransition_241 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_241,1.08293e+1401,9.14065,142712,182,1423,8317,339665,826,0,79,399420,0
Reachability property qltransition_243 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_243,1.08293e+1401,9.14745,142712,182,1423,8477,339665,826,0,79,399420,0
Reachability property qltransition_249 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_249,1.08293e+1401,9.15418,142712,182,1423,8636,339665,826,0,79,399420,0
Reachability property qltransition_255 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_255,1.44387e+1407,9.16092,142712,182,1420,8795,339665,826,0,79,399420,0
Reachability property qltransition_256 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_256,2.17657e+1405,9.16778,142712,182,1421,8954,339665,826,0,79,399420,0
Reachability property qltransition_257 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_257,1.08293e+1401,9.17458,142712,182,1423,9112,339665,826,0,79,399420,0
Reachability property qltransition_259 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_259,1.08293e+1401,9.18137,142712,182,1423,9270,339665,826,0,79,399420,0
Reachability property qltransition_263 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_263,1.44387e+1407,9.18811,142712,182,1420,9428,339665,826,0,79,399420,0
Reachability property qltransition_264 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_264,2.17657e+1405,9.19503,142712,182,1421,9586,339665,826,0,79,399420,0
Reachability property qltransition_265 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_265,1.08293e+1401,9.20186,142712,182,1423,9743,339665,826,0,79,399420,0
Reachability property qltransition_273 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_273,1.08293e+1401,9.20863,142712,182,1423,9899,339665,826,0,79,399420,0
Reachability property qltransition_281 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_281,1.08293e+1401,9.21555,142712,182,1423,10054,339665,826,0,79,399420,0
Reachability property qltransition_289 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_289,1.08293e+1401,9.22235,142712,182,1423,10208,339665,826,0,79,399420,0
Reachability property qltransition_291 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_291,1.08293e+1401,9.22926,142712,182,1423,10362,339665,826,0,79,399420,0
Reachability property qltransition_297 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_297,1.08293e+1401,9.23609,142712,182,1423,10515,339665,826,0,79,399420,0
Reachability property qltransition_303 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_303,1.44387e+1407,9.24287,142712,182,1420,10668,339665,826,0,79,399420,0
Reachability property qltransition_304 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_304,2.17657e+1405,9.24965,142712,182,1421,10821,339665,826,0,79,399420,0
Reachability property qltransition_305 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_305,1.08293e+1401,9.25647,142712,182,1423,10973,339665,826,0,79,399420,0
Reachability property qltransition_307 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_307,1.08293e+1401,9.26325,142712,182,1423,11125,339665,826,0,79,399420,0
Reachability property qltransition_313 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_313,1.08293e+1401,9.27003,142712,182,1423,11276,339665,826,0,79,399420,0
Reachability property qltransition_319 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_319,1.44387e+1407,9.27688,142712,182,1420,11427,339665,826,0,79,399420,0
Reachability property qltransition_320 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_320,2.17657e+1405,9.2837,142712,182,1421,11578,339665,826,0,79,399420,0
Reachability property qltransition_321 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_321,1.08293e+1401,9.29047,142712,182,1423,11728,339665,826,0,79,399420,0
Reachability property qltransition_323 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_323,1.08293e+1401,9.29747,142712,182,1423,11878,339665,826,0,79,399420,0
Reachability property qltransition_329 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_329,1.08293e+1401,9.30434,142712,182,1423,12027,339665,826,0,79,399420,0
Reachability property qltransition_331 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_331,1.08293e+1401,9.31127,142712,182,1423,12176,339665,826,0,79,399420,0
Reachability property qltransition_337 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_337,1.08293e+1401,9.31815,142712,182,1423,12324,339665,826,0,79,399420,0
Reachability property qltransition_339 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_339,1.08293e+1401,9.32503,142712,182,1423,12472,339665,826,0,79,399420,0
Reachability property qltransition_343 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_343,1.44387e+1407,9.33202,142712,182,1420,12620,339665,826,0,79,399420,0
Reachability property qltransition_344 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_344,2.17657e+1405,9.33903,142712,182,1421,12768,339665,826,0,79,399420,0
Reachability property qltransition_345 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_345,1.08293e+1401,9.3459,142712,182,1423,12915,339665,826,0,79,399420,0
Reachability property qltransition_353 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_353,1.08293e+1401,9.35282,142712,182,1423,13061,339665,826,0,79,399420,0
Reachability property qltransition_355 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_355,1.08293e+1401,9.36314,142712,182,1423,13207,339665,826,0,79,399420,0
Reachability property qltransition_361 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_361,1.08293e+1401,9.37161,142712,182,1423,13352,339665,826,0,79,399420,0
Reachability property qltransition_363 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_363,1.08293e+1401,9.37846,142712,182,1423,13497,339665,826,0,79,399420,0
Reachability property qltransition_367 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_367,1.44387e+1407,9.38523,142712,182,1420,13642,339665,826,0,79,399420,0
Reachability property qltransition_368 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_368,2.17657e+1405,9.39195,142712,182,1421,13787,339665,826,0,79,399420,0
Reachability property qltransition_369 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_369,1.08293e+1401,9.3988,142712,182,1423,13931,339665,826,0,79,399420,0
Reachability property qltransition_371 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_371,1.08293e+1401,9.40558,142712,182,1423,14075,339665,826,0,79,399420,0
Reachability property qltransition_375 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_375,1.44387e+1407,9.41246,142712,182,1420,14219,339665,826,0,79,399420,0
Reachability property qltransition_376 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_376,2.17657e+1405,9.4193,142712,182,1421,14363,339665,826,0,79,399420,0
Reachability property qltransition_379 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_379,1.08293e+1401,9.42615,142712,182,1423,14506,339665,826,0,79,399420,0
Reachability property qltransition_385 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_385,1.08293e+1401,9.43297,142712,182,1423,14648,339665,826,0,79,399420,0
Reachability property qltransition_387 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_387,1.08293e+1401,9.43977,142712,182,1423,14790,339665,826,0,79,399420,0
Reachability property qltransition_393 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_393,1.08293e+1401,9.44659,142712,182,1423,14931,339665,826,0,79,399420,0
Reachability property qltransition_395 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_395,1.08293e+1401,9.45339,142712,182,1423,15072,339665,826,0,79,399420,0
Reachability property qltransition_401 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_401,1.08293e+1401,9.46018,142712,182,1423,15212,339665,826,0,79,399420,0
Reachability property qltransition_403 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_403,1.08293e+1401,9.46694,142712,182,1423,15352,339665,826,0,79,399420,0
Reachability property qltransition_409 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_409,1.08293e+1401,9.47372,142712,182,1423,15491,339665,826,0,79,399420,0
Reachability property qltransition_411 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_411,1.08293e+1401,9.48053,142712,182,1423,15630,339665,826,0,79,399420,0
Reachability property qltransition_417 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_417,1.08293e+1401,9.48733,142712,182,1423,15768,339665,826,0,79,399420,0
Reachability property qltransition_423 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_423,1.44387e+1407,9.49407,142712,182,1420,15906,339665,826,0,79,399420,0
Reachability property qltransition_424 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_424,2.17657e+1405,9.50101,142712,182,1421,16044,339665,826,0,79,399420,0
Reachability property qltransition_425 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_425,1.08293e+1401,9.50789,142712,182,1423,16181,339665,826,0,79,399420,0
Reachability property qltransition_431 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_431,1.44387e+1407,9.51467,142712,182,1420,16318,339665,826,0,79,399420,0
Reachability property qltransition_432 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_432,2.17657e+1405,9.52146,142712,182,1421,16455,339665,826,0,79,399420,0
Reachability property qltransition_433 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_433,1.08293e+1401,9.52827,142712,182,1423,16591,339665,826,0,79,399420,0
Reachability property qltransition_435 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_435,1.08293e+1401,9.53503,142712,182,1423,16727,339665,826,0,79,399420,0
Reachability property qltransition_441 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_441,1.08293e+1401,9.54179,142712,182,1423,16862,339665,826,0,79,399420,0
Reachability property qltransition_443 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_443,1.08293e+1401,9.54862,142712,182,1423,16997,339665,826,0,79,399420,0
Reachability property qltransition_447 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_447,1.44387e+1407,9.55551,142712,182,1420,17132,339665,826,0,79,399420,0
Reachability property qltransition_448 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_448,2.17657e+1405,9.56223,142712,182,1421,17267,339665,826,0,79,399420,0
Reachability property qltransition_449 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_449,1.08293e+1401,9.56895,142712,182,1423,17401,339665,826,0,79,399420,0
Reachability property qltransition_451 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_451,1.08293e+1401,9.57576,142712,182,1423,17535,339665,826,0,79,399420,0
Reachability property qltransition_457 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_457,1.08293e+1401,9.58259,142712,182,1423,17668,339665,826,0,79,399420,0
Reachability property qltransition_459 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_459,1.08293e+1401,9.58936,142712,182,1423,17801,339665,826,0,79,399420,0
Reachability property qltransition_465 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_465,1.08293e+1401,9.59619,142712,182,1423,17933,339665,826,0,79,399420,0
Reachability property qltransition_471 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_471,1.44387e+1407,9.60302,142712,182,1420,18065,339665,826,0,79,399420,0
Reachability property qltransition_472 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_472,2.17657e+1405,9.60986,142712,182,1421,18197,339665,826,0,79,399420,0
Reachability property qltransition_473 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_473,1.08293e+1401,9.61663,142712,182,1423,18328,339665,826,0,79,399420,0
Reachability property qltransition_475 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_475,1.08293e+1401,9.62345,142712,182,1423,18459,339665,826,0,79,399420,0
Reachability property qltransition_481 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_481,1.08293e+1401,9.63024,142712,182,1423,18589,339665,826,0,79,399420,0
Reachability property qltransition_483 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_483,1.08293e+1401,9.63707,142712,182,1423,18719,339665,826,0,79,399420,0
Reachability property qltransition_489 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_489,1.08293e+1401,9.64391,142712,182,1423,18848,339665,826,0,79,399420,0
Reachability property qltransition_495 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_495,1.44387e+1407,9.65065,142712,182,1420,18977,339665,826,0,79,399420,0
Reachability property qltransition_496 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_496,2.17657e+1405,9.65738,142712,182,1421,19106,339665,826,0,79,399420,0
Reachability property qltransition_497 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_497,1.08293e+1401,9.66419,142712,182,1423,19234,339665,826,0,79,399420,0
Reachability property qltransition_499 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_499,1.08293e+1401,9.67096,142712,182,1423,19362,339665,826,0,79,399420,0
Reachability property qltransition_513 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_513,1.08293e+1401,9.6777,142712,182,1423,19489,339665,826,0,79,399420,0
Reachability property qltransition_515 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_515,1.08293e+1401,9.68472,142712,182,1423,19616,339665,826,0,79,399420,0
Reachability property qltransition_521 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_521,1.08293e+1401,9.69152,142712,182,1423,19742,339665,826,0,79,399420,0
Reachability property qltransition_523 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_523,1.08293e+1401,9.69837,142712,182,1423,19868,339665,826,0,79,399420,0
Reachability property qltransition_529 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_529,1.08293e+1401,9.70519,142712,182,1423,19993,339665,826,0,79,399420,0
Reachability property qltransition_535 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_535,1.44387e+1407,9.71195,142712,182,1420,20118,339665,826,0,79,399420,0
Reachability property qltransition_536 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_536,2.17657e+1405,9.71881,142712,182,1421,20243,339665,826,0,79,399420,0
Reachability property qltransition_537 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_537,1.08293e+1401,9.72561,142712,182,1423,20367,339665,826,0,79,399420,0
Reachability property qltransition_539 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_539,1.08293e+1401,9.73234,142712,182,1423,20491,339665,826,0,79,399420,0
Reachability property qltransition_545 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_545,1.08293e+1401,9.73915,142712,182,1423,20614,339665,826,0,79,399420,0
Reachability property qltransition_547 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_547,1.08293e+1401,9.74594,142712,182,1423,20737,339665,826,0,79,399420,0
Reachability property qltransition_553 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_553,1.08293e+1401,9.75266,142712,182,1423,20859,339665,826,0,79,399420,0
Reachability property qltransition_555 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_555,1.08293e+1401,9.75949,142712,182,1423,20981,339665,826,0,79,399420,0
Reachability property qltransition_559 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_559,1.44387e+1407,9.76634,142712,182,1420,21103,339665,826,0,79,399420,0
Reachability property qltransition_560 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_560,2.17657e+1405,9.77317,142712,182,1421,21225,339665,826,0,79,399420,0
Reachability property qltransition_561 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_561,1.08293e+1401,9.78001,142712,182,1423,21346,339665,826,0,79,399420,0
Reachability property qltransition_569 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_569,1.08293e+1401,9.78687,142712,182,1423,21466,339665,826,0,79,399420,0
Reachability property qltransition_571 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_571,1.08293e+1401,9.79369,142712,182,1423,21586,339665,826,0,79,399420,0
Reachability property qltransition_577 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_577,1.08293e+1401,9.80046,142712,182,1423,21705,339665,826,0,79,399420,0
Reachability property qltransition_579 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_579,1.08293e+1401,9.8073,142712,182,1423,21824,339665,826,0,79,399420,0
Reachability property qltransition_585 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_585,1.08293e+1401,9.81412,142712,182,1423,21942,339665,826,0,79,399420,0
Reachability property qltransition_587 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_587,1.08293e+1401,9.82095,142712,182,1423,22060,339665,826,0,79,399420,0
Reachability property qltransition_593 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_593,1.08293e+1401,9.82781,142712,182,1423,22177,339665,826,0,79,399420,0
Reachability property qltransition_595 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_595,1.08293e+1401,9.83469,142712,182,1423,22294,339665,826,0,79,399420,0
Reachability property qltransition_601 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_601,1.08293e+1401,9.84155,142712,182,1423,22410,339665,826,0,79,399420,0
Reachability property qltransition_603 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_603,1.08293e+1401,9.84834,142712,182,1423,22526,339665,826,0,79,399420,0
Reachability property qltransition_609 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_609,1.08293e+1401,9.85514,142712,182,1423,22641,339665,826,0,79,399420,0
Reachability property qltransition_611 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_611,1.08293e+1401,9.8619,142712,182,1423,22756,339665,826,0,79,399420,0
Reachability property qltransition_617 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_617,1.08293e+1401,9.86873,142712,182,1423,22870,339665,826,0,79,399420,0
Reachability property qltransition_623 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_623,1.44387e+1407,9.87558,142712,182,1420,22984,339665,826,0,79,399420,0
Reachability property qltransition_624 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_624,2.17657e+1405,9.88242,142712,182,1421,23098,339665,826,0,79,399420,0
Reachability property qltransition_625 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_625,1.08293e+1401,9.88923,142712,182,1423,23211,339665,826,0,79,399420,0
Reachability property qltransition_627 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_627,1.08293e+1401,9.896,142712,182,1423,23324,339665,826,0,79,399420,0
Reachability property qltransition_633 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_633,1.08293e+1401,9.90289,142712,182,1423,23436,339665,826,0,79,399420,0
Reachability property qltransition_639 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_639,1.44387e+1407,9.90974,142712,182,1420,23548,339665,826,0,79,399420,0
Reachability property qltransition_640 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_640,2.17657e+1405,9.91651,142712,182,1421,23660,339665,826,0,79,399420,0
Reachability property qltransition_641 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_641,1.08293e+1401,9.92333,142712,182,1423,23771,339665,826,0,79,399420,0
Reachability property qltransition_643 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_643,1.08293e+1401,9.93014,142712,182,1423,23882,339665,826,0,79,399420,0
Reachability property qltransition_649 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_649,1.08293e+1401,9.93694,142712,182,1423,23992,339665,826,0,79,399420,0
Reachability property qltransition_651 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_651,1.08293e+1401,9.94379,142712,182,1423,24102,339665,826,0,79,399420,0
Reachability property qltransition_655 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_655,1.44387e+1407,9.95063,142712,182,1420,24212,339665,826,0,79,399420,0
Reachability property qltransition_656 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_656,2.17657e+1405,9.95746,142712,182,1421,24322,339665,826,0,79,399420,0
Reachability property qltransition_657 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_657,1.08293e+1401,9.96432,142712,182,1423,24431,339665,826,0,79,399420,0
Reachability property qltransition_659 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_659,1.08293e+1401,9.97113,142712,182,1423,24540,339665,826,0,79,399420,0
Reachability property qltransition_663 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_663,1.44387e+1407,9.97799,142712,182,1420,24649,339665,826,0,79,399420,0
Reachability property qltransition_664 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_664,2.17657e+1405,9.98473,142712,182,1421,24758,339665,826,0,79,399420,0
Reachability property qltransition_665 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_665,1.08293e+1401,9.99152,142712,182,1423,24866,339665,826,0,79,399420,0
Reachability property qltransition_667 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_667,1.08293e+1401,9.99832,142712,182,1423,24974,339665,826,0,79,399420,0
Reachability property qltransition_673 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_673,1.08293e+1401,10.0051,142712,182,1423,25081,339665,826,0,79,399420,0
Reachability property qltransition_675 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_675,1.08293e+1401,10.0119,142712,182,1423,25188,339665,826,0,79,399420,0
Reachability property qltransition_679 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_679,1.44387e+1407,10.0188,142712,182,1420,25295,339665,826,0,79,399420,0
Reachability property qltransition_680 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_680,2.17657e+1405,10.0256,142712,182,1421,25402,339665,826,0,79,399420,0
Reachability property qltransition_681 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_681,1.08293e+1401,10.0324,142712,182,1423,25508,339665,826,0,79,399420,0
Reachability property qltransition_683 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_683,1.08293e+1401,10.0393,142712,182,1423,25614,339665,826,0,79,399420,0
Reachability property qltransition_687 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_687,1.44387e+1407,10.0461,142712,182,1420,25720,339665,826,0,79,399420,0
Reachability property qltransition_688 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_688,2.17657e+1405,10.0528,142712,182,1421,25826,339665,826,0,79,399420,0
Reachability property qltransition_689 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_689,1.08293e+1401,10.0596,142712,182,1423,25931,339665,826,0,79,399420,0
Reachability property qltransition_691 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_691,1.08293e+1401,10.0663,142712,182,1423,26036,339665,826,0,79,399420,0
Reachability property qltransition_697 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_697,1.08293e+1401,10.0733,142712,182,1423,26140,339665,826,0,79,399420,0
Reachability property qltransition_699 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_699,1.08293e+1401,10.0874,142712,182,1423,26244,339665,826,0,79,399420,0
Reachability property qltransition_705 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_705,1.08293e+1401,10.0943,142712,182,1423,26347,339665,826,0,79,399420,0
Reachability property qltransition_711 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_711,1.44387e+1407,10.1044,142712,182,1420,26450,339665,826,0,79,399420,0
Reachability property qltransition_712 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_712,2.17657e+1405,10.1113,142712,182,1421,26553,339665,826,0,79,399420,0
Reachability property qltransition_713 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_713,1.08293e+1401,10.1181,142712,182,1423,26655,339665,826,0,79,399420,0
Reachability property qltransition_721 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_721,1.08293e+1401,10.1248,142712,182,1423,26756,339665,826,0,79,399420,0
Reachability property qltransition_723 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_723,1.08293e+1401,10.1317,142712,182,1423,26857,339665,826,0,79,399420,0
Reachability property qltransition_727 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_727,1.44387e+1407,10.1385,142712,182,1420,26958,339665,826,0,79,399420,0
Reachability property qltransition_728 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_728,2.17657e+1405,10.1453,142712,182,1421,27059,339665,826,0,79,399420,0
Reachability property qltransition_729 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_729,1.08293e+1401,10.1522,142712,182,1423,27159,339665,826,0,79,399420,0
Reachability property qltransition_737 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_737,1.08293e+1401,10.159,142712,182,1423,27258,339665,826,0,79,399420,0
Reachability property qltransition_739 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_739,1.08293e+1401,10.1658,142712,182,1423,27357,339665,826,0,79,399420,0
Reachability property qltransition_753 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_753,1.08293e+1401,10.1726,142712,182,1423,27455,339665,826,0,79,399420,0
Reachability property qltransition_763 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_763,1.08293e+1401,10.1795,142712,182,1423,27552,339665,826,0,79,399420,0
Reachability property qltransition_769 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_769,1.08293e+1401,10.1865,142712,182,1423,27648,339665,826,0,79,399420,0
Reachability property qltransition_775 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_775,1.44387e+1407,10.1934,142712,182,1420,27744,339665,826,0,79,399420,0
Reachability property qltransition_776 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_776,2.17657e+1405,10.2003,142712,182,1421,27840,339665,826,0,79,399420,0
Reachability property qltransition_777 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_777,1.08293e+1401,10.2073,142712,182,1423,27935,339665,826,0,79,399420,0
Reachability property qltransition_779 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_779,1.08293e+1401,10.2142,142712,182,1423,28030,339665,826,0,79,399420,0
Reachability property qltransition_783 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_783,1.44387e+1407,10.2211,142712,182,1420,28125,339665,826,0,79,399420,0
Reachability property qltransition_784 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_784,2.17657e+1405,10.228,142712,182,1421,28220,339665,826,0,79,399420,0
Reachability property qltransition_785 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_785,1.08293e+1401,10.2349,142712,182,1423,28314,339665,826,0,79,399420,0
Reachability property qltransition_787 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_787,1.08293e+1401,10.2419,142712,182,1423,28408,339665,826,0,79,399420,0
Reachability property qltransition_793 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_793,1.08293e+1401,10.2487,142712,182,1423,28501,339665,826,0,79,399420,0
Reachability property qltransition_795 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_795,1.08293e+1401,10.2555,142712,182,1423,28594,339665,826,0,79,399420,0
Reachability property qltransition_799 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_799,1.44387e+1407,10.2624,142712,182,1420,28687,339665,826,0,79,399420,0
Reachability property qltransition_800 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_800,2.17657e+1405,10.2692,142712,182,1421,28780,339665,826,0,79,399420,0
Reachability property qltransition_809 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_809,1.08293e+1401,10.2763,142712,182,1423,28872,339665,826,0,79,399420,0
Reachability property qltransition_811 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_811,1.08293e+1401,10.2831,142712,182,1423,28964,339665,826,0,79,399420,0
Reachability property qltransition_815 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_815,1.44387e+1407,10.2899,142712,182,1420,29056,339665,826,0,79,399420,0
Reachability property qltransition_816 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_816,2.17657e+1405,10.2967,142712,182,1421,29148,339665,826,0,79,399420,0
Reachability property qltransition_817 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_817,1.08293e+1401,10.3038,142712,182,1423,29239,339665,826,0,79,399420,0
Reachability property qltransition_823 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_823,1.44387e+1407,10.3108,142712,182,1420,29330,339665,826,0,79,399420,0
Reachability property qltransition_824 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_824,2.17657e+1405,10.3177,142712,182,1421,29421,339665,826,0,79,399420,0
Reachability property qltransition_825 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_825,1.08293e+1401,10.3246,142712,182,1423,29511,339665,826,0,79,399420,0
Reachability property qltransition_831 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_831,1.44387e+1407,10.3315,142712,182,1420,29601,339665,826,0,79,399420,0
Reachability property qltransition_832 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_832,2.17657e+1405,10.3384,142712,182,1421,29691,339665,826,0,79,399420,0
Reachability property qltransition_833 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_833,1.08293e+1401,10.3452,142712,182,1423,29780,339665,826,0,79,399420,0
Reachability property qltransition_835 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_835,1.08293e+1401,10.352,142712,182,1423,29869,339665,826,0,79,399420,0
Reachability property qltransition_841 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_841,1.08293e+1401,10.3589,142712,182,1423,29957,339665,826,0,79,399420,0
Reachability property qltransition_843 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_843,1.08293e+1401,10.3657,142712,182,1423,30045,339665,826,0,79,399420,0
Reachability property qltransition_847 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_847,1.44387e+1407,10.3726,142712,182,1420,30133,339665,826,0,79,399420,0
Reachability property qltransition_848 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_848,2.17657e+1405,10.3795,142712,182,1421,30221,339665,826,0,79,399420,0
Reachability property qltransition_849 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_849,1.08293e+1401,10.3863,142712,182,1423,30308,339665,826,0,79,399420,0
Reachability property qltransition_855 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_855,1.44387e+1407,10.3931,142712,182,1420,30395,339665,826,0,79,399420,0
Reachability property qltransition_856 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_856,2.17657e+1405,10.3999,142712,182,1421,30482,339665,826,0,79,399420,0
Reachability property qltransition_857 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_857,1.08293e+1401,10.4068,142712,182,1423,30568,339665,826,0,79,399420,0
Reachability property qltransition_873 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_873,1.08293e+1401,10.4136,142712,182,1423,30653,339665,826,0,79,399420,0
Reachability property qltransition_875 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_875,1.08293e+1401,10.4204,142712,182,1423,30738,339665,826,0,79,399420,0
Reachability property qltransition_879 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_879,1.44387e+1407,10.4271,142712,182,1420,30823,339665,826,0,79,399420,0
Reachability property qltransition_880 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_880,2.17657e+1405,10.4339,142712,182,1421,30908,339665,826,0,79,399420,0
Reachability property qltransition_881 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_881,1.08293e+1401,10.4407,142712,182,1423,30992,339665,826,0,79,399420,0
Reachability property qltransition_883 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_883,1.08293e+1401,10.4475,142712,182,1423,31076,339665,826,0,79,399420,0
Reachability property qltransition_897 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_897,1.08293e+1401,10.4543,142712,182,1423,31159,339665,826,0,79,399420,0
Reachability property qltransition_899 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_899,1.08293e+1401,10.461,142712,182,1423,31242,339665,826,0,79,399420,0
Reachability property qltransition_905 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_905,1.08293e+1401,10.4679,142712,182,1423,31324,339665,826,0,79,399420,0
Reachability property qltransition_907 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_907,1.08293e+1401,10.4746,142712,182,1423,31406,339665,826,0,79,399420,0
Reachability property qltransition_913 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_913,1.08293e+1401,10.4815,142712,182,1423,31487,339665,826,0,79,399420,0
Reachability property qltransition_921 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_921,1.08293e+1401,10.4883,142712,182,1423,31567,339665,826,0,79,399420,0
Reachability property qltransition_923 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_923,1.08293e+1401,10.4952,142712,182,1423,31647,339665,826,0,79,399420,0
Reachability property qltransition_927 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_927,1.44387e+1407,10.502,142712,182,1420,31727,339665,826,0,79,399420,0
Reachability property qltransition_928 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_928,2.17657e+1405,10.5088,142712,182,1421,31807,339665,826,0,79,399420,0
Reachability property qltransition_929 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_929,1.08293e+1401,10.5155,142712,182,1423,31886,339665,826,0,79,399420,0
Reachability property qltransition_931 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_931,1.08293e+1401,10.5223,142712,182,1423,31965,339665,826,0,79,399420,0
Reachability property qltransition_937 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_937,1.08293e+1401,10.5293,142712,182,1423,32043,339665,826,0,79,399420,0
Reachability property qltransition_945 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_945,1.08293e+1401,10.5361,142712,182,1423,32120,339665,826,0,79,399420,0
Reachability property qltransition_947 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_947,1.08293e+1401,10.5429,142712,182,1423,32197,339665,826,0,79,399420,0
Reachability property qltransition_953 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_953,1.08293e+1401,10.5497,142712,182,1423,32273,339665,826,0,79,399420,0
Reachability property qltransition_955 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_955,1.08293e+1401,10.5566,142712,182,1423,32349,339665,826,0,79,399420,0
Reachability property qltransition_961 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_961,1.08293e+1401,10.5633,142712,182,1423,32424,339665,826,0,79,399420,0
Reachability property qltransition_963 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_963,1.08293e+1401,10.5701,142712,182,1423,32499,339665,826,0,79,399420,0
Reachability property qltransition_969 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_969,1.08293e+1401,10.5769,142712,182,1423,32573,339665,826,0,79,399420,0
Reachability property qltransition_971 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_971,1.08293e+1401,10.5837,142712,182,1423,32647,339665,826,0,79,399420,0
Reachability property qltransition_979 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_979,1.08293e+1401,10.5905,142712,182,1423,32720,339665,826,0,79,399420,0
Reachability property qltransition_985 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_985,1.08293e+1401,10.5972,142712,182,1423,32792,339665,826,0,79,399420,0
Reachability property qltransition_987 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_987,1.08293e+1401,10.604,142712,182,1423,32864,339665,826,0,79,399420,0
Reachability property qltransition_993 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_993,1.08293e+1401,10.6107,142712,182,1423,32935,339665,826,0,79,399420,0
Reachability property qltransition_1001 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1001,1.08293e+1401,10.6174,142712,182,1423,33005,339665,826,0,79,399420,0
Reachability property qltransition_1007 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1007,1.44387e+1407,10.6243,142712,182,1420,33075,339665,826,0,79,399420,0
Reachability property qltransition_1008 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1008,2.17657e+1405,10.6311,142712,182,1421,33145,339665,826,0,79,399420,0
Reachability property qltransition_1009 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1009,1.08293e+1401,10.638,142712,182,1423,33214,339665,826,0,79,399420,0
Reachability property qltransition_1011 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1011,1.08293e+1401,10.6449,142712,182,1423,33283,339665,826,0,79,399420,0
Reachability property qltransition_1025 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1025,1.08293e+1401,10.6516,142712,182,1423,33351,339665,826,0,79,399420,0
Reachability property qltransition_1027 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1027,1.08293e+1401,10.6585,142712,182,1423,33419,339665,826,0,79,399420,0
Reachability property qltransition_1033 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1033,1.08293e+1401,10.6654,142712,182,1423,33486,339665,826,0,79,399420,0
Reachability property qltransition_1035 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1035,1.08293e+1401,10.6721,142712,182,1423,33553,339665,826,0,79,399420,0
Reachability property qltransition_1041 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1041,1.08293e+1401,10.6788,142712,182,1423,33619,339665,826,0,79,399420,0
Reachability property qltransition_1043 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1043,1.08293e+1401,10.6856,142712,182,1423,33685,339665,826,0,79,399420,0
Reachability property qltransition_1047 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1047,1.44387e+1407,10.6924,142712,182,1420,33751,339665,826,0,79,399420,0
Reachability property qltransition_1048 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1048,2.17657e+1405,10.6991,142712,182,1421,33817,339665,826,0,79,399420,0
Reachability property qltransition_1049 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1049,1.08293e+1401,10.7059,142712,182,1423,33882,339665,826,0,79,399420,0
Reachability property qltransition_1051 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1051,1.08293e+1401,10.7128,142712,182,1423,33947,339665,826,0,79,399420,0
Reachability property qltransition_1057 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1057,1.08293e+1401,10.7196,142712,182,1423,34011,339665,826,0,79,399420,0
Reachability property qltransition_1063 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1063,1.44387e+1407,10.7263,142712,182,1420,34075,339665,826,0,79,399420,0
Reachability property qltransition_1064 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1064,2.17657e+1405,10.7332,142712,182,1421,34139,339665,826,0,79,399420,0
Reachability property qltransition_1065 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1065,1.08293e+1401,10.74,142712,182,1423,34202,339665,826,0,79,399420,0
Reachability property qltransition_1067 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1067,1.08293e+1401,10.7467,142712,182,1423,34265,339665,826,0,79,399420,0
Reachability property qltransition_1071 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1071,1.44387e+1407,10.7536,142712,182,1420,34328,339665,826,0,79,399420,0
Reachability property qltransition_1072 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1072,2.17657e+1405,10.7604,142712,182,1421,34391,339665,826,0,79,399420,0
Reachability property qltransition_1073 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1073,1.08293e+1401,10.7672,142712,182,1423,34453,339665,826,0,79,399420,0
Reachability property qltransition_1075 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1075,1.08293e+1401,10.7742,142712,182,1423,34515,339665,826,0,79,399420,0
Reachability property qltransition_1087 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1087,1.44387e+1407,10.7811,142712,182,1420,34576,339665,826,0,79,399420,0
Reachability property qltransition_1088 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1088,2.17657e+1405,10.788,142712,182,1421,34637,339665,826,0,79,399420,0
Reachability property qltransition_1089 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1089,1.08293e+1401,10.795,142712,182,1423,34697,339665,826,0,79,399420,0
Reachability property qltransition_1091 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1091,1.08293e+1401,10.8019,142712,182,1423,34757,339665,826,0,79,399420,0
Reachability property qltransition_1097 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1097,1.08293e+1401,10.8089,142712,182,1423,34816,339665,826,0,79,399420,0
Reachability property qltransition_1099 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1099,1.08293e+1401,10.8156,142712,182,1423,34875,339665,826,0,79,399420,0
Reachability property qltransition_1105 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1105,1.08293e+1401,10.8224,142712,182,1423,34933,339665,826,0,79,399420,0
Reachability property qltransition_1107 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1107,1.08293e+1401,10.8292,142712,182,1423,34991,339665,826,0,79,399420,0
Reachability property qltransition_1113 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1113,1.08293e+1401,10.836,142712,182,1423,35048,339665,826,0,79,399420,0
Reachability property qltransition_1115 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1115,1.08293e+1401,10.8429,142712,182,1423,35105,339665,826,0,79,399420,0
Reachability property qltransition_1119 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1119,1.44387e+1407,10.8499,142712,182,1420,35162,339665,826,0,79,399420,0
Reachability property qltransition_1120 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1120,2.17657e+1405,10.8567,142712,182,1421,35219,339665,826,0,79,399420,0
Reachability property qltransition_1121 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1121,1.08293e+1401,10.8635,142712,182,1423,35275,339665,826,0,79,399420,0
Reachability property qltransition_1123 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1123,1.08293e+1401,10.8703,142712,182,1423,35331,339665,826,0,79,399420,0
Reachability property qltransition_1135 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1135,1.44387e+1407,10.8771,142712,182,1420,35386,339665,826,0,79,399420,0
Reachability property qltransition_1136 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1136,2.17657e+1405,10.8839,142712,182,1421,35441,339665,826,0,79,399420,0
Reachability property qltransition_1137 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1137,1.08293e+1401,10.8907,142712,182,1423,35495,339665,826,0,79,399420,0
Reachability property qltransition_1143 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1143,1.44387e+1407,10.8975,142712,182,1420,35549,339665,826,0,79,399420,0
Reachability property qltransition_1144 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1144,2.17657e+1405,10.9044,142712,182,1421,35603,339665,826,0,79,399420,0
Reachability property qltransition_1145 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1145,1.08293e+1401,10.9112,142712,182,1423,35656,339665,826,0,79,399420,0
Reachability property qltransition_1153 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1153,1.08293e+1401,10.9181,142712,182,1423,35708,339665,826,0,79,399420,0
Reachability property qltransition_1155 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1155,1.08293e+1401,10.9251,142712,182,1423,35760,339665,826,0,79,399420,0
Reachability property qltransition_1161 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1161,1.08293e+1401,10.932,142712,182,1423,35811,339665,826,0,79,399420,0
Reachability property qltransition_1163 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1163,1.08293e+1401,10.9389,142712,182,1423,35862,339665,826,0,79,399420,0
Reachability property qltransition_1167 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1167,1.44387e+1407,10.9458,142712,182,1420,35913,339665,826,0,79,399420,0
Reachability property qltransition_1168 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1168,2.17657e+1405,10.9526,142712,182,1421,35964,339665,826,0,79,399420,0
Reachability property qltransition_1169 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1169,1.08293e+1401,10.9595,142712,182,1423,36014,339665,826,0,79,399420,0
Reachability property qltransition_1171 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1171,1.08293e+1401,10.9664,142712,182,1423,36064,339665,826,0,79,399420,0
Reachability property qltransition_1177 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1177,1.08293e+1401,10.9733,142712,182,1423,36113,339665,826,0,79,399420,0
Reachability property qltransition_1179 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1179,1.08293e+1401,10.9801,142712,182,1423,36162,339665,826,0,79,399420,0
Reachability property qltransition_1185 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1185,1.08293e+1401,10.987,142712,182,1423,36210,339665,826,0,79,399420,0
Reachability property qltransition_1187 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1187,1.08293e+1401,10.9939,142712,182,1423,36258,339665,826,0,79,399420,0
Reachability property qltransition_1193 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1193,1.08293e+1401,11.0009,142712,182,1423,36305,339665,826,0,79,399420,0
Reachability property qltransition_1195 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1195,1.08293e+1401,11.0079,142712,182,1423,36352,339665,826,0,79,399420,0
Reachability property qltransition_1199 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1199,1.44387e+1407,11.0149,142712,182,1420,36399,339665,826,0,79,399420,0
Reachability property qltransition_1200 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1200,2.17657e+1405,11.0218,142712,182,1421,36446,339665,826,0,79,399420,0
Reachability property qltransition_1201 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1201,1.08293e+1401,11.0288,142712,182,1423,36492,339665,826,0,79,399420,0
Reachability property qltransition_1203 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1203,1.08293e+1401,11.0357,142712,182,1423,36538,339665,826,0,79,399420,0
Reachability property qltransition_1207 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1207,1.44387e+1407,11.0427,142712,182,1420,36584,339665,826,0,79,399420,0
Reachability property qltransition_1208 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1208,2.17657e+1405,11.0498,142712,182,1421,36630,339665,826,0,79,399420,0
Reachability property qltransition_1211 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1211,1.08293e+1401,11.0567,142712,182,1423,36675,339665,826,0,79,399420,0
Reachability property qltransition_1217 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1217,1.08293e+1401,11.0635,142712,182,1423,36719,339665,826,0,79,399420,0
Reachability property qltransition_1225 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1225,1.08293e+1401,11.0705,142712,182,1423,36762,339665,826,0,79,399420,0
Reachability property qltransition_1227 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1227,1.08293e+1401,11.0773,142712,182,1423,36805,339665,826,0,79,399420,0
Reachability property qltransition_1233 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1233,1.08293e+1401,11.0841,142712,182,1423,36847,339665,826,0,79,399420,0
Reachability property qltransition_1239 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1239,1.44387e+1407,11.091,142712,182,1420,36889,339665,826,0,79,399420,0
Reachability property qltransition_1240 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1240,2.17657e+1405,11.0978,142712,182,1421,36931,339665,826,0,79,399420,0
Reachability property qltransition_1241 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1241,1.08293e+1401,11.1046,142712,182,1423,36972,339665,826,0,79,399420,0
Reachability property qltransition_1247 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1247,1.44387e+1407,11.1114,142712,182,1420,37013,339665,826,0,79,399420,0
Reachability property qltransition_1248 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1248,2.17657e+1405,11.1182,142712,182,1421,37054,339665,826,0,79,399420,0
Reachability property qltransition_1249 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1249,1.08293e+1401,11.125,142712,182,1423,37094,339665,826,0,79,399420,0
Reachability property qltransition_1257 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1257,1.08293e+1401,11.1317,142712,182,1423,37133,339665,826,0,79,399420,0
Reachability property qltransition_1263 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1263,1.44387e+1407,11.1385,142712,182,1420,37172,339665,826,0,79,399420,0
Reachability property qltransition_1264 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1264,2.17657e+1405,11.1452,142712,182,1421,37211,339665,826,0,79,399420,0
Reachability property qltransition_1265 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1265,1.08293e+1401,11.1519,142712,182,1423,37249,339665,826,0,79,399420,0
Reachability property qltransition_1267 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1267,1.08293e+1401,11.1586,142712,182,1423,37287,339665,826,0,79,399420,0
Reachability property qltransition_1281 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1281,1.08293e+1401,11.1653,142712,182,1423,37324,339665,826,0,79,399420,0
Reachability property qltransition_1283 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1283,1.08293e+1401,11.172,142712,182,1423,37361,339665,826,0,79,399420,0
Reachability property qltransition_1287 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1287,1.44387e+1407,11.1788,142712,182,1420,37398,339665,826,0,79,399420,0
Reachability property qltransition_1288 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1288,2.17657e+1405,11.1855,142712,182,1421,37435,339665,826,0,79,399420,0
Reachability property qltransition_1289 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1289,1.08293e+1401,11.1922,142712,182,1423,37471,339665,826,0,79,399420,0
Reachability property qltransition_1291 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1291,1.08293e+1401,11.1989,142712,182,1423,37507,339665,826,0,79,399420,0
Reachability property qltransition_1297 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1297,1.08293e+1401,11.2057,142712,182,1423,37542,339665,826,0,79,399420,0
Reachability property qltransition_1299 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1299,1.08293e+1401,11.2124,142712,182,1423,37577,339665,826,0,79,399420,0
Reachability property qltransition_1305 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1305,1.08293e+1401,11.2191,142712,182,1423,37611,339665,826,0,79,399420,0
Reachability property qltransition_1307 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1307,1.08293e+1401,11.2259,142712,182,1423,37645,339665,826,0,79,399420,0
Reachability property qltransition_1313 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1313,1.08293e+1401,11.2325,142712,182,1423,37678,339665,826,0,79,399420,0
Reachability property qltransition_1315 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1315,1.08293e+1401,11.2392,142712,182,1423,37711,339665,826,0,79,399420,0
Reachability property qltransition_1321 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1321,1.08293e+1401,11.246,142712,182,1423,37743,339665,826,0,79,399420,0
Reachability property qltransition_1323 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1323,1.08293e+1401,11.2528,142712,182,1423,37775,339665,826,0,79,399420,0
Reachability property qltransition_1327 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1327,1.44387e+1407,11.2597,142712,182,1420,37807,339665,826,0,79,399420,0
Reachability property qltransition_1328 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1328,2.17657e+1405,11.2665,142712,182,1421,37839,339665,826,0,79,399420,0
Reachability property qltransition_1329 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1329,1.08293e+1401,11.2733,142712,182,1423,37870,339665,826,0,79,399420,0
Reachability property qltransition_1331 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1331,1.08293e+1401,11.2801,142712,182,1423,37901,339665,826,0,79,399420,0
Reachability property qltransition_1337 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1337,1.08293e+1401,11.2868,142712,182,1423,37931,339665,826,0,79,399420,0
Reachability property qltransition_1339 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1339,1.08293e+1401,11.2936,142712,182,1423,37961,339665,826,0,79,399420,0
Reachability property qltransition_1345 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1345,1.08293e+1401,11.3004,142712,182,1423,37990,339665,826,0,79,399420,0
Reachability property qltransition_1347 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1347,1.08293e+1401,11.3071,142712,182,1423,38019,339665,826,0,79,399420,0
Reachability property qltransition_1353 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1353,1.08293e+1401,11.3138,142712,182,1423,38047,339665,826,0,79,399420,0
Reachability property qltransition_1355 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1355,1.08293e+1401,11.3206,142712,182,1423,38075,339665,826,0,79,399420,0
Reachability property qltransition_1359 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1359,1.44387e+1407,11.3274,142712,182,1420,38103,339665,826,0,79,399420,0
Reachability property qltransition_1360 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1360,2.17657e+1405,11.3342,142712,182,1421,38131,339665,826,0,79,399420,0
Reachability property qltransition_1361 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1361,1.08293e+1401,11.3409,142712,182,1423,38158,339665,826,0,79,399420,0
Reachability property qltransition_1363 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1363,1.08293e+1401,11.3477,142712,182,1423,38185,339665,826,0,79,399420,0
Reachability property qltransition_1369 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1369,1.08293e+1401,11.3546,142712,182,1423,38211,339665,826,0,79,399420,0
Reachability property qltransition_1371 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1371,1.08293e+1401,11.3614,142712,182,1423,38237,339665,826,0,79,399420,0
Reachability property qltransition_1377 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1377,1.08293e+1401,11.3681,142712,182,1423,38262,339665,826,0,79,399420,0
Reachability property qltransition_1379 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1379,1.08293e+1401,11.375,142712,182,1423,38287,339665,826,0,79,399420,0
Reachability property qltransition_1385 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1385,1.08293e+1401,11.3817,142712,182,1423,38311,339665,826,0,79,399420,0
Reachability property qltransition_1391 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1391,1.44387e+1407,11.3886,142712,182,1420,38335,339665,826,0,79,399420,0
Reachability property qltransition_1392 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1392,2.17657e+1405,11.3953,142712,182,1421,38359,339665,826,0,79,399420,0
Reachability property qltransition_1393 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1393,1.08293e+1401,11.4021,142712,182,1423,38382,339665,826,0,79,399420,0
Reachability property qltransition_1395 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1395,1.08293e+1401,11.4088,142712,182,1423,38405,339665,826,0,79,399420,0
Reachability property qltransition_1411 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1411,1.08293e+1401,11.4156,142712,182,1423,38427,339665,826,0,79,399420,0
Reachability property qltransition_1417 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1417,1.08293e+1401,11.4223,142712,182,1423,38448,339665,826,0,79,399420,0
Reachability property qltransition_1419 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1419,1.08293e+1401,11.429,142712,182,1423,38469,339665,826,0,79,399420,0
Reachability property qltransition_1425 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1425,1.08293e+1401,11.4357,142712,182,1423,38489,339665,826,0,79,399420,0
Reachability property qltransition_1433 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1433,1.08293e+1401,11.4424,142712,182,1423,38508,339665,826,0,79,399420,0
Reachability property qltransition_1435 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1435,1.08293e+1401,11.4491,142712,182,1423,38527,339665,826,0,79,399420,0
Reachability property qltransition_1441 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1441,1.08293e+1401,11.4558,142712,182,1423,38545,339665,826,0,79,399420,0
Reachability property qltransition_1443 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1443,1.08293e+1401,11.4625,142712,182,1423,38563,339665,826,0,79,399420,0
Reachability property qltransition_1447 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1447,1.44387e+1407,11.4692,142712,182,1420,38581,339665,826,0,79,399420,0
Reachability property qltransition_1448 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1448,2.17657e+1405,11.4759,142712,182,1421,38599,339665,826,0,79,399420,0
Reachability property qltransition_1457 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1457,1.08293e+1401,11.4826,142712,182,1423,38616,339665,826,0,79,399420,0
Reachability property qltransition_1459 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1459,1.08293e+1401,11.4894,142712,182,1423,38633,339665,826,0,79,399420,0
Reachability property qltransition_1473 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1473,1.08293e+1401,11.496,142712,182,1423,38649,339665,826,0,79,399420,0
Reachability property qltransition_1475 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1475,1.08293e+1401,11.5027,142712,182,1423,38665,339665,826,0,79,399420,0
Reachability property qltransition_1481 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1481,1.08293e+1401,11.5094,142712,182,1423,38680,339665,826,0,79,399420,0
Reachability property qltransition_1483 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1483,1.08293e+1401,11.516,142712,182,1423,38695,339665,826,0,79,399420,0
Reachability property qltransition_1489 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1489,1.08293e+1401,11.5228,142712,182,1423,38709,339665,826,0,79,399420,0
Reachability property qltransition_1491 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1491,1.08293e+1401,11.5294,142712,182,1423,38723,339665,826,0,79,399420,0
Reachability property qltransition_1495 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1495,1.44387e+1407,11.5361,142712,182,1420,38737,339665,826,0,79,399420,0
Reachability property qltransition_1496 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1496,2.17657e+1405,11.5428,142712,182,1421,38751,339665,826,0,79,399420,0
Reachability property qltransition_1497 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1497,1.08293e+1401,11.5495,142712,182,1423,38764,339665,826,0,79,399420,0
Reachability property qltransition_1499 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1499,1.08293e+1401,11.5561,142712,182,1423,38777,339665,826,0,79,399420,0
Reachability property qltransition_1505 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1505,1.08293e+1401,11.5627,142712,182,1423,38789,339665,826,0,79,399420,0
Reachability property qltransition_1507 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1507,1.08293e+1401,11.5693,142712,182,1423,38801,339665,826,0,79,399420,0
Reachability property qltransition_1513 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1513,1.08293e+1401,11.576,142712,182,1423,38812,339665,826,0,79,399420,0
Reachability property qltransition_1515 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1515,1.08293e+1401,11.5828,142712,182,1423,38823,339665,826,0,79,399420,0
Reachability property qltransition_1521 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1521,1.08293e+1401,11.5895,142712,182,1423,38833,339665,826,0,79,399420,0
Reachability property qltransition_1523 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1523,1.08293e+1401,11.5961,142712,182,1423,38843,339665,826,0,79,399420,0
Reachability property qltransition_1529 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1529,1.08293e+1401,11.6029,142712,182,1423,38852,339665,826,0,79,399420,0
Reachability property qltransition_1531 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1531,1.08293e+1401,11.6096,142712,182,1423,38861,339665,826,0,79,399420,0
Reachability property qltransition_1537 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1537,1.08293e+1401,11.6162,142712,182,1423,38869,339665,826,0,79,399420,0
Reachability property qltransition_1543 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1543,1.44387e+1407,11.623,142712,182,1420,38877,339665,826,0,79,399420,0
Reachability property qltransition_1544 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1544,2.17657e+1405,11.6297,142712,182,1421,38885,339665,826,0,79,399420,0
Reachability property qltransition_1545 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1545,1.08293e+1401,11.6364,142712,182,1423,38892,339665,826,0,79,399420,0
Reachability property qltransition_1547 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1547,1.08293e+1401,11.6431,142712,182,1423,38899,339665,826,0,79,399420,0
Reachability property qltransition_1553 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1553,1.08293e+1401,11.6497,142712,182,1423,38905,339665,826,0,79,399420,0
Reachability property qltransition_1555 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1555,1.08293e+1401,11.6564,142712,182,1423,38911,339665,826,0,79,399420,0
Reachability property qltransition_1561 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1561,1.08293e+1401,11.6632,142712,182,1423,38916,339665,826,0,79,399420,0
Reachability property qltransition_1563 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1563,1.08293e+1401,11.6699,142712,182,1423,38921,339665,826,0,79,399420,0
Reachability property qltransition_1569 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1569,1.08293e+1401,11.6765,142712,182,1423,38925,339665,826,0,79,399420,0
Reachability property qltransition_1575 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1575,1.44387e+1407,11.6832,142712,182,1420,38929,339665,826,0,79,399420,0
Reachability property qltransition_1576 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1576,2.17657e+1405,11.6898,142712,182,1421,38933,339665,826,0,79,399420,0
Reachability property qltransition_1577 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1577,1.08293e+1401,11.6966,142712,182,1423,38936,339665,826,0,79,399420,0
Reachability property qltransition_1579 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1579,1.08293e+1401,11.7032,142712,182,1423,38939,339665,826,0,79,399420,0
Reachability property qltransition_1585 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1585,1.08293e+1401,11.7098,142712,182,1423,38941,339665,826,0,79,399420,0
Reachability property qltransition_1593 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1593,1.08293e+1401,11.7166,142712,182,1423,38942,339665,826,0,79,399420,0
Able to resolve query QuasiLiveness after proving 801 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK PARIKH_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE USE_NUPN

BK_STOP 1652741192790

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-0200"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is JoinFreeModules-PT-0200, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r144-tall-165271830800122"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0200.tgz
mv JoinFreeModules-PT-0200 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;