Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r280-smll-162123888100162.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-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 itstools
Input is ViralEpidemic-PT-S03D1C1A06, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-smll-162123888100162
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.5M
-rw-r--r-- 1 mcc users 24K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 148K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 91K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Mar 28 16:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K Mar 27 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 05:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 05:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 11 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 6.1M May 5 16:52 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 1621382780753

Running Version 0
[2021-05-19 00:06:23] [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]
[2021-05-19 00:06:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 00:06:24] [INFO ] Load time of PNML (sax parser for PT used): 725 ms
[2021-05-19 00:06:24] [INFO ] Transformed 5466 places.
[2021-05-19 00:06:24] [INFO ] Transformed 7651 transitions.
[2021-05-19 00:06:24] [INFO ] Found NUPN structural information;
[2021-05-19 00:06:24] [INFO ] Parsed PT model containing 5466 places and 7651 transitions in 886 ms.
Starting structural reductions, iteration 0 : 5466/5466 places, 7651/7651 transitions.
Applied a total of 0 rules in 787 ms. Remains 5466 /5466 variables (removed 0) and now considering 7651/7651 (removed 0) transitions.
// Phase 1: matrix 7651 rows 5466 cols
[2021-05-19 00:06:27] [INFO ] Invariants computation overflowed in 1616 ms
[2021-05-19 00:06:28] [INFO ] Implicit Places using invariants in 3270 ms returned []
// Phase 1: matrix 7651 rows 5466 cols
[2021-05-19 00:06:30] [INFO ] Invariants computation overflowed in 1242 ms
[2021-05-19 00:06:32] [INFO ] Implicit Places using invariants and state equation in 3360 ms returned []
Implicit Place search using SMT with State Equation took 6693 ms to find 0 implicit places.
// Phase 1: matrix 7651 rows 5466 cols
[2021-05-19 00:06:33] [INFO ] Invariants computation overflowed in 1180 ms
[2021-05-19 00:06:34] [INFO ] Dead Transitions using invariants and state equation in 2438 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5466/5466 places, 7651/7651 transitions.
Discarding 1092 transitions out of 7651. Remains 6559
[2021-05-19 00:06:34] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 137 resets, run finished after 4281 ms. (steps per millisecond=2 ) properties (out of 6558) seen :5694
Running SMT prover for 864 properties.
// Phase 1: matrix 7651 rows 5466 cols
[2021-05-19 00:06:40] [INFO ] Invariants computation overflowed in 1170 ms
[2021-05-19 00:07:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 00:07:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 864 Parikh solutions to 1 different solutions.
Support contains 720 out of 5466 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5466/5466 places, 7651/7651 transitions.
Graph (complete) has 3279 edges and 5466 vertex of which 1048 are kept as prefixes of interest. Removing 4418 places using SCC suffix rule.16 ms
Discarding 4418 places :
Also discarding 5790 output transitions
Drop transitions removed 5790 transitions
Drop transitions removed 654 transitions
Reduce isomorphic transitions removed 654 transitions.
Drop transitions removed 28 transitions
Trivial Post-agglo rules discarded 28 transitions
Performed 28 trivial Post agglomeration. Transition count delta: 28
Iterating post reduction 0 with 682 rules applied. Total rules applied 683 place count 1048 transition count 1179
Reduce places removed 28 places and 0 transitions.
Iterating post reduction 1 with 28 rules applied. Total rules applied 711 place count 1020 transition count 1179
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 75 Pre rules applied. Total rules applied 711 place count 1020 transition count 1104
Deduced a syphon composed of 75 places in 1 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 2 with 150 rules applied. Total rules applied 861 place count 945 transition count 1104
Performed 95 Post agglomeration using F-continuation condition.Transition count delta: 95
Deduced a syphon composed of 95 places in 1 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 2 with 190 rules applied. Total rules applied 1051 place count 850 transition count 1009
Renaming transitions due to excessive name length > 1024 char.
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 1052 place count 849 transition count 1008
Applied a total of 1052 rules in 291 ms. Remains 849 /5466 variables (removed 4617) and now considering 1008/7651 (removed 6643) transitions.
Finished structural reductions, in 1 iterations. Remains : 849/5466 places, 1008/7651 transitions.
[2021-05-19 00:07:06] [INFO ] Flatten gal took : 184 ms
[2021-05-19 00:07:06] [INFO ] Flatten gal took : 90 ms
[2021-05-19 00:07:06] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7536389059926488950.gal : 42 ms
[2021-05-19 00:07:06] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17344775362237555890.prop : 10 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/ReachabilityCardinality7536389059926488950.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17344775362237555890.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/ReachabilityCardinality7536389059926488950.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17344775362237555890.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17344775362237555890.prop.
Reachability property qltransition_60 is true.
Reachability property qltransition_59 is true.
Reachability property qltransition_58 is true.
Reachability property qltransition_57 is true.
Reachability property qltransition_56 is true.
Reachability property qltransition_55 is true.
SDD proceeding with computation,858 properties remain. new max is 2
SDD size :1 after 11
Reachability property qltransition_98 is true.
Reachability property qltransition_97 is true.
Reachability property qltransition_96 is true.
Reachability property qltransition_95 is true.
Reachability property qltransition_94 is true.
Reachability property qltransition_93 is true.
SDD proceeding with computation,852 properties remain. new max is 2
SDD size :11 after 55
Reachability property qltransition_140 is true.
Reachability property qltransition_139 is true.
Reachability property qltransition_138 is true.
Reachability property qltransition_137 is true.
Reachability property qltransition_136 is true.
Reachability property qltransition_135 is true.
SDD proceeding with computation,846 properties remain. new max is 2
SDD size :55 after 242
SDD proceeding with computation,846 properties remain. new max is 4
SDD size :242 after 1331
Reachability property qltransition_444 is true.
Reachability property qltransition_443 is true.
Reachability property qltransition_442 is true.
Reachability property qltransition_441 is true.
Reachability property qltransition_440 is true.
Reachability property qltransition_439 is true.
SDD proceeding with computation,840 properties remain. new max is 4
SDD size :1331 after 14641
Reachability property qltransition_514 is true.
Reachability property qltransition_513 is true.
Reachability property qltransition_512 is true.
Reachability property qltransition_511 is true.
Reachability property qltransition_510 is true.
Reachability property qltransition_509 is true.
SDD proceeding with computation,834 properties remain. new max is 4
SDD size :14641 after 161051
Reachability property qltransition_527 is true.
Reachability property qltransition_526 is true.
Reachability property qltransition_525 is true.
Reachability property qltransition_524 is true.
Reachability property qltransition_523 is true.
Reachability property qltransition_522 is true.
SDD proceeding with computation,828 properties remain. new max is 4
SDD size :161051 after 1.77156e+06
Reachability property qltransition_565 is true.
Reachability property qltransition_564 is true.
Reachability property qltransition_563 is true.
Reachability property qltransition_562 is true.
Reachability property qltransition_561 is true.
Reachability property qltransition_560 is true.
SDD proceeding with computation,822 properties remain. new max is 4
SDD size :1.77156e+06 after 1.94872e+07
Reachability property qltransition_536 is true.
Reachability property qltransition_535 is true.
Reachability property qltransition_534 is true.
Reachability property qltransition_533 is true.
Reachability property qltransition_532 is true.
Reachability property qltransition_531 is true.
SDD proceeding with computation,816 properties remain. new max is 4
SDD size :1.94872e+07 after 2.14359e+08
Reachability property qltransition_640 is true.
Reachability property qltransition_639 is true.
Reachability property qltransition_638 is true.
Reachability property qltransition_637 is true.
Reachability property qltransition_636 is true.
Reachability property qltransition_635 is true.
SDD proceeding with computation,810 properties remain. new max is 4
SDD size :2.14359e+08 after 2.35795e+09
Reachability property qltransition_661 is true.
Reachability property qltransition_660 is true.
Reachability property qltransition_659 is true.
Reachability property qltransition_658 is true.
Reachability property qltransition_657 is true.
Reachability property qltransition_656 is true.
SDD proceeding with computation,804 properties remain. new max is 4
SDD size :2.35795e+09 after 2.59374e+10
Reachability property qltransition_686 is true.
Reachability property qltransition_685 is true.
Reachability property qltransition_684 is true.
Reachability property qltransition_683 is true.
Reachability property qltransition_682 is true.
Reachability property qltransition_681 is true.
SDD proceeding with computation,798 properties remain. new max is 4
SDD size :2.59374e+10 after 2.85312e+11
Reachability property qltransition_703 is true.
Reachability property qltransition_702 is true.
Reachability property qltransition_701 is true.
Reachability property qltransition_700 is true.
Reachability property qltransition_699 is true.
Reachability property qltransition_698 is true.
SDD proceeding with computation,792 properties remain. new max is 4
SDD size :2.85312e+11 after 3.13843e+12
Reachability property qltransition_725 is true.
Reachability property qltransition_724 is true.
Reachability property qltransition_723 is true.
Reachability property qltransition_722 is true.
Reachability property qltransition_721 is true.
Reachability property qltransition_720 is true.
SDD proceeding with computation,786 properties remain. new max is 4
SDD size :3.13843e+12 after 3.45227e+13
Reachability property qltransition_754 is true.
Reachability property qltransition_753 is true.
Reachability property qltransition_752 is true.
Reachability property qltransition_751 is true.
Reachability property qltransition_750 is true.
Reachability property qltransition_749 is true.
SDD proceeding with computation,780 properties remain. new max is 4
SDD size :3.45227e+13 after 3.7975e+14
Reachability property qltransition_787 is true.
Reachability property qltransition_786 is true.
Reachability property qltransition_785 is true.
Reachability property qltransition_784 is true.
Reachability property qltransition_783 is true.
Reachability property qltransition_782 is true.
SDD proceeding with computation,774 properties remain. new max is 4
SDD size :3.7975e+14 after 4.17725e+15
Reachability property qltransition_762 is true.
Reachability property qltransition_761 is true.
Reachability property qltransition_760 is true.
Reachability property qltransition_759 is true.
Reachability property qltransition_758 is true.
Reachability property qltransition_757 is true.
SDD proceeding with computation,768 properties remain. new max is 4
SDD size :4.17725e+15 after 4.59497e+16
Reachability property qltransition_1170 is true.
Reachability property qltransition_1169 is true.
Reachability property qltransition_1168 is true.
Reachability property qltransition_1167 is true.
Reachability property qltransition_1166 is true.
Reachability property qltransition_1165 is true.
SDD proceeding with computation,762 properties remain. new max is 4
SDD size :4.59497e+16 after 5.05447e+17
Reachability property qltransition_1191 is true.
Reachability property qltransition_1190 is true.
Reachability property qltransition_1189 is true.
Reachability property qltransition_1188 is true.
Reachability property qltransition_1187 is true.
Reachability property qltransition_1186 is true.
SDD proceeding with computation,756 properties remain. new max is 4
SDD size :5.05447e+17 after 5.55992e+18
Reachability property qltransition_2142 is true.
Reachability property qltransition_2134 is true.
Reachability property qltransition_2133 is true.
Reachability property qltransition_2125 is true.
Reachability property qltransition_2124 is true.
Reachability property qltransition_2123 is true.
SDD proceeding with computation,750 properties remain. new max is 4
SDD size :5.55992e+18 after 6.11591e+19
Reachability property qltransition_1376 is true.
Reachability property qltransition_1375 is true.
Reachability property qltransition_1374 is true.
Reachability property qltransition_1373 is true.
Reachability property qltransition_1372 is true.
Reachability property qltransition_1371 is true.
SDD proceeding with computation,744 properties remain. new max is 4
SDD size :6.11591e+19 after 2.44636e+20
Reachability property qltransition_2132 is true.
Reachability property qltransition_2131 is true.
Reachability property qltransition_2130 is true.
Reachability property qltransition_2129 is true.
Reachability property qltransition_2128 is true.
Reachability property qltransition_2127 is true.
SDD proceeding with computation,738 properties remain. new max is 4
SDD size :2.44636e+20 after 4.3423e+21
Reachability property qltransition_1451 is true.
Reachability property qltransition_1450 is true.
Reachability property qltransition_1449 is true.
Reachability property qltransition_1448 is true.
Reachability property qltransition_1447 is true.
Reachability property qltransition_1446 is true.
SDD proceeding with computation,732 properties remain. new max is 4
SDD size :4.3423e+21 after 4.77652e+22
Reachability property qltransition_2149 is true.
Reachability property qltransition_2148 is true.
Reachability property qltransition_2147 is true.
Reachability property qltransition_2146 is true.
Reachability property qltransition_2145 is true.
Reachability property qltransition_2144 is true.
Reachability property qltransition_2141 is true.
Reachability property qltransition_2140 is true.
Reachability property qltransition_2139 is true.
Reachability property qltransition_2138 is true.
Reachability property qltransition_2137 is true.
Reachability property qltransition_2136 is true.
SDD proceeding with computation,720 properties remain. new max is 4
SDD size :4.77652e+22 after 7.36661e+23
Reachability property qltransition_1393 is true.
Reachability property qltransition_1392 is true.
Reachability property qltransition_1391 is true.
Reachability property qltransition_1390 is true.
Reachability property qltransition_1389 is true.
Reachability property qltransition_1388 is true.
SDD proceeding with computation,714 properties remain. new max is 4
SDD size :7.36661e+23 after 2.81344e+24
SDD proceeding with computation,714 properties remain. new max is 8
SDD size :2.81344e+24 after 1.54739e+25
Reachability property qltransition_2300 is true.
Reachability property qltransition_2292 is true.
Reachability property qltransition_2291 is true.
Reachability property qltransition_2283 is true.
Reachability property qltransition_2282 is true.
Reachability property qltransition_2281 is true.
SDD proceeding with computation,708 properties remain. new max is 8
SDD size :1.54739e+25 after 6.18957e+25
Reachability property qltransition_1644 is true.
Reachability property qltransition_1643 is true.
Reachability property qltransition_1642 is true.
Reachability property qltransition_1641 is true.
Reachability property qltransition_1640 is true.
Reachability property qltransition_1639 is true.
SDD proceeding with computation,702 properties remain. new max is 8
SDD size :6.18957e+25 after 6.80853e+26
Reachability property qltransition_2307 is true.
Reachability property qltransition_2306 is true.
Reachability property qltransition_2305 is true.
Reachability property qltransition_2304 is true.
Reachability property qltransition_2303 is true.
Reachability property qltransition_2302 is true.
Reachability property qltransition_2299 is true.
Reachability property qltransition_2298 is true.
Reachability property qltransition_2297 is true.
Reachability property qltransition_2296 is true.
Reachability property qltransition_2295 is true.
Reachability property qltransition_2294 is true.
Reachability property qltransition_2290 is true.
Reachability property qltransition_2289 is true.
Reachability property qltransition_2288 is true.
Reachability property qltransition_2287 is true.
Reachability property qltransition_2286 is true.
Reachability property qltransition_2285 is true.
SDD proceeding with computation,684 properties remain. new max is 8
SDD size :6.80853e+26 after 1.01617e+29
Reachability property qltransition_1686 is true.
Reachability property qltransition_1685 is true.
Reachability property qltransition_1684 is true.
Reachability property qltransition_1683 is true.
Reachability property qltransition_1682 is true.
Reachability property qltransition_1681 is true.
SDD proceeding with computation,678 properties remain. new max is 8
SDD size :1.01617e+29 after 3.91507e+30
Reachability property qltransition_2161 is true.
Reachability property qltransition_2160 is true.
Reachability property qltransition_2159 is true.
Reachability property qltransition_2158 is true.
Reachability property qltransition_2157 is true.
Reachability property qltransition_2156 is true.
Reachability property qltransition_1703 is true.
Reachability property qltransition_1702 is true.
Reachability property qltransition_1701 is true.
Reachability property qltransition_1700 is true.
Reachability property qltransition_1699 is true.
Reachability property qltransition_1698 is true.
SDD proceeding with computation,666 properties remain. new max is 8
SDD size :3.91507e+30 after 1.29197e+32
Reachability property qltransition_2902 is true.
Reachability property qltransition_2894 is true.
Reachability property qltransition_2893 is true.
Reachability property qltransition_2885 is true.
Reachability property qltransition_2884 is true.
Reachability property qltransition_2883 is true.
SDD proceeding with computation,660 properties remain. new max is 8
SDD size :1.29197e+32 after 5.21096e+33
Reachability property qltransition_2892 is true.
Reachability property qltransition_2891 is true.
Reachability property qltransition_2890 is true.
Reachability property qltransition_2889 is true.
Reachability property qltransition_2888 is true.
Reachability property qltransition_2887 is true.
Reachability property qltransition_2194 is true.
Reachability property qltransition_2193 is true.
Reachability property qltransition_2192 is true.
Reachability property qltransition_2191 is true.
Reachability property qltransition_2190 is true.
Reachability property qltransition_2189 is true.
SDD proceeding with computation,648 properties remain. new max is 8
SDD size :5.21096e+33 after 3.69978e+35
Reachability property qltransition_2909 is true.
Reachability property qltransition_2908 is true.
Reachability property qltransition_2907 is true.
Reachability property qltransition_2906 is true.
Reachability property qltransition_2905 is true.
Reachability property qltransition_2904 is true.
Reachability property qltransition_2901 is true.
Reachability property qltransition_2900 is true.
Reachability property qltransition_2899 is true.
Reachability property qltransition_2898 is true.
Reachability property qltransition_2897 is true.
Reachability property qltransition_2896 is true.
Reachability property qltransition_2270 is true.
Reachability property qltransition_2269 is true.
Reachability property qltransition_2268 is true.
Reachability property qltransition_2267 is true.
Reachability property qltransition_2266 is true.
Reachability property qltransition_2265 is true.
SDD proceeding with computation,630 properties remain. new max is 8
SDD size :3.69978e+35 after 3.42204e+37
Reachability property qltransition_2203 is true.
Reachability property qltransition_2202 is true.
Reachability property qltransition_2201 is true.
Reachability property qltransition_2200 is true.
Reachability property qltransition_2199 is true.
Reachability property qltransition_2198 is true.
SDD proceeding with computation,624 properties remain. new max is 8
SDD size :3.42204e+37 after 5.99287e+38
Reachability property qltransition_2965 is true.
Reachability property qltransition_2957 is true.
Reachability property qltransition_2956 is true.
Reachability property qltransition_2948 is true.
Reachability property qltransition_2947 is true.
Reachability property qltransition_2946 is true.
SDD proceeding with computation,618 properties remain. new max is 8
SDD size :5.99287e+38 after 5.27372e+39
Reachability property qltransition_2422 is true.
Reachability property qltransition_2421 is true.
Reachability property qltransition_2420 is true.
Reachability property qltransition_2419 is true.
Reachability property qltransition_2418 is true.
Reachability property qltransition_2417 is true.
SDD proceeding with computation,612 properties remain. new max is 8
SDD size :5.27372e+39 after 5.80109e+40
Reachability property qltransition_2955 is true.
Reachability property qltransition_2954 is true.
Reachability property qltransition_2953 is true.
Reachability property qltransition_2952 is true.
Reachability property qltransition_2951 is true.
Reachability property qltransition_2950 is true.
Reachability property qltransition_2610 is true.
Reachability property qltransition_2609 is true.
Reachability property qltransition_2608 is true.
Reachability property qltransition_2607 is true.
Reachability property qltransition_2606 is true.
Reachability property qltransition_2605 is true.
SDD proceeding with computation,600 properties remain. new max is 8
SDD size :5.80109e+40 after 3.08908e+42
Reachability property qltransition_2972 is true.
Reachability property qltransition_2971 is true.
Reachability property qltransition_2970 is true.
Reachability property qltransition_2969 is true.
Reachability property qltransition_2968 is true.
Reachability property qltransition_2967 is true.
Reachability property qltransition_2964 is true.
Reachability property qltransition_2963 is true.
Reachability property qltransition_2962 is true.
Reachability property qltransition_2961 is true.
Reachability property qltransition_2960 is true.
Reachability property qltransition_2959 is true.
SDD proceeding with computation,588 properties remain. new max is 8
SDD size :3.08908e+42 after 3.33577e+44
Detected timeout of ITS tools.
[2021-05-19 00:07:21] [INFO ] Flatten gal took : 77 ms
[2021-05-19 00:07:21] [INFO ] Applying decomposition
[2021-05-19 00:07:21] [INFO ] Flatten gal took : 74 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/graph1537054757777846678.txt, -o, /tmp/graph1537054757777846678.bin, -w, /tmp/graph1537054757777846678.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/graph1537054757777846678.bin, -l, -1, -v, -w, /tmp/graph1537054757777846678.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 00:07:22] [INFO ] Decomposing Gal with order
[2021-05-19 00:07:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 00:07:22] [INFO ] Removed a total of 1008 redundant transitions.
[2021-05-19 00:07:22] [INFO ] Flatten gal took : 212 ms
[2021-05-19 00:07:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 477 labels/synchronizations in 57 ms.
[2021-05-19 00:07:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11008542385329773592.gal : 17 ms
[2021-05-19 00:07:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9187784371989641219.prop : 6 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/ReachabilityCardinality11008542385329773592.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9187784371989641219.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/ReachabilityCardinality11008542385329773592.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9187784371989641219.prop --nowitness
Loading property file /tmp/ReachabilityCardinality9187784371989641219.prop.
SDD proceeding with computation,588 properties remain. new max is 4
SDD size :1 after 3.54312e+06
SDD proceeding with computation,588 properties remain. new max is 8
SDD size :3.54312e+06 after 8.86476e+25
Reachability property qltransition_2862 is true.
Reachability property qltransition_2861 is true.
Reachability property qltransition_2860 is true.
Reachability property qltransition_2859 is true.
Reachability property qltransition_2858 is true.
Reachability property qltransition_2857 is true.
Reachability property qltransition_2749 is true.
Reachability property qltransition_2748 is true.
Reachability property qltransition_2747 is true.
Reachability property qltransition_2746 is true.
Reachability property qltransition_2745 is true.
Reachability property qltransition_2744 is true.
Reachability property qltransition_2712 is true.
Reachability property qltransition_2711 is true.
Reachability property qltransition_2710 is true.
Reachability property qltransition_2709 is true.
Reachability property qltransition_2708 is true.
Reachability property qltransition_2707 is true.
Reachability property qltransition_2648 is true.
Reachability property qltransition_2647 is true.
Reachability property qltransition_2646 is true.
Reachability property qltransition_2645 is true.
Reachability property qltransition_2644 is true.
Reachability property qltransition_2643 is true.
SDD proceeding with computation,564 properties remain. new max is 8
SDD size :8.86476e+25 after 2.10211e+46
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,5.42579e+145,0.982955,21700,983,25,8561,795,2122,1763,49,418,0
Total reachable state count : 5.425791785410880825963336966414824106069e+145

Verifying 588 reachability properties.
Reachability property qltransition_2643 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2643,4.85433e+83,0.993119,21964,700,26,8561,795,2126,1763,52,418,3
Reachability property qltransition_2644 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2644,4.85433e+83,0.99513,21964,700,26,8561,795,2129,1763,52,418,6
Reachability property qltransition_2645 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2645,4.85433e+83,0.99672,21964,700,26,8561,795,2132,1763,53,418,9
Reachability property qltransition_2646 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2646,4.85433e+83,0.998109,21964,700,26,8561,795,2134,1763,53,418,9
Reachability property qltransition_2647 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2647,4.85433e+83,0.999545,21964,700,26,8561,795,2137,1763,54,418,12
Reachability property qltransition_2648 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2648,9.70866e+83,1.00122,21964,700,26,8561,795,2139,1763,54,418,12
Reachability property qltransition_2707 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2707,1.77992e+84,1.00287,21964,702,26,8561,795,2143,1763,54,418,13
Reachability property qltransition_2708 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2708,1.77992e+84,1.00459,21964,702,26,8561,795,2146,1763,54,418,14
Reachability property qltransition_2709 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2709,1.77992e+84,1.00586,21964,702,26,8561,795,2149,1763,54,418,15
Reachability property qltransition_2710 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2710,1.77992e+84,1.00694,21964,702,26,8561,795,2151,1763,54,418,15
Reachability property qltransition_2711 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2711,1.77992e+84,1.00805,21964,702,26,8561,795,2154,1763,54,418,16
Reachability property qltransition_2712 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2712,3.55984e+84,1.00969,21964,702,26,8561,795,2156,1763,54,418,16
Reachability property qltransition_2744 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2744,6.52637e+84,1.01239,21964,704,26,8561,795,2160,1763,54,418,17
Reachability property qltransition_2745 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2745,6.52637e+84,1.01482,21964,704,26,8561,795,2163,1763,54,418,18
Reachability property qltransition_2746 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2746,6.52637e+84,1.01595,21964,704,26,8561,795,2166,1763,54,418,19
Reachability property qltransition_2747 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2747,6.52637e+84,1.01721,21964,704,26,8561,795,2168,1763,54,418,19
Reachability property qltransition_2748 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2748,6.52637e+84,1.01852,21964,704,26,8561,795,2171,1763,54,418,20
Reachability property qltransition_2749 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2749,1.30527e+85,1.02025,21964,704,26,8561,795,2173,1763,54,418,20
Reachability property qltransition_2857 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2857,2.393e+85,1.02204,21964,706,26,8561,795,2177,1763,54,418,21
Reachability property qltransition_2858 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2858,2.393e+85,1.02382,21964,706,26,8561,795,2180,1763,54,418,22
Reachability property qltransition_2859 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2859,2.393e+85,1.0252,21964,706,26,8561,795,2183,1763,54,418,23
Reachability property qltransition_2860 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2860,2.393e+85,1.02655,21964,706,26,8561,795,2185,1763,54,418,23
Reachability property qltransition_2861 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2861,2.393e+85,1.02788,21964,706,26,8561,795,2188,1763,54,418,24
Reachability property qltransition_2862 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2862,4.78601e+85,1.02963,21964,706,26,8561,795,2190,1763,54,418,24
Reachability property qltransition_3009 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3009,4.26266e+91,1.03147,21964,772,26,8561,795,2191,1763,54,418,25
Reachability property qltransition_3010 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3010,4.26266e+91,1.03314,21964,772,26,8561,795,2192,1763,54,418,26
Reachability property qltransition_3011 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3011,4.26266e+91,1.03436,21964,772,26,8561,795,2193,1763,54,418,27
Reachability property qltransition_3012 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3012,4.26266e+91,1.03545,21964,772,26,8561,795,2194,1763,54,418,27
Reachability property qltransition_3013 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3013,4.26266e+91,1.03654,21964,772,26,8561,795,2195,1763,54,418,28
Reachability property qltransition_3014 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3014,8.52531e+91,1.03809,21964,772,26,8561,795,2196,1763,54,418,28
Reachability property qltransition_3018 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3018,1.56297e+92,1.03961,21964,774,26,8561,795,2197,1763,54,418,29
Reachability property qltransition_3019 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3019,1.56297e+92,1.04129,21964,774,26,8561,795,2198,1763,54,418,30
Reachability property qltransition_3020 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3020,1.56297e+92,1.04267,21964,774,26,8561,795,2199,1763,54,418,31
Reachability property qltransition_3021 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3021,1.56297e+92,1.04413,21964,774,26,8561,795,2200,1763,54,418,31
Reachability property qltransition_3022 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3022,1.56297e+92,1.04561,21964,774,26,8561,795,2201,1763,54,418,32
Reachability property qltransition_3023 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3023,3.12595e+92,1.0498,21964,774,26,8561,795,2202,1763,54,418,32
Reachability property qltransition_3059 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3059,5.73091e+92,1.05312,21964,776,26,8561,795,2203,1763,54,418,33
Reachability property qltransition_3060 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3060,5.73091e+92,1.05492,21964,776,26,8561,795,2204,1763,54,418,34
Reachability property qltransition_3061 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3061,5.73091e+92,1.05631,21964,776,26,8561,795,2205,1763,54,418,35
Reachability property qltransition_3062 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3062,5.73091e+92,1.05759,21964,776,26,8561,795,2206,1763,54,418,35
Reachability property qltransition_3063 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3063,5.73091e+92,1.05896,21964,776,26,8561,795,2207,1763,54,418,36
Reachability property qltransition_3064 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3064,1.14618e+93,1.06081,21964,776,26,8561,795,2208,1763,54,418,36
Reachability property qltransition_3110 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3110,2.10133e+93,1.06272,21964,778,26,8561,795,2209,1763,54,418,37
Reachability property qltransition_3111 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3111,2.10133e+93,1.06466,21964,778,26,8561,795,2210,1763,54,418,38
Reachability property qltransition_3112 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3112,2.10133e+93,1.06628,21964,778,26,8561,795,2211,1763,54,418,39
Reachability property qltransition_3113 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3113,2.10133e+93,1.06767,21964,778,26,8561,795,2212,1763,54,418,39
Reachability property qltransition_3114 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3114,2.10133e+93,1.06913,21964,778,26,8561,795,2213,1763,54,418,40
Reachability property qltransition_3115 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3115,4.20266e+93,1.07088,21964,778,26,8561,795,2214,1763,54,418,40
Reachability property qltransition_3168 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3168,7.70488e+93,1.07266,21964,780,26,8650,795,2215,1763,54,418,41
Reachability property qltransition_3169 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3169,7.70488e+93,1.07444,21964,780,26,8916,795,2216,1763,54,418,42
Reachability property qltransition_3170 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3170,7.70488e+93,1.07585,21964,780,26,8918,795,2217,1763,54,418,43
Reachability property qltransition_3171 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3171,7.70488e+93,1.07723,21964,780,26,8918,795,2218,1763,54,418,43
Reachability property qltransition_3172 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3172,7.70488e+93,1.07857,21964,780,26,8920,795,2219,1763,54,418,44
Reachability property qltransition_3173 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3173,1.54098e+94,1.08003,21964,780,26,9185,795,2220,1763,54,418,44
Reachability property qltransition_3177 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3177,2.82512e+94,1.08139,21964,782,26,9451,795,2221,1763,54,418,45
Reachability property qltransition_3178 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3178,2.82512e+94,1.08274,21964,782,26,9714,795,2222,1763,54,418,46
Reachability property qltransition_3179 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3179,2.82512e+94,1.08377,21964,782,26,9716,795,2223,1763,54,418,47
Reachability property qltransition_3180 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3180,2.82512e+94,1.08479,21964,782,26,9716,795,2224,1763,54,418,47
Reachability property qltransition_3181 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3181,2.82512e+94,1.08581,21964,782,26,9718,795,2225,1763,54,418,48
Reachability property qltransition_3182 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3182,5.65025e+94,1.08723,21964,782,26,9980,795,2226,1763,54,418,48
Reachability property qltransition_3206 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3206,1.03588e+95,1.08857,21964,784,26,10243,795,2227,1763,54,418,49
Reachability property qltransition_3207 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3207,1.03588e+95,1.08988,21964,784,26,10503,795,2228,1763,54,418,50
Reachability property qltransition_3208 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3208,1.03588e+95,1.0909,21964,784,26,10505,795,2229,1763,54,418,51
Reachability property qltransition_3209 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3209,1.03588e+95,1.0919,21964,784,26,10505,795,2230,1763,54,418,51
Reachability property qltransition_3210 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3210,1.03588e+95,1.09294,21964,784,26,10507,795,2231,1763,54,418,52
Reachability property qltransition_3211 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3211,2.07176e+95,1.09431,21964,784,26,10766,795,2232,1763,54,418,52
Reachability property qltransition_3240 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3240,3.79822e+95,1.09567,21964,786,26,11026,795,2233,1763,54,418,53
Reachability property qltransition_3241 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3241,3.79822e+95,1.09704,21964,786,26,11283,795,2234,1763,54,418,54
Reachability property qltransition_3242 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3242,3.79822e+95,1.09806,21964,786,26,11285,795,2235,1763,54,418,55
Reachability property qltransition_3243 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3243,3.79822e+95,1.09909,21964,786,26,11285,795,2236,1763,54,418,55
Reachability property qltransition_3244 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3244,3.79822e+95,1.10009,21964,786,26,11287,795,2237,1763,54,418,56
Reachability property qltransition_3245 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3245,7.59644e+95,1.1015,21964,786,26,11543,795,2238,1763,54,418,56
Reachability property qltransition_3399 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3399,1.39268e+96,1.10293,21964,788,26,11800,795,2239,1763,54,418,57
Reachability property qltransition_3400 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3400,1.39268e+96,1.10432,21964,788,26,12054,795,2240,1763,54,418,58
Reachability property qltransition_3401 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3401,1.39268e+96,1.10534,21964,788,26,12056,795,2241,1763,54,418,59
Reachability property qltransition_3402 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3402,1.39268e+96,1.1064,21964,788,26,12056,795,2242,1763,54,418,59
Reachability property qltransition_3403 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3403,1.39268e+96,1.10742,21964,788,26,12058,795,2243,1763,54,418,60
Reachability property qltransition_3404 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3404,2.78536e+96,1.10888,21964,788,26,12311,795,2244,1763,54,418,60
Reachability property qltransition_3517 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3517,5.1065e+96,1.11029,21964,790,26,12565,795,2245,1763,54,418,61
Reachability property qltransition_3518 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3518,5.1065e+96,1.1117,21964,790,26,12816,795,2246,1763,54,418,62
Reachability property qltransition_3519 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3519,5.1065e+96,1.11273,21964,790,26,12818,795,2247,1763,54,418,63
Reachability property qltransition_3520 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3520,5.1065e+96,1.11374,21964,790,26,12818,795,2248,1763,54,418,63
Reachability property qltransition_3521 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3521,5.1065e+96,1.1148,21964,790,26,12820,795,2249,1763,54,418,64
Reachability property qltransition_3522 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3522,1.0213e+97,1.1163,21964,790,26,13070,795,2250,1763,54,418,64
Reachability property qltransition_3556 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3556,1.87238e+97,1.12179,21964,792,26,13321,795,2251,1763,54,418,65
Reachability property qltransition_3557 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3557,1.87238e+97,1.12324,21964,792,26,13569,795,2252,1763,54,418,66
Reachability property qltransition_3558 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3558,1.87238e+97,1.12428,21964,792,26,13571,795,2253,1763,54,418,67
Reachability property qltransition_3559 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3559,1.87238e+97,1.12531,21964,792,26,13571,795,2254,1763,54,418,67
Reachability property qltransition_3560 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3560,1.87238e+97,1.12632,21964,792,26,13573,795,2255,1763,54,418,68
Reachability property qltransition_3561 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3561,3.74477e+97,1.13015,21964,792,26,13820,795,2256,1763,54,418,68
Reachability property qltransition_3576 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3576,6.8654e+97,1.13155,21964,794,26,14068,795,2257,1763,54,418,69
Reachability property qltransition_3577 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3577,6.8654e+97,1.13284,21964,794,26,14313,795,2258,1763,54,418,70
Reachability property qltransition_3578 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3578,6.8654e+97,1.13386,21964,794,26,14315,795,2259,1763,54,418,71
Reachability property qltransition_3579 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3579,6.8654e+97,1.13489,21964,794,26,14315,795,2260,1763,54,418,71
Reachability property qltransition_3580 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3580,6.8654e+97,1.13594,21964,794,26,14317,795,2261,1763,54,418,72
Reachability property qltransition_3581 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3581,1.37308e+98,1.1372,21964,794,26,14561,795,2262,1763,54,418,72
Reachability property qltransition_3626 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3626,2.51731e+98,1.13855,21964,796,26,14806,795,2263,1763,54,418,73
Reachability property qltransition_3627 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3627,2.51731e+98,1.14009,21964,796,26,15048,795,2264,1763,54,418,74
Reachability property qltransition_3628 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3628,2.51731e+98,1.14126,21964,796,26,15050,795,2265,1763,54,418,75
Reachability property qltransition_3629 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3629,2.51731e+98,1.14236,21964,796,26,15050,795,2266,1763,54,418,75
Reachability property qltransition_3630 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3630,2.51731e+98,1.14349,21964,796,26,15052,795,2267,1763,54,418,76
Reachability property qltransition_3631 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3631,5.03463e+98,1.14495,21964,796,26,15293,795,2268,1763,54,418,76
Reachability property qltransition_3765 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3765,9.23015e+98,1.1464,21964,798,26,15535,795,2269,1763,54,418,77
Reachability property qltransition_3766 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3766,9.23015e+98,1.14782,21964,798,26,15774,795,2270,1763,54,418,78
Reachability property qltransition_3767 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3767,9.23015e+98,1.14893,21964,798,26,15776,795,2271,1763,54,418,79
Reachability property qltransition_3768 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3768,9.23015e+98,1.15006,21964,798,26,15776,795,2272,1763,54,418,79
Reachability property qltransition_3769 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3769,9.23015e+98,1.15122,21964,798,26,15778,795,2273,1763,54,418,80
Reachability property qltransition_3770 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3770,1.84603e+99,1.15264,21964,798,26,16016,795,2274,1763,54,418,80
Reachability property qltransition_3808 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3808,3.38439e+99,1.15411,21964,800,26,16255,795,2275,1763,54,418,81
Reachability property qltransition_3809 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3809,3.38439e+99,1.15549,21964,800,26,16491,795,2276,1763,54,418,82
Reachability property qltransition_3810 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3810,3.38439e+99,1.15661,21964,800,26,16493,795,2277,1763,54,418,83
Reachability property qltransition_3811 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3811,3.38439e+99,1.15772,21964,800,26,16493,795,2278,1763,54,418,83
Reachability property qltransition_3812 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3812,3.38439e+99,1.15884,21964,800,26,16495,795,2279,1763,54,418,84
Reachability property qltransition_3813 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3813,6.76878e+99,1.16029,21964,800,26,16730,795,2280,1763,54,418,84
Reachability property qltransition_3867 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3867,1.24094e+100,1.16169,21964,802,26,16966,795,2281,1763,54,418,85
Reachability property qltransition_3868 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3868,1.24094e+100,1.1631,21964,802,26,17199,795,2282,1763,54,418,86
Reachability property qltransition_3869 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3869,1.24094e+100,1.16419,21964,802,26,17201,795,2283,1763,54,418,87
Reachability property qltransition_3870 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3870,1.24094e+100,1.1653,21964,802,26,17201,795,2284,1763,54,418,87
Reachability property qltransition_3871 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3871,1.24094e+100,1.16642,21964,802,26,17203,795,2285,1763,54,418,88
Reachability property qltransition_3872 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3872,2.48189e+100,1.16789,21964,802,26,17435,795,2286,1763,54,418,88
Reachability property qltransition_3930 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3930,4.55012e+100,1.16939,21964,804,26,17668,795,2287,1763,54,418,89
Reachability property qltransition_3931 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3931,4.55012e+100,1.1708,21964,804,26,17898,795,2288,1763,54,418,90
Reachability property qltransition_3932 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3932,4.55012e+100,1.1722,21964,804,26,17900,795,2289,1763,54,418,91
Reachability property qltransition_3933 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3933,4.55012e+100,1.17371,21964,804,26,17900,795,2290,1763,54,418,91
Reachability property qltransition_3934 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3934,4.55012e+100,1.17527,21964,804,26,17902,795,2291,1763,54,418,92
Reachability property qltransition_3935 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3935,9.10025e+100,1.1771,21964,804,26,18131,795,2292,1763,54,418,92
Reachability property qltransition_4046 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4046,1.66838e+101,1.179,21964,806,26,18361,795,2293,1763,54,418,93
Reachability property qltransition_4047 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4047,1.66838e+101,1.18083,21964,806,26,18588,795,2294,1763,54,418,94
Reachability property qltransition_4048 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4048,1.66838e+101,1.18224,21964,806,26,18590,795,2295,1763,54,418,95
Reachability property qltransition_4049 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4049,1.66838e+101,1.18361,21964,806,26,18590,795,2296,1763,54,418,95
Reachability property qltransition_4050 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4050,1.66838e+101,1.18508,21964,806,26,18592,795,2297,1763,54,418,96
Reachability property qltransition_4051 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4051,3.33676e+101,1.18667,21964,806,26,18818,795,2298,1763,54,418,96
Reachability property qltransition_4080 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4080,6.11739e+101,1.18826,21964,808,26,19045,795,2299,1763,54,418,97
Reachability property qltransition_4081 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4081,6.11739e+101,1.18991,21964,808,26,19269,795,2300,1763,54,418,98
Reachability property qltransition_4082 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4082,6.11739e+101,1.19119,21964,808,26,19271,795,2301,1763,54,418,99
Reachability property qltransition_4083 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4083,6.11739e+101,1.19241,21964,808,26,19271,795,2302,1763,54,418,99
Reachability property qltransition_4084 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4084,6.11739e+101,1.19363,21964,808,26,19273,795,2303,1763,54,418,100
Reachability property qltransition_4085 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4085,1.22348e+102,1.19515,21964,808,26,19496,795,2304,1763,54,418,100
Reachability property qltransition_4089 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4089,2.24304e+102,1.19664,21964,810,26,19720,795,2305,1763,54,418,101
Reachability property qltransition_4090 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4090,2.24304e+102,1.19834,21964,810,26,19941,795,2306,1763,54,418,102
Reachability property qltransition_4091 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4091,2.24304e+102,1.19989,21964,810,26,19943,795,2307,1763,54,418,103
Reachability property qltransition_4092 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4092,2.24304e+102,1.20139,21964,810,26,19943,795,2308,1763,54,418,103
Reachability property qltransition_4093 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4093,2.24304e+102,1.20294,21964,810,26,19945,795,2309,1763,54,418,104
Reachability property qltransition_4094 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4094,4.48609e+102,1.20474,21964,810,26,20165,795,2310,1763,54,418,104
Reachability property qltransition_4110 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4110,8.22449e+102,1.20657,21964,812,26,20386,795,2311,1763,54,418,105
Reachability property qltransition_4111 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4111,8.22449e+102,1.20857,21964,812,26,20604,795,2312,1763,54,418,106
Reachability property qltransition_4112 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4112,8.22449e+102,1.21013,21964,812,26,20606,795,2313,1763,54,418,107
Reachability property qltransition_4113 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4113,8.22449e+102,1.21155,21964,812,26,20606,795,2314,1763,54,418,107
Reachability property qltransition_4114 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4114,8.22449e+102,1.21298,21964,812,26,20608,795,2315,1763,54,418,108
Reachability property qltransition_4115 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4115,1.6449e+103,1.21466,21964,812,26,20825,795,2316,1763,54,418,108
Reachability property qltransition_4139 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4139,3.01565e+103,1.21624,21964,814,26,21043,795,2317,1763,54,418,109
Reachability property qltransition_4140 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4140,3.01565e+103,1.21771,21964,814,26,21258,795,2318,1763,54,418,110
Reachability property qltransition_4141 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4141,3.01565e+103,1.21891,21964,814,26,21260,795,2319,1763,54,418,111
Reachability property qltransition_4142 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4142,3.01565e+103,1.22003,21964,814,26,21260,795,2320,1763,54,418,111
Reachability property qltransition_4143 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4143,3.01565e+103,1.22119,21964,814,26,21262,795,2321,1763,54,418,112
Reachability property qltransition_4144 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4144,6.03129e+103,1.22269,21964,814,26,21476,795,2322,1763,54,418,112
Reachability property qltransition_4148 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4148,1.10574e+104,1.22429,21964,816,26,21691,795,2323,1763,54,418,113
Reachability property qltransition_4149 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4149,1.10574e+104,1.22617,21964,816,26,21903,795,2324,1763,54,418,114
Reachability property qltransition_4150 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4150,1.10574e+104,1.22785,21964,816,26,21905,795,2325,1763,54,418,115
Reachability property qltransition_4151 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4151,1.10574e+104,1.22944,21964,816,26,21905,795,2326,1763,54,418,115
Reachability property qltransition_4152 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4152,1.10574e+104,1.23107,21964,816,26,21907,795,2327,1763,54,418,116
Reachability property qltransition_4153 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4153,2.21147e+104,1.23303,21964,816,26,22118,795,2328,1763,54,418,116
Reachability property qltransition_4172 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4172,4.05437e+104,1.23509,21964,818,26,22330,795,2329,1763,54,418,117
Reachability property qltransition_4173 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4173,4.05437e+104,1.23718,21964,818,26,22539,795,2330,1763,54,418,118
Reachability property qltransition_4174 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4174,4.05437e+104,1.23879,21964,818,26,22541,795,2331,1763,54,418,119
Reachability property qltransition_4175 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4175,4.05437e+104,1.2404,21964,818,26,22541,795,2332,1763,54,418,119
Reachability property qltransition_4176 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4176,4.05437e+104,1.24207,21964,818,26,22543,795,2333,1763,54,418,120
Reachability property qltransition_4177 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4177,8.10874e+104,1.244,21964,818,26,22751,795,2334,1763,54,418,120
Reachability property qltransition_4189 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4189,1.4866e+105,1.24593,21964,820,26,22960,795,2335,1763,54,418,121
Reachability property qltransition_4190 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4190,1.4866e+105,1.24808,21964,820,26,23166,795,2336,1763,54,418,122
Reachability property qltransition_4191 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4191,1.4866e+105,1.24996,21964,820,26,23168,795,2337,1763,54,418,123
Reachability property qltransition_4192 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4192,1.4866e+105,1.25165,21964,820,26,23168,795,2338,1763,54,418,123
Reachability property qltransition_4193 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4193,1.4866e+105,1.25334,21964,820,26,23170,795,2339,1763,54,418,124
Reachability property qltransition_4194 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4194,2.9732e+105,1.25549,21964,820,26,23375,795,2340,1763,54,418,124
Reachability property qltransition_4219 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4219,5.45087e+105,1.25754,21964,822,26,23581,795,2341,1763,54,418,125
Reachability property qltransition_4220 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4220,5.45087e+105,1.25958,21964,822,26,23784,795,2342,1763,54,418,126
Reachability property qltransition_4221 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4221,5.45087e+105,1.2612,21964,822,26,23786,795,2343,1763,54,418,127
Reachability property qltransition_4222 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4222,5.45087e+105,1.26287,21964,822,26,23786,795,2344,1763,54,418,127
Reachability property qltransition_4223 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4223,5.45087e+105,1.26446,21964,822,26,23788,795,2345,1763,54,418,128
Reachability property qltransition_4224 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4224,1.09017e+106,1.26638,21964,822,26,23990,795,2346,1763,54,418,128
Reachability property qltransition_4231 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4231,1.99865e+106,1.26831,21964,824,26,24193,795,2347,1763,54,418,129
Reachability property qltransition_4232 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4232,1.99865e+106,1.27017,21964,824,26,24393,795,2348,1763,54,418,130
Reachability property qltransition_4233 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4233,1.99865e+106,1.2718,21964,824,26,24395,795,2349,1763,54,418,131
Reachability property qltransition_4234 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4234,1.99865e+106,1.27328,21964,824,26,24395,795,2350,1763,54,418,131
Reachability property qltransition_4235 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4235,1.99865e+106,1.2745,21964,824,26,24397,795,2351,1763,54,418,132
Reachability property qltransition_4236 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4236,3.99731e+106,1.27608,21964,824,26,24596,795,2352,1763,54,418,132
Reachability property qltransition_4248 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4248,7.3284e+106,1.27757,21964,826,26,24796,795,2353,1763,54,418,133
Reachability property qltransition_4249 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4249,7.3284e+106,1.27906,21964,826,26,24993,795,2354,1763,54,418,134
Reachability property qltransition_4250 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4250,7.3284e+106,1.2802,21964,826,26,24995,795,2355,1763,54,418,135
Reachability property qltransition_4251 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4251,7.3284e+106,1.28144,21964,826,26,24995,795,2356,1763,54,418,135
Reachability property qltransition_4252 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4252,7.3284e+106,1.28267,21964,826,26,24997,795,2357,1763,54,418,136
Reachability property qltransition_4253 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4253,1.46568e+107,1.28433,21964,826,26,25193,795,2358,1763,54,418,136
Reachability property qltransition_4319 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4319,2.68708e+107,1.28592,21964,828,26,25390,795,2359,1763,54,418,137
Reachability property qltransition_4320 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4320,2.68708e+107,1.28756,21964,828,26,25584,795,2360,1763,54,418,138
Reachability property qltransition_4321 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4321,2.68708e+107,1.2888,21964,828,26,25586,795,2361,1763,54,418,139
Reachability property qltransition_4322 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4322,2.68708e+107,1.29005,21964,828,26,25586,795,2362,1763,54,418,139
Reachability property qltransition_4323 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4323,2.68708e+107,1.29131,21964,828,26,25588,795,2363,1763,54,418,140
Reachability property qltransition_4324 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4324,5.37416e+107,1.29292,21964,828,26,25781,795,2364,1763,54,418,140
Reachability property qltransition_4348 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4348,9.85262e+107,1.29456,21964,830,26,25975,795,2365,1763,54,418,141
Reachability property qltransition_4349 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4349,9.85262e+107,1.29611,21964,830,26,26166,795,2366,1763,54,418,142
Reachability property qltransition_4350 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4350,9.85262e+107,1.29735,21964,830,26,26168,795,2367,1763,54,418,143
Reachability property qltransition_4351 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4351,9.85262e+107,1.29856,21964,830,26,26168,795,2368,1763,54,418,143
Reachability property qltransition_4352 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4352,9.85262e+107,1.29979,21964,830,26,26170,795,2369,1763,54,418,144
Reachability property qltransition_4353 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4353,1.97052e+108,1.31037,21964,830,26,26360,795,2370,1763,54,418,144
Reachability property qltransition_4382 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4382,3.61263e+108,1.31217,21964,832,26,26551,795,2371,1763,54,418,145
Reachability property qltransition_4383 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4383,3.61263e+108,1.31377,21964,832,26,26739,795,2372,1763,54,418,146
Reachability property qltransition_4384 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4384,3.61263e+108,1.31507,21964,832,26,26741,795,2373,1763,54,418,147
Reachability property qltransition_4385 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4385,3.61263e+108,1.31626,21964,832,26,26741,795,2374,1763,54,418,147
Reachability property qltransition_4386 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4386,3.61263e+108,1.31747,21964,832,26,26743,795,2375,1763,54,418,148
Reachability property qltransition_4387 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4387,7.22526e+108,1.32404,21964,832,26,26930,795,2376,1763,54,418,148
Reachability property qltransition_4424 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4424,1.32463e+109,1.32595,21964,834,26,27118,795,2377,1763,54,418,149
Reachability property qltransition_4425 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4425,1.32463e+109,1.32753,21964,834,26,27303,795,2378,1763,54,418,150
Reachability property qltransition_4426 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4426,1.32463e+109,1.32879,21964,834,26,27305,795,2379,1763,54,418,151
Reachability property qltransition_4427 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4427,1.32463e+109,1.33005,21964,834,26,27305,795,2380,1763,54,418,151
Reachability property qltransition_4428 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4428,1.32463e+109,1.33127,21964,834,26,27307,795,2381,1763,54,418,152
Reachability property qltransition_4429 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4429,2.64926e+109,1.33296,21964,834,26,27491,795,2382,1763,54,418,152
Reachability property qltransition_4441 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4441,4.85698e+109,1.33441,21964,836,26,27676,795,2383,1763,54,418,153
Reachability property qltransition_4442 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4442,4.85698e+109,1.33584,21964,836,26,27858,795,2384,1763,54,418,154
Reachability property qltransition_4443 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4443,4.85698e+109,1.33702,21964,836,26,27860,795,2385,1763,54,418,155
Reachability property qltransition_4444 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4444,4.85698e+109,1.33817,21964,836,26,27860,795,2386,1763,54,418,155
Reachability property qltransition_4445 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4445,4.85698e+109,1.33946,21964,836,26,27862,795,2387,1763,54,418,156
Reachability property qltransition_4446 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4446,9.71396e+109,1.34085,21964,836,26,28043,795,2388,1763,54,418,156
Reachability property qltransition_4457 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4457,1.78089e+110,1.34224,21964,838,26,28225,795,2389,1763,54,418,157
Reachability property qltransition_4458 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4458,1.78089e+110,1.3436,21964,838,26,28404,795,2390,1763,54,418,158
Reachability property qltransition_4459 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4459,1.78089e+110,1.34467,21964,838,26,28406,795,2391,1763,54,418,159
Reachability property qltransition_4460 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4460,1.78089e+110,1.34578,21964,838,26,28406,795,2392,1763,54,418,159
Reachability property qltransition_4461 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4461,1.78089e+110,1.34689,21964,838,26,28408,795,2393,1763,54,418,160
Reachability property qltransition_4462 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4462,3.56178e+110,1.3482,21964,838,26,28586,795,2394,1763,54,418,160
Reachability property qltransition_4466 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4466,6.52994e+110,1.34953,21964,840,26,28765,795,2395,1763,54,418,161
Reachability property qltransition_4467 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4467,6.52994e+110,1.35084,21964,840,26,28941,795,2396,1763,54,418,162
Reachability property qltransition_4468 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4468,6.52994e+110,1.35192,21964,840,26,28943,795,2397,1763,54,418,163
Reachability property qltransition_4469 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4469,6.52994e+110,1.35299,21964,840,26,28943,795,2398,1763,54,418,163
Reachability property qltransition_4470 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4470,6.52994e+110,1.35413,21964,840,26,28945,795,2399,1763,54,418,164
Reachability property qltransition_4471 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4471,1.30599e+111,1.35546,21964,840,26,29120,795,2400,1763,54,418,164
Reachability property qltransition_4487 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4487,2.39431e+111,1.35676,21964,842,26,29296,795,2401,1763,54,418,165
Reachability property qltransition_4488 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4488,2.39431e+111,1.35811,21964,842,26,29469,795,2402,1763,54,418,166
Reachability property qltransition_4489 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4489,2.39431e+111,1.35923,21964,842,26,29471,795,2403,1763,54,418,167
Reachability property qltransition_4490 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4490,2.39431e+111,1.36035,21964,842,26,29471,795,2404,1763,54,418,167
Reachability property qltransition_4491 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4491,2.39431e+111,1.36149,21964,842,26,29473,795,2405,1763,54,418,168
Reachability property qltransition_4492 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4492,4.78862e+111,1.36293,21964,842,26,29645,795,2406,1763,54,418,168
Reachability property qltransition_4496 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4496,8.77914e+111,1.36431,21964,844,26,29818,795,2407,1763,54,418,169
Reachability property qltransition_4497 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4497,8.77914e+111,1.36573,21964,844,26,29988,795,2408,1763,54,418,170
Reachability property qltransition_4498 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4498,8.77914e+111,1.36694,21964,844,26,29990,795,2409,1763,54,418,171
Reachability property qltransition_4499 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4499,8.77914e+111,1.36807,21964,844,26,29990,795,2410,1763,54,418,171
Reachability property qltransition_4500 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4500,8.77914e+111,1.36928,21964,844,26,29992,795,2411,1763,54,418,172
Reachability property qltransition_4501 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4501,1.75583e+112,1.37079,21964,844,26,30161,795,2412,1763,54,418,172
Reachability property qltransition_4571 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4571,3.21902e+112,1.37221,21964,846,26,30331,795,2413,1763,54,418,173
Reachability property qltransition_4572 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4572,3.21902e+112,1.37359,21964,846,26,30498,795,2414,1763,54,418,174
Reachability property qltransition_4573 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4573,3.21902e+112,1.37476,21964,846,26,30500,795,2415,1763,54,418,175
Reachability property qltransition_4574 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4574,3.21902e+112,1.37606,21964,846,26,30500,795,2416,1763,54,418,175
Reachability property qltransition_4575 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4575,3.21902e+112,1.3774,21964,846,26,30502,795,2417,1763,54,418,176
Reachability property qltransition_4576 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4576,6.43803e+112,1.37928,21964,846,26,30668,795,2418,1763,54,418,176
Reachability property qltransition_4584 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4584,1.18031e+113,1.38127,21964,848,26,30835,795,2419,1763,54,418,177
Reachability property qltransition_4585 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4585,1.18031e+113,1.38321,21964,848,26,30999,795,2420,1763,54,418,178
Reachability property qltransition_4586 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4586,1.18031e+113,1.38491,21964,848,26,31001,795,2421,1763,54,418,179
Reachability property qltransition_4587 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4587,1.18031e+113,1.38652,21964,848,26,31001,795,2422,1763,54,418,179
Reachability property qltransition_4588 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4588,1.18031e+113,1.3881,21964,848,26,31003,795,2423,1763,54,418,180
Reachability property qltransition_4589 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4589,2.36061e+113,1.39004,21964,848,26,31166,795,2424,1763,54,418,180
Reachability property qltransition_4601 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4601,4.32779e+113,1.39187,21964,850,26,31330,795,2425,1763,54,418,181
Reachability property qltransition_4602 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4602,4.32779e+113,1.39353,21964,850,26,31491,795,2426,1763,54,418,182
Reachability property qltransition_4603 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4603,4.32779e+113,1.39489,21964,850,26,31493,795,2427,1763,54,418,183
Reachability property qltransition_4604 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4604,4.32779e+113,1.39632,21964,850,26,31493,795,2428,1763,54,418,183
Reachability property qltransition_4605 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4605,4.32779e+113,1.39794,21964,850,26,31495,795,2429,1763,54,418,184
Reachability property qltransition_4606 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4606,8.65558e+113,1.3996,21964,850,26,31655,795,2430,1763,54,418,184
Reachability property qltransition_4686 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4686,1.58686e+114,1.40131,21964,852,26,31816,795,2431,1763,54,418,185
Reachability property qltransition_4687 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4687,1.58686e+114,1.40283,21964,852,26,31974,795,2432,1763,54,418,186
Reachability property qltransition_4688 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4688,1.58686e+114,1.4041,21964,852,26,31976,795,2433,1763,54,418,187
Reachability property qltransition_4689 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4689,1.58686e+114,1.40537,21964,852,26,31976,795,2434,1763,54,418,187
Reachability property qltransition_4690 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4690,1.58686e+114,1.40697,21964,852,26,31978,795,2435,1763,54,418,188
Reachability property qltransition_4691 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4691,3.17371e+114,1.40881,21964,852,26,32135,795,2436,1763,54,418,188
Reachability property qltransition_4694 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4694,5.81847e+114,1.41072,21964,854,26,32293,795,2437,1763,54,418,189
Reachability property qltransition_4695 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4695,5.81847e+114,1.41262,21964,854,26,32448,795,2438,1763,54,418,190
Reachability property qltransition_4696 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4696,5.81847e+114,1.4143,21964,854,26,32450,795,2439,1763,54,418,191
Reachability property qltransition_4697 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4697,5.81847e+114,1.4159,21964,854,26,32450,795,2440,1763,54,418,191
Reachability property qltransition_4698 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4698,5.81847e+114,1.41758,21964,854,26,32452,795,2441,1763,54,418,192
Reachability property qltransition_4699 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4699,1.16369e+115,1.41943,21964,854,26,32606,795,2442,1763,54,418,192
Reachability property qltransition_4769 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4769,2.13344e+115,1.4213,21964,856,26,32761,795,2443,1763,54,418,193
Reachability property qltransition_4770 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4770,2.13344e+115,1.42316,21964,856,26,32913,795,2444,1763,54,418,194
Reachability property qltransition_4771 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4771,2.13344e+115,1.42464,21964,856,26,32915,795,2445,1763,54,418,195
Reachability property qltransition_4772 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4772,2.13344e+115,1.42603,21964,856,26,32915,795,2446,1763,54,418,195
Reachability property qltransition_4773 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4773,2.13344e+115,1.42749,21964,856,26,32917,795,2447,1763,54,418,196
Reachability property qltransition_4774 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4774,4.26688e+115,1.429,21964,856,26,33068,795,2448,1763,54,418,196
Reachability property qltransition_4786 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4786,7.82261e+115,1.43053,21964,858,26,33220,795,2449,1763,54,418,197
Reachability property qltransition_4787 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4787,7.82261e+115,1.43219,21964,858,26,33369,795,2450,1763,54,418,198
Reachability property qltransition_4788 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4788,7.82261e+115,1.43362,21964,858,26,33371,795,2451,1763,54,418,199
Reachability property qltransition_4789 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4789,7.82261e+115,1.43494,21964,858,26,33371,795,2452,1763,54,418,199
Reachability property qltransition_4790 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4790,7.82261e+115,1.43654,21964,858,26,33373,795,2453,1763,54,418,200
Reachability property qltransition_4791 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4791,1.56452e+116,1.43839,21964,858,26,33521,795,2454,1763,54,418,200
Reachability property qltransition_4911 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4911,2.86829e+116,1.44037,21964,860,26,33670,795,2455,1763,54,418,201
Reachability property qltransition_4912 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4912,2.86829e+116,1.44222,21964,860,26,33816,795,2456,1763,54,418,202
Reachability property qltransition_4913 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4913,2.86829e+116,1.44381,21964,860,26,33818,795,2457,1763,54,418,203
Reachability property qltransition_4914 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4914,2.86829e+116,1.44534,21964,860,26,33818,795,2458,1763,54,418,203
Reachability property qltransition_4915 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4915,2.86829e+116,1.44693,21964,860,26,33820,795,2459,1763,54,418,204
Reachability property qltransition_4916 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4916,5.73658e+116,1.44871,21964,860,26,33965,795,2460,1763,54,418,204
Reachability property qltransition_4987 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4987,1.05171e+117,1.45048,21964,862,26,34111,795,2461,1763,54,418,205
Reachability property qltransition_4988 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4988,1.05171e+117,1.45224,21964,862,26,34254,795,2462,1763,54,418,206
Reachability property qltransition_4989 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4989,1.05171e+117,1.45378,21964,862,26,34256,795,2463,1763,54,418,207
Reachability property qltransition_4990 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4990,1.05171e+117,1.45528,21964,862,26,34256,795,2464,1763,54,418,207
Reachability property qltransition_4991 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4991,1.05171e+117,1.45692,21964,862,26,34258,795,2465,1763,54,418,208
Reachability property qltransition_4992 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4992,2.10341e+117,1.45886,21964,862,26,34400,795,2466,1763,54,418,208
Reachability property qltransition_5141 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5141,3.85626e+117,1.46076,21964,864,26,34543,795,2467,1763,54,418,209
Reachability property qltransition_5142 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5142,3.85626e+117,1.46284,21964,864,26,34683,795,2468,1763,54,418,210
Reachability property qltransition_5143 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5143,3.85626e+117,1.46446,21964,864,26,34685,795,2469,1763,54,418,211
Reachability property qltransition_5144 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5144,3.85626e+117,1.46626,21964,864,26,34685,795,2470,1763,54,418,211
Reachability property qltransition_5145 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5145,3.85626e+117,1.46805,21964,864,26,34687,795,2471,1763,54,418,212
Reachability property qltransition_5146 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5146,7.71252e+117,1.46997,21964,864,26,34826,795,2472,1763,54,418,212
Reachability property qltransition_5154 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5154,1.41396e+118,1.47193,21964,866,26,34966,795,2473,1763,54,418,213
Reachability property qltransition_5155 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5155,1.41396e+118,1.47387,21964,866,26,35103,795,2474,1763,54,418,214
Reachability property qltransition_5156 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5156,1.41396e+118,1.4756,21964,866,26,35105,795,2475,1763,54,418,215
Reachability property qltransition_5157 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5157,1.41396e+118,1.47728,21964,866,26,35105,795,2476,1763,54,418,215
Reachability property qltransition_5158 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5158,1.41396e+118,1.47889,21964,866,26,35107,795,2477,1763,54,418,216
Reachability property qltransition_5159 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5159,2.82792e+118,1.48046,21964,866,26,35243,795,2478,1763,54,418,216
Reachability property qltransition_5163 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5163,5.18453e+118,1.48184,21964,868,26,35380,795,2479,1763,54,418,217
Reachability property qltransition_5164 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5164,5.18453e+118,1.48319,21964,868,26,35514,795,2480,1763,54,418,218
Reachability property qltransition_5165 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5165,5.18453e+118,1.48436,21964,868,26,35516,795,2481,1763,54,418,219
Reachability property qltransition_5166 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5166,5.18453e+118,1.4855,21964,868,26,35516,795,2482,1763,54,418,219
Reachability property qltransition_5167 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5167,5.18453e+118,1.48666,21964,868,26,35518,795,2483,1763,54,418,220
Reachability property qltransition_5168 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5168,1.03691e+119,1.488,21964,868,26,35651,795,2484,1763,54,418,220
Reachability property qltransition_5200 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5200,1.90099e+119,1.48937,21964,870,26,35785,795,2485,1763,54,418,221
Reachability property qltransition_5201 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5201,1.90099e+119,1.49087,21964,870,26,35916,795,2486,1763,54,418,222
Reachability property qltransition_5202 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5202,1.90099e+119,1.49203,21964,870,26,35918,795,2487,1763,54,418,223
Reachability property qltransition_5203 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5203,1.90099e+119,1.49334,21964,870,26,35918,795,2488,1763,54,418,223
Reachability property qltransition_5204 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5204,1.90099e+119,1.49449,21964,870,26,35920,795,2489,1763,54,418,224
Reachability property qltransition_5205 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5205,3.80199e+119,1.49588,21964,870,26,36050,795,2490,1763,54,418,224
Reachability property qltransition_5234 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5234,6.97031e+119,1.49723,21964,872,26,36181,795,2491,1763,54,418,225
Reachability property qltransition_5235 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5235,6.97031e+119,1.49856,21964,872,26,36309,795,2492,1763,54,418,226
Reachability property qltransition_5236 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5236,6.97031e+119,1.49975,21964,872,26,36311,795,2493,1763,54,418,227
Reachability property qltransition_5237 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5237,6.97031e+119,1.50086,21964,872,26,36311,795,2494,1763,54,418,227
Reachability property qltransition_5238 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5238,6.97031e+119,1.50202,21964,872,26,36313,795,2495,1763,54,418,228
Reachability property qltransition_5239 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5239,1.39406e+120,1.50347,21964,872,26,36440,795,2496,1763,54,418,228
Reachability property qltransition_5293 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5293,2.55578e+120,1.50481,21964,874,26,36568,795,2497,1763,54,418,229
Reachability property qltransition_5294 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5294,2.55578e+120,1.50618,21964,874,26,36693,795,2498,1763,54,418,230
Reachability property qltransition_5295 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5295,2.55578e+120,1.50734,21964,874,26,36695,795,2499,1763,54,418,231
Reachability property qltransition_5296 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5296,2.55578e+120,1.50846,21964,874,26,36695,795,2500,1763,54,418,231
Reachability property qltransition_5297 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5297,2.55578e+120,1.50961,21964,874,26,36697,795,2501,1763,54,418,232
Reachability property qltransition_5298 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5298,5.11156e+120,1.51093,21964,874,26,36821,795,2502,1763,54,418,232
Reachability property qltransition_5339 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5339,9.37119e+120,1.51223,21964,876,26,36946,795,2503,1763,54,418,233
Reachability property qltransition_5340 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5340,9.37119e+120,1.51355,21964,876,26,37068,795,2504,1763,54,418,234
Reachability property qltransition_5341 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5341,9.37119e+120,1.51471,21964,876,26,37070,795,2505,1763,54,418,235
Reachability property qltransition_5342 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5342,9.37119e+120,1.51585,21964,876,26,37070,795,2506,1763,54,418,235
Reachability property qltransition_5343 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5343,9.37119e+120,1.51698,21964,876,26,37072,795,2507,1763,54,418,236
Reachability property qltransition_5344 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5344,1.87424e+121,1.51829,21964,876,26,37193,795,2508,1763,54,418,236
Reachability property qltransition_5368 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5368,3.4361e+121,1.5196,21964,878,26,37315,795,2509,1763,54,418,237
Reachability property qltransition_5369 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5369,3.4361e+121,1.52089,21964,878,26,37434,795,2510,1763,54,418,238
Reachability property qltransition_5370 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5370,3.4361e+121,1.52205,21964,878,26,37436,795,2511,1763,54,418,239
Reachability property qltransition_5371 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5371,3.4361e+121,1.52336,21964,878,26,37436,795,2512,1763,54,418,239
Reachability property qltransition_5372 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5372,3.4361e+121,1.5245,21964,878,26,37438,795,2513,1763,54,418,240
Reachability property qltransition_5373 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5373,6.87221e+121,1.5258,21964,878,26,37556,795,2514,1763,54,418,240
Reachability property qltransition_5482 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5482,1.2599e+122,1.52712,21964,880,26,37675,795,2515,1763,54,418,241
Reachability property qltransition_5483 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5483,1.2599e+122,1.52841,21964,880,26,37791,795,2516,1763,54,418,242
Reachability property qltransition_5484 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5484,1.2599e+122,1.52972,21964,880,26,37793,795,2517,1763,54,418,243
Reachability property qltransition_5485 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5485,1.2599e+122,1.5309,21964,880,26,37793,795,2518,1763,54,418,243
Reachability property qltransition_5486 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5486,1.2599e+122,1.53202,21964,880,26,37795,795,2519,1763,54,418,244
Reachability property qltransition_5487 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5487,2.51981e+122,1.53335,21964,880,26,37910,795,2520,1763,54,418,244
Reachability property qltransition_5600 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5600,4.61965e+122,1.53466,21964,882,26,38026,795,2521,1763,54,418,245
Reachability property qltransition_5601 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5601,4.61965e+122,1.53597,21964,882,26,38139,795,2522,1763,54,418,246
Reachability property qltransition_5602 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5602,4.61965e+122,1.53711,21964,882,26,38141,795,2523,1763,54,418,247
Reachability property qltransition_5603 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5603,4.61965e+122,1.53822,21964,882,26,38141,795,2524,1763,54,418,247
Reachability property qltransition_5604 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5604,4.61965e+122,1.53939,21964,882,26,38143,795,2525,1763,54,418,248
Reachability property qltransition_5605 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5605,9.2393e+122,1.54068,21964,882,26,38255,795,2526,1763,54,418,248
Reachability property qltransition_5608 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5608,1.69387e+123,1.542,21964,884,26,38368,795,2527,1763,54,418,249
Reachability property qltransition_5609 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5609,1.69387e+123,1.5433,21964,884,26,38478,795,2528,1763,54,418,250
Reachability property qltransition_5610 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5610,1.69387e+123,1.54443,21964,884,26,38480,795,2529,1763,54,418,251
Reachability property qltransition_5611 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5611,1.69387e+123,1.54571,21964,884,26,38480,795,2530,1763,54,418,251
Reachability property qltransition_5612 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5612,1.69387e+123,1.54687,21964,884,26,38482,795,2531,1763,54,418,252
Reachability property qltransition_5613 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5613,3.38774e+123,1.54816,21964,884,26,38591,795,2532,1763,54,418,252
Reachability property qltransition_5650 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5650,6.21086e+123,1.54949,21964,886,26,38701,795,2533,1763,54,418,253
Reachability property qltransition_5651 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5651,6.21086e+123,1.55082,21964,886,26,38808,795,2534,1763,54,418,254
Reachability property qltransition_5652 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5652,6.21086e+123,1.55196,21964,886,26,38810,795,2535,1763,54,418,255
Reachability property qltransition_5653 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5653,6.21086e+123,1.55311,21964,886,26,38810,795,2536,1763,54,418,255
Reachability property qltransition_5654 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5654,6.21086e+123,1.55426,21964,886,26,38812,795,2537,1763,54,418,256
Reachability property qltransition_5655 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5655,1.24217e+124,1.55554,21964,886,26,38918,795,2538,1763,54,418,256
Reachability property qltransition_5726 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5726,2.27732e+124,1.55679,21964,888,26,39025,795,2539,1763,54,418,257
Reachability property qltransition_5727 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5727,2.27732e+124,1.55808,21964,888,26,39129,795,2540,1763,54,418,258
Reachability property qltransition_5728 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5728,2.27732e+124,1.55922,21964,888,26,39131,795,2541,1763,54,418,259
Reachability property qltransition_5729 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5729,2.27732e+124,1.56034,21964,888,26,39131,795,2542,1763,54,418,259
Reachability property qltransition_5730 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5730,2.27732e+124,1.5615,21964,888,26,39133,795,2543,1763,54,418,260
Reachability property qltransition_5731 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5731,4.55463e+124,1.5628,21964,888,26,39236,795,2544,1763,54,418,260
Reachability property qltransition_5734 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5734,8.35016e+124,1.56446,21964,890,26,39340,795,2545,1763,54,418,261
Reachability property qltransition_5735 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5735,8.35016e+124,1.56574,21964,890,26,39441,795,2546,1763,54,418,262
Reachability property qltransition_5736 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5736,8.35016e+124,1.5669,21964,890,26,39443,795,2547,1763,54,418,263
Reachability property qltransition_5737 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5737,8.35016e+124,1.56796,21964,890,26,39443,795,2548,1763,54,418,263
Reachability property qltransition_5738 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5738,8.35016e+124,1.5691,21964,890,26,39445,795,2549,1763,54,418,264
Reachability property qltransition_5739 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5739,1.67003e+125,1.57037,21964,890,26,39545,795,2550,1763,54,418,264
Reachability property qltransition_5789 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5789,3.06172e+125,1.57179,21964,892,26,39646,795,2551,1763,54,418,265
Reachability property qltransition_5790 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5790,3.06172e+125,1.57311,21964,892,26,39744,795,2552,1763,54,418,266
Reachability property qltransition_5791 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5791,3.06172e+125,1.57425,21964,892,26,39746,795,2553,1763,54,418,267
Reachability property qltransition_5792 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5792,3.06172e+125,1.5754,21964,892,26,39746,795,2554,1763,54,418,267
Reachability property qltransition_5793 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5793,3.06172e+125,1.57654,21964,892,26,39748,795,2555,1763,54,418,268
Reachability property qltransition_5794 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5794,6.12345e+125,1.57781,21964,892,26,39845,795,2556,1763,54,418,268
Reachability property qltransition_5810 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5810,1.12263e+126,1.57909,21964,894,26,39943,795,2557,1763,54,418,269
Reachability property qltransition_5811 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5811,1.12263e+126,1.58032,21964,894,26,40038,795,2558,1763,54,418,270
Reachability property qltransition_5812 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5812,1.12263e+126,1.58158,21964,894,26,40040,795,2559,1763,54,418,271
Reachability property qltransition_5813 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5813,1.12263e+126,1.58294,21964,894,26,40040,795,2560,1763,54,418,271
Reachability property qltransition_5814 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5814,1.12263e+126,1.58454,21964,894,26,40042,795,2561,1763,54,418,272
Reachability property qltransition_5815 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5815,2.24526e+126,1.58638,21964,894,26,40136,795,2562,1763,54,418,272
Reachability property qltransition_5819 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5819,4.11632e+126,1.58819,21964,896,26,40231,795,2563,1763,54,418,273
Reachability property qltransition_5820 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5820,4.11632e+126,1.5901,21964,896,26,40323,795,2564,1763,54,418,274
Reachability property qltransition_5821 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5821,4.11632e+126,1.59162,21964,896,26,40325,795,2565,1763,54,418,275
Reachability property qltransition_5822 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5822,4.11632e+126,1.59322,21964,896,26,40325,795,2566,1763,54,418,275
Reachability property qltransition_5823 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5823,4.11632e+126,1.59477,21964,896,26,40327,795,2567,1763,54,418,276
Reachability property qltransition_5824 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5824,8.23264e+126,1.59656,21964,896,26,40418,795,2568,1763,54,418,276
Reachability property qltransition_5839 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5839,1.50932e+127,1.59813,21964,898,26,40510,795,2569,1763,54,418,277
Reachability property qltransition_5840 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5840,1.50932e+127,1.5995,21964,898,26,40599,795,2570,1763,54,418,278
Reachability property qltransition_5841 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5841,1.50932e+127,1.60083,21964,898,26,40601,795,2571,1763,54,418,279
Reachability property qltransition_5842 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5842,1.50932e+127,1.6022,21964,898,26,40601,795,2572,1763,54,418,279
Reachability property qltransition_5843 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5843,1.50932e+127,1.60354,21964,898,26,40603,795,2573,1763,54,418,280
Reachability property qltransition_5844 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5844,3.01863e+127,1.60502,21964,898,26,40691,795,2574,1763,54,418,280
Reachability property qltransition_5872 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5872,5.53416e+127,1.6066,21964,900,26,40780,795,2575,1763,54,418,281
Reachability property qltransition_5873 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5873,5.53416e+127,1.60797,21964,900,26,40866,795,2576,1763,54,418,282
Reachability property qltransition_5874 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5874,5.53416e+127,1.60932,21964,900,26,40868,795,2577,1763,54,418,283
Reachability property qltransition_5875 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5875,5.53416e+127,1.61053,21964,900,26,40868,795,2578,1763,54,418,283
Reachability property qltransition_5876 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5876,5.53416e+127,1.612,21964,900,26,40870,795,2579,1763,54,418,284
Reachability property qltransition_5877 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5877,1.10683e+128,1.61381,21964,900,26,40955,795,2580,1763,54,418,284
Reachability property qltransition_6032 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6032,2.02919e+128,1.61551,21964,902,26,41041,795,2581,1763,54,418,285
Reachability property qltransition_6033 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6033,2.02919e+128,1.61726,21964,902,26,41124,795,2582,1763,54,418,286
Reachability property qltransition_6034 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6034,2.02919e+128,1.61884,21964,902,26,41126,795,2583,1763,54,418,287
Reachability property qltransition_6035 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6035,2.02919e+128,1.62037,21964,902,26,41126,795,2584,1763,54,418,287
Reachability property qltransition_6036 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6036,2.02919e+128,1.62193,21964,902,26,41128,795,2585,1763,54,418,288
Reachability property qltransition_6037 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6037,4.05839e+128,1.62373,21964,902,26,41210,795,2586,1763,54,418,288
Reachability property qltransition_6049 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6049,7.44037e+128,1.62545,21964,904,26,41293,795,2587,1763,54,418,289
Reachability property qltransition_6050 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6050,7.44037e+128,1.62715,21964,904,26,41373,795,2588,1763,54,418,290
Reachability property qltransition_6051 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6051,7.44037e+128,1.6287,21964,904,26,41375,795,2589,1763,54,418,291
Reachability property qltransition_6052 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6052,7.44037e+128,1.63007,21964,904,26,41375,795,2590,1763,54,418,291
Reachability property qltransition_6053 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6053,7.44037e+128,1.63143,21964,904,26,41377,795,2591,1763,54,418,292
Reachability property qltransition_6054 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6054,1.48807e+129,1.63272,21964,904,26,41456,795,2592,1763,54,418,292
Reachability property qltransition_6105 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6105,2.72814e+129,1.63406,21964,906,26,41536,795,2593,1763,54,418,293
Reachability property qltransition_6106 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6106,2.72814e+129,1.63537,21964,906,26,41613,795,2594,1763,54,418,294
Reachability property qltransition_6107 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6107,2.72814e+129,1.63658,21964,906,26,41615,795,2595,1763,54,418,295
Reachability property qltransition_6108 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6108,2.72814e+129,1.63775,21964,906,26,41615,795,2596,1763,54,418,295
Reachability property qltransition_6109 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6109,2.72814e+129,1.63893,21964,906,26,41617,795,2597,1763,54,418,296
Reachability property qltransition_6110 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6110,5.45627e+129,1.64035,21964,906,26,41693,795,2598,1763,54,418,296
Reachability property qltransition_6134 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6134,1.00032e+130,1.64206,21964,908,26,41770,795,2599,1763,54,418,297
Reachability property qltransition_6135 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6135,1.00032e+130,1.64378,21964,908,26,41844,795,2600,1763,54,418,298
Reachability property qltransition_6136 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6136,1.00032e+130,1.64533,21964,908,26,41846,795,2601,1763,54,418,299
Reachability property qltransition_6137 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6137,1.00032e+130,1.64685,21964,908,26,41846,795,2602,1763,54,418,299
Reachability property qltransition_6138 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6138,1.00032e+130,1.64829,21964,908,26,41848,795,2603,1763,54,418,300
Reachability property qltransition_6139 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6139,2.00063e+130,1.64999,21964,908,26,41921,795,2604,1763,54,418,300
Reachability property qltransition_6217 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6217,3.66783e+130,1.65162,21964,910,26,41995,795,2605,1763,54,418,301
Reachability property qltransition_6218 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6218,3.66783e+130,1.65326,21964,910,26,42066,795,2606,1763,54,418,302
Reachability property qltransition_6219 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6219,3.66783e+130,1.65469,21964,910,26,42068,795,2607,1763,54,418,303
Reachability property qltransition_6220 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6220,3.66783e+130,1.65605,21964,910,26,42068,795,2608,1763,54,418,303
Reachability property qltransition_6221 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6221,3.66783e+130,1.65747,21964,910,26,42070,795,2609,1763,54,418,304
Reachability property qltransition_6222 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6222,7.33566e+130,1.65898,21964,910,26,42140,795,2610,1763,54,418,304
Reachability property qltransition_6365 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6365,1.34487e+131,1.66047,21964,912,26,42211,795,2611,1763,54,418,305
Reachability property qltransition_6366 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6366,1.34487e+131,1.66218,21964,912,26,42279,795,2612,1763,54,418,306
Reachability property qltransition_6367 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6367,1.34487e+131,1.66383,21964,912,26,42281,795,2613,1763,54,418,307
Reachability property qltransition_6368 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6368,1.34487e+131,1.66541,21964,912,26,42281,795,2614,1763,54,418,307
Reachability property qltransition_6369 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6369,1.34487e+131,1.66703,21964,912,26,42283,795,2615,1763,54,418,308
Reachability property qltransition_6370 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6370,2.68974e+131,1.66862,21964,912,26,42350,795,2616,1763,54,418,308
Reachability property qltransition_6395 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6395,4.93119e+131,1.67024,21964,914,26,42418,795,2617,1763,54,418,309
Reachability property qltransition_6396 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6396,4.93119e+131,1.67183,21964,914,26,42483,795,2618,1763,54,418,310
Reachability property qltransition_6397 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6397,4.93119e+131,1.6733,21964,914,26,42485,795,2619,1763,54,418,311
Reachability property qltransition_6398 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6398,4.93119e+131,1.67475,21964,914,26,42485,795,2620,1763,54,418,311
Reachability property qltransition_6399 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6399,4.93119e+131,1.67621,21964,914,26,42487,795,2621,1763,54,418,312
Reachability property qltransition_6400 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6400,9.86238e+131,1.67793,21964,914,26,42551,795,2622,1763,54,418,312
Reachability property qltransition_6416 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6416,1.8081e+132,1.67965,21964,916,26,42616,795,2623,1763,54,418,313
Reachability property qltransition_6417 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6417,1.8081e+132,1.68139,21964,916,26,42678,795,2624,1763,54,418,314
Reachability property qltransition_6418 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6418,1.8081e+132,1.68295,21964,916,26,42680,795,2625,1763,54,418,315
Reachability property qltransition_6419 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6419,1.8081e+132,1.68434,21964,916,26,42680,795,2626,1763,54,418,315
Reachability property qltransition_6420 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6420,1.8081e+132,1.68564,21964,916,26,42682,795,2627,1763,54,418,316
Reachability property qltransition_6421 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6421,3.61621e+132,1.68687,21964,916,26,42743,795,2628,1763,54,418,316
Reachability property qltransition_6466 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6466,2.65189e+133,1.68817,21964,921,26,42809,795,2629,1763,54,418,344
Reachability property qltransition_6467 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6467,2.65189e+133,1.68926,21964,921,26,42809,795,2630,1763,54,418,344
Reachability property qltransition_6468 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6468,1.98891e+133,1.69055,21964,920,25,42887,795,2631,1763,54,418,364
Reachability property qltransition_6470 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6470,6.62971e+132,1.69193,21964,921,26,42974,795,2632,1763,54,418,392
Reachability property qltransition_6471 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6471,6.62971e+132,1.6932,21964,921,26,42974,795,2633,1763,54,418,392
Reachability property qltransition_6472 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6472,5.30377e+133,1.69469,21964,921,27,43052,795,2634,1763,54,418,420
Reachability property qltransition_6473 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6473,5.30377e+133,1.69588,21964,921,27,43109,795,2635,1763,54,418,420
Reachability property qltransition_6474 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6474,1.32594e+133,1.69732,21964,921,26,43187,795,2636,1763,55,418,448
Reachability property qltransition_6475 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6475,1.32594e+133,1.6985,21964,921,26,43244,795,2637,1763,55,418,448
Reachability property qltransition_6476 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6476,1.98891e+133,1.69969,21964,920,25,43303,795,2638,1763,55,418,448
Reachability property qltransition_6477 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6477,2.65189e+133,1.70095,21964,919,25,43376,795,2639,1763,55,418,458
Reachability property qltransition_6479 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6479,7.95566e+133,1.70216,21964,921,26,43435,795,2640,1763,55,418,459
Reachability property qltransition_6480 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6480,7.95566e+133,1.70338,21964,921,26,43436,795,2641,1763,55,418,460
Reachability property qltransition_6481 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6481,7.95566e+133,1.70447,21964,921,26,43436,795,2642,1763,55,418,460
Reachability property qltransition_6482 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6482,7.95566e+133,1.70565,21964,921,26,43436,795,2643,1763,55,418,460
Reachability property qltransition_6483 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6483,7.95566e+133,1.70677,21964,921,26,43436,795,2644,1763,55,418,460
Reachability property qltransition_6484 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6484,7.95566e+133,1.70783,21964,921,26,43436,795,2645,1763,55,418,460
Reachability property qltransition_6485 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6485,2.65189e+133,1.70904,21964,919,25,43494,795,2646,1763,55,418,460
Reachability property qltransition_6487 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6487,7.95566e+133,1.71025,21964,920,26,43552,795,2647,1763,55,418,461
Reachability property qltransition_6488 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6488,7.95566e+133,1.71136,21964,920,26,43553,795,2648,1763,55,418,462
Reachability property qltransition_6489 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6489,7.95566e+133,1.71242,21964,920,26,43553,795,2649,1763,55,418,462
Reachability property qltransition_6490 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6490,7.95566e+133,1.71348,21964,920,26,43553,795,2650,1763,55,418,462
Reachability property qltransition_6491 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6491,7.95566e+133,1.71454,21964,920,26,43553,795,2651,1763,55,418,462
Reachability property qltransition_6492 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6492,7.95566e+133,1.71561,21964,920,26,43553,795,2652,1763,55,418,462
Reachability property qltransition_6508 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6508,4.62091e+135,1.71678,21964,950,26,43606,795,2653,1763,55,418,463
Reachability property qltransition_6509 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6509,4.62091e+135,1.71802,21964,950,26,43656,795,2654,1763,55,418,464
Reachability property qltransition_6510 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6510,4.62091e+135,1.71914,21964,950,26,43658,795,2655,1763,55,418,465
Reachability property qltransition_6511 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6511,4.62091e+135,1.72024,21964,950,26,43658,795,2656,1763,55,418,465
Reachability property qltransition_6512 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6512,4.62091e+135,1.72136,21964,950,26,43660,795,2657,1763,55,418,466
Reachability property qltransition_6513 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6513,9.24182e+135,1.72255,21964,950,26,43709,795,2658,1763,55,418,466
Reachability property qltransition_6516 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6516,1.69433e+136,1.72374,21964,952,26,43759,795,2659,1763,55,418,467
Reachability property qltransition_6517 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6517,1.69433e+136,1.72507,21964,952,26,43806,795,2660,1763,55,418,468
Reachability property qltransition_6518 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6518,1.69433e+136,1.72618,21964,952,26,43808,795,2661,1763,55,418,469
Reachability property qltransition_6519 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6519,1.69433e+136,1.7273,21964,952,26,43808,795,2662,1763,55,418,469
Reachability property qltransition_6520 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6520,1.69433e+136,1.72841,21964,952,26,43810,795,2663,1763,55,418,470
Reachability property qltransition_6521 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6521,3.38867e+136,1.72958,21964,952,26,43856,795,2664,1763,55,418,470
Reachability property qltransition_6721 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6721,6.21256e+136,1.7308,21964,954,26,43903,795,2665,1763,55,418,471
Reachability property qltransition_6722 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6722,6.21256e+136,1.73197,21964,954,26,43947,795,2666,1763,55,418,472
Reachability property qltransition_6723 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6723,6.21256e+136,1.73309,21964,954,26,43949,795,2667,1763,55,418,473
Reachability property qltransition_6724 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6724,6.21256e+136,1.73422,21964,954,26,43949,795,2668,1763,55,418,473
Reachability property qltransition_6725 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6725,6.21256e+136,1.73533,21964,954,26,43951,795,2669,1763,55,418,474
Reachability property qltransition_6726 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6726,1.24251e+137,1.73651,21964,954,26,43994,795,2670,1763,55,418,474
Reachability property qltransition_6897 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6897,2.27794e+137,1.73766,21964,956,26,44038,795,2671,1763,55,418,475
Reachability property qltransition_6898 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6898,2.27794e+137,1.73885,21964,956,26,44079,795,2672,1763,55,418,476
Reachability property qltransition_6899 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6899,2.27794e+137,1.73992,21964,956,26,44081,795,2673,1763,55,418,477
Reachability property qltransition_6900 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6900,2.27794e+137,1.74115,21964,956,26,44081,795,2674,1763,55,418,477
Reachability property qltransition_6901 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6901,2.27794e+137,1.74224,21964,956,26,44083,795,2675,1763,55,418,478
Reachability property qltransition_6902 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6902,4.55588e+137,1.74343,21964,956,26,44123,795,2676,1763,55,418,478
Reachability property qltransition_6931 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6931,8.35244e+137,1.7446,21964,958,26,44164,795,2677,1763,55,418,479
Reachability property qltransition_6932 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6932,8.35244e+137,1.74579,21964,958,26,44202,795,2678,1763,55,418,480
Reachability property qltransition_6933 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6933,8.35244e+137,1.74691,21964,958,26,44204,795,2679,1763,55,418,481
Reachability property qltransition_6934 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6934,8.35244e+137,1.74797,21964,958,26,44204,795,2680,1763,55,418,481
Reachability property qltransition_6935 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6935,8.35244e+137,1.74909,21964,958,26,44206,795,2681,1763,55,418,482
Reachability property qltransition_6936 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6936,1.67049e+138,1.75024,21964,958,26,44243,795,2682,1763,55,418,482
Reachability property qltransition_6990 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6990,3.06256e+138,1.75144,21964,960,26,44281,795,2683,1763,55,418,483
Reachability property qltransition_6991 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6991,3.06256e+138,1.75261,21964,960,26,44316,795,2684,1763,55,418,484
Reachability property qltransition_6992 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6992,3.06256e+138,1.75372,21964,960,26,44318,795,2685,1763,55,418,485
Reachability property qltransition_6993 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6993,3.06256e+138,1.75483,21964,960,26,44318,795,2686,1763,55,418,485
Reachability property qltransition_6994 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6994,3.06256e+138,1.75592,21964,960,26,44320,795,2687,1763,55,418,486
Reachability property qltransition_6995 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6995,6.12512e+138,1.75709,21964,960,26,44354,795,2688,1763,55,418,486
Reachability property qltransition_7006 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7006,1.12294e+139,1.75835,21964,962,26,44389,795,2689,1763,55,418,487
Reachability property qltransition_7007 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7007,1.12294e+139,1.75955,21964,962,26,44421,795,2690,1763,55,418,488
Reachability property qltransition_7008 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7008,1.12294e+139,1.76063,21964,962,26,44423,795,2691,1763,55,418,489
Reachability property qltransition_7009 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7009,1.12294e+139,1.76173,21964,962,26,44423,795,2692,1763,55,418,489
Reachability property qltransition_7010 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7010,1.12294e+139,1.76283,21964,962,26,44425,795,2693,1763,55,418,490
Reachability property qltransition_7011 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7011,2.24588e+139,1.76397,21964,962,26,44456,795,2694,1763,55,418,490
Reachability property qltransition_7112 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7112,4.11744e+139,1.76518,21964,964,26,44488,795,2695,1763,55,418,491
Reachability property qltransition_7113 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7113,4.11744e+139,1.76632,21964,964,26,44517,795,2696,1763,55,418,492
Reachability property qltransition_7114 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7114,4.11744e+139,1.76742,21964,964,26,44519,795,2697,1763,55,418,493
Reachability property qltransition_7115 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7115,4.11744e+139,1.76847,21964,964,26,44519,795,2698,1763,55,418,493
Reachability property qltransition_7116 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7116,4.11744e+139,1.76958,21964,964,26,44521,795,2699,1763,55,418,494
Reachability property qltransition_7117 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7117,8.23489e+139,1.77071,21964,964,26,44549,795,2700,1763,55,418,494
Reachability property qltransition_7120 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7120,1.50973e+140,1.77183,21964,966,26,44578,795,2701,1763,55,418,495
Reachability property qltransition_7121 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7121,1.50973e+140,1.77302,21964,966,26,44604,795,2702,1763,55,418,496
Reachability property qltransition_7122 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7122,1.50973e+140,1.7741,21964,966,26,44606,795,2703,1763,55,418,497
Reachability property qltransition_7123 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7123,1.50973e+140,1.77529,21964,966,26,44606,795,2704,1763,55,418,497
Reachability property qltransition_7124 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7124,1.50973e+140,1.77642,21964,966,26,44608,795,2705,1763,55,418,498
Reachability property qltransition_7125 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7125,3.01946e+140,1.77765,21964,966,26,44633,795,2706,1763,55,418,498
Reachability property qltransition_7142 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7142,5.53567e+140,1.77882,21964,968,26,44659,795,2707,1763,55,418,499
Reachability property qltransition_7143 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7143,5.53567e+140,1.77994,21964,968,26,44682,795,2708,1763,55,418,500
Reachability property qltransition_7144 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7144,5.53567e+140,1.78108,21964,968,26,44684,795,2709,1763,55,418,501
Reachability property qltransition_7145 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7145,5.53567e+140,1.78214,21964,968,26,44684,795,2710,1763,55,418,501
Reachability property qltransition_7146 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7146,5.53567e+140,1.78336,21964,968,26,44686,795,2711,1763,55,418,502
Reachability property qltransition_7147 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7147,1.10713e+141,1.78459,21964,968,26,44708,795,2712,1763,55,418,502
Reachability property qltransition_7196 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7196,2.02975e+141,1.78575,21964,970,26,44731,795,2713,1763,55,418,503
Reachability property qltransition_7197 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7197,2.02975e+141,1.78713,21964,970,26,44751,795,2714,1763,55,418,504
Reachability property qltransition_7198 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7198,2.02975e+141,1.78863,21964,970,26,44753,795,2715,1763,55,418,505
Reachability property qltransition_7199 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7199,2.02975e+141,1.79015,21964,970,26,44753,795,2716,1763,55,418,505
Reachability property qltransition_7200 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7200,2.02975e+141,1.79169,21964,970,26,44755,795,2717,1763,55,418,506
Reachability property qltransition_7201 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7201,4.05949e+141,1.79318,21964,970,26,44774,795,2718,1763,55,418,506
Reachability property qltransition_7288 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7288,7.4424e+141,1.79465,21964,972,26,44794,795,2719,1763,55,418,507
Reachability property qltransition_7289 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7289,7.4424e+141,1.79593,21964,972,26,44811,795,2720,1763,55,418,508
Reachability property qltransition_7290 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7290,7.4424e+141,1.79731,21964,972,26,44813,795,2721,1763,55,418,509
Reachability property qltransition_7291 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7291,7.4424e+141,1.79865,21964,972,26,44813,795,2722,1763,55,418,509
Reachability property qltransition_7292 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7292,7.4424e+141,1.80017,21964,972,26,44815,795,2723,1763,55,418,510
Reachability property qltransition_7293 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7293,1.48848e+142,1.80168,21964,972,26,44831,795,2724,1763,55,418,510
Reachability property qltransition_7364 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7364,2.72888e+142,1.80295,21964,974,26,44848,795,2725,1763,55,418,511
Reachability property qltransition_7365 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7365,2.72888e+142,1.80432,21964,974,26,44862,795,2726,1763,55,418,512
Reachability property qltransition_7366 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7366,2.72888e+142,1.80564,21964,974,26,44864,795,2727,1763,55,418,513
Reachability property qltransition_7367 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7367,2.72888e+142,1.80684,21964,974,26,44864,795,2728,1763,55,418,513
Reachability property qltransition_7368 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7368,2.72888e+142,1.80818,21964,974,26,44866,795,2729,1763,55,418,514
Reachability property qltransition_7369 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7369,5.45776e+142,1.80943,21964,974,26,44879,795,2730,1763,55,418,514
Reachability property qltransition_7423 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7423,1.00059e+143,1.81065,21964,976,26,44893,795,2731,1763,55,418,515
Reachability property qltransition_7424 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7424,1.00059e+143,1.81191,21964,976,26,44904,795,2732,1763,55,418,516
Reachability property qltransition_7425 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7425,1.00059e+143,1.81306,21964,976,26,44906,795,2733,1763,55,418,517
Reachability property qltransition_7426 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7426,1.00059e+143,1.81421,21964,976,26,44906,795,2734,1763,55,418,517
Reachability property qltransition_7427 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7427,1.00059e+143,1.81558,21964,976,26,44908,795,2735,1763,55,418,518
Reachability property qltransition_7428 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7428,2.00118e+143,1.81703,21964,976,26,44918,795,2736,1763,55,418,518
Reachability property qltransition_7507 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7507,3.66883e+143,1.81843,21964,978,26,44929,795,2737,1763,55,418,519
Reachability property qltransition_7508 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7508,3.66883e+143,1.81988,21964,978,26,44937,795,2738,1763,55,418,520
Reachability property qltransition_7509 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7509,3.66883e+143,1.82134,21964,978,26,44939,795,2739,1763,55,418,521
Reachability property qltransition_7510 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7510,3.66883e+143,1.82279,21964,978,26,44939,795,2740,1763,55,418,521
Reachability property qltransition_7511 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7511,3.66883e+143,1.82419,21964,978,26,44941,795,2741,1763,55,418,522
Reachability property qltransition_7512 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7512,7.33766e+143,1.82561,21964,978,26,44948,795,2742,1763,55,418,522
Reachability property qltransition_7569 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7569,1.34524e+144,1.82698,21964,980,26,44956,795,2743,1763,55,418,523
Reachability property qltransition_7570 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7570,1.34524e+144,1.82835,21964,980,26,44961,795,2744,1763,55,418,524
Reachability property qltransition_7571 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7571,1.34524e+144,1.82986,21964,980,26,44963,795,2745,1763,55,418,525
Reachability property qltransition_7572 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7572,1.34524e+144,1.83145,21964,980,26,44963,795,2746,1763,55,418,525
Reachability property qltransition_7573 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7573,1.34524e+144,1.83272,21964,980,26,44965,795,2747,1763,55,418,526
Reachability property qltransition_7574 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7574,2.69048e+144,1.83395,21964,980,26,44969,795,2748,1763,55,418,526
Reachability property qltransition_7645 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7645,4.93254e+144,1.83508,21964,982,26,44974,795,2749,1763,55,418,527
Reachability property qltransition_7646 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7646,4.93254e+144,1.83614,21964,982,26,44976,795,2750,1763,55,418,528
Reachability property qltransition_7647 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7647,4.93254e+144,1.83723,21964,982,26,44978,795,2751,1763,55,418,529
Reachability property qltransition_7648 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7648,4.93254e+144,1.83832,21964,982,26,44978,795,2752,1763,55,418,529
Reachability property qltransition_7649 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7649,4.93254e+144,1.83943,21964,982,26,44980,795,2753,1763,55,418,530
Reachability property qltransition_7650 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7650,9.86508e+144,1.84051,21964,982,26,44981,795,2754,1763,55,418,530
Able to resolve query QuasiLiveness after proving 6559 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE USE_NUPN

BK_STOP 1621382845653

--------------------
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="ViralEpidemic-PT-S03D1C1A06"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
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 itstools"
echo " Input is ViralEpidemic-PT-S03D1C1A06, 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 r280-smll-162123888100162"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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