About the Execution of ITS-Tools for JoinFreeModules-PT-0200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 635.063 | 117432.00 | 134908.00 | 1268.00 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r128-tall-162075419600277.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is JoinFreeModules-PT-0200, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-tall-162075419600277
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 111K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 26 06:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 26 06:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 24 10:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 24 10:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.2M May 5 16:51 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 1620857561499
Running Version 0
[2021-05-12 22:12:43] [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-12 22:12:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-12 22:12:43] [INFO ] Load time of PNML (sax parser for PT used): 163 ms
[2021-05-12 22:12:43] [INFO ] Transformed 1001 places.
[2021-05-12 22:12:43] [INFO ] Transformed 1601 transitions.
[2021-05-12 22:12:43] [INFO ] Parsed PT model containing 1001 places and 1601 transitions in 210 ms.
Starting structural reductions, iteration 0 : 1001/1001 places, 1601/1601 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1000 transition count 1601
Applied a total of 1 rules in 89 ms. Remains 1000 /1001 variables (removed 1) and now considering 1601/1601 (removed 0) transitions.
// Phase 1: matrix 1601 rows 1000 cols
[2021-05-12 22:12:43] [INFO ] Computed 200 place invariants in 33 ms
[2021-05-12 22:12:44] [INFO ] Dead Transitions using invariants and state equation in 965 ms returned []
// Phase 1: matrix 1601 rows 1000 cols
[2021-05-12 22:12:44] [INFO ] Computed 200 place invariants in 7 ms
[2021-05-12 22:12:45] [INFO ] Implicit Places using invariants in 200 ms returned []
// Phase 1: matrix 1601 rows 1000 cols
[2021-05-12 22:12:45] [INFO ] Computed 200 place invariants in 6 ms
[2021-05-12 22:12:45] [INFO ] Implicit Places using invariants and state equation in 573 ms returned []
Implicit Place search using SMT with State Equation took 775 ms to find 0 implicit places.
// Phase 1: matrix 1601 rows 1000 cols
[2021-05-12 22:12:45] [INFO ] Computed 200 place invariants in 5 ms
[2021-05-12 22:12:46] [INFO ] Dead Transitions using invariants and state equation in 681 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1000/1001 places, 1601/1601 transitions.
Discarding 800 transitions out of 1601. Remains 801
[2021-05-12 22:12:46] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10079 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=74 ) properties (out of 800) seen :100
Running SMT prover for 700 properties.
// Phase 1: matrix 1601 rows 1000 cols
[2021-05-12 22:12:46] [INFO ] Computed 200 place invariants in 18 ms
[2021-05-12 22:12:56] [INFO ] [Real]Absence check using 200 positive place invariants in 31 ms returned sat
[2021-05-12 22:13:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-12 22:13:11] [INFO ] [Real]Absence check using state equation in 5960 ms returned unsat :0 sat :589 real:111
Attempting to minimize the solution found.
Minimization took 15 ms.
[2021-05-12 22:13:11] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :589 real:111
[2021-05-12 22:13:20] [INFO ] [Nat]Absence check using 200 positive place invariants in 61 ms returned sat
[2021-05-12 22:13:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-12 22:13:36] [INFO ] [Nat]Absence check using state equation in 7517 ms returned unsat :0 sat :700
Attempting to minimize the solution found.
Minimization took 2 ms.
[2021-05-12 22:13:36] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :700
Fused 700 Parikh solutions to 98 different solutions.
Interrupted Parikh walk after 15432 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=15 ) properties (out of 700) seen :254
Interrupted Parikh walk after 18080 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=18 ) properties (out of 446) seen :3
Interrupted Parikh walk after 16742 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 443) seen :0
Interrupted Parikh walk after 16852 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 443) seen :2
Interrupted Parikh walk after 16520 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 441) seen :0
Interrupted Parikh walk after 16184 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 441) seen :2
Interrupted Parikh walk after 16255 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 439) seen :1
Interrupted Parikh walk after 16387 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 438) seen :2
Interrupted Parikh walk after 16350 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 436) seen :0
Interrupted Parikh walk after 16361 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 436) seen :0
Interrupted Parikh walk after 16900 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 436) seen :1
Interrupted Parikh walk after 17378 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 435) seen :2
Interrupted Parikh walk after 17511 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 433) seen :1
Interrupted Parikh walk after 17568 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 432) seen :1
Interrupted Parikh walk after 17408 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 431) seen :2
Interrupted Parikh walk after 17534 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 429) seen :0
Interrupted Parikh walk after 13144 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=13 ) properties (out of 429) seen :2
Interrupted Parikh walk after 17108 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 427) seen :0
Interrupted Parikh walk after 17508 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 427) seen :0
Interrupted Parikh walk after 17741 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 427) seen :1
Interrupted Parikh walk after 17881 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 426) seen :1
Interrupted Parikh walk after 17947 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 425) seen :1
Interrupted Parikh walk after 17773 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 424) seen :1
Interrupted Parikh walk after 17897 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 423) seen :1
Interrupted Parikh walk after 17164 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 422) seen :1
Interrupted Parikh walk after 17092 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 421) seen :2
Interrupted Parikh walk after 17256 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 419) seen :0
Interrupted Parikh walk after 17111 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 419) seen :2
Interrupted Parikh walk after 17175 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=17 ) properties (out of 417) seen :0
Interrupted Parikh walk after 17006 steps, including 0 resets, run timeout after 1001 ms. (steps per millisecond=16 ) properties (out of 417) seen :1
Support contains 416 out of 1000 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1000/1000 places, 1601/1601 transitions.
Graph (complete) has 2400 edges and 1000 vertex of which 870 are kept as prefixes of interest. Removing 130 places using SCC suffix rule.7 ms
Discarding 130 places :
Also discarding 208 output transitions
Drop transitions removed 208 transitions
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 870 transition count 1392
Applied a total of 2 rules in 113 ms. Remains 870 /1000 variables (removed 130) and now considering 1392/1601 (removed 209) transitions.
// Phase 1: matrix 1392 rows 870 cols
[2021-05-12 22:14:06] [INFO ] Computed 174 place invariants in 3 ms
[2021-05-12 22:14:07] [INFO ] Dead Transitions using invariants and state equation in 586 ms returned []
Finished structural reductions, in 1 iterations. Remains : 870/1000 places, 1392/1601 transitions.
[2021-05-12 22:14:07] [INFO ] Flatten gal took : 117 ms
[2021-05-12 22:14:07] [INFO ] Flatten gal took : 69 ms
[2021-05-12 22:14:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4458255418875187372.gal : 28 ms
[2021-05-12 22:14:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2799201090123329210.prop : 3 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/ReachabilityCardinality4458255418875187372.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2799201090123329210.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/ReachabilityCardinality4458255418875187372.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2799201090123329210.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality2799201090123329210.prop.
SDD proceeding with computation,416 properties remain. new max is 4
SDD size :1 after 8
Reachability property qltransition_89 is true.
SDD proceeding with computation,415 properties remain. new max is 4
SDD size :8 after 25
SDD proceeding with computation,415 properties remain. new max is 8
SDD size :25 after 50
SDD proceeding with computation,415 properties remain. new max is 16
SDD size :50 after 116
SDD proceeding with computation,415 properties remain. new max is 32
SDD size :116 after 314
SDD proceeding with computation,415 properties remain. new max is 64
SDD size :314 after 974
SDD proceeding with computation,415 properties remain. new max is 128
SDD size :974 after 3336
SDD proceeding with computation,415 properties remain. new max is 256
SDD size :3336 after 11038
SDD proceeding with computation,415 properties remain. new max is 512
SDD size :11038 after 19969
SDD proceeding with computation,415 properties remain. new max is 1024
SDD size :19969 after 4.87564e+06
SDD proceeding with computation,415 properties remain. new max is 2048
SDD size :4.87564e+06 after 1.45683e+07
Detected timeout of ITS tools.
[2021-05-12 22:14:22] [INFO ] Flatten gal took : 131 ms
[2021-05-12 22:14:22] [INFO ] Applying decomposition
[2021-05-12 22:14:23] [INFO ] Flatten gal took : 86 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/graph2066147795751718562.txt, -o, /tmp/graph2066147795751718562.bin, -w, /tmp/graph2066147795751718562.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/graph2066147795751718562.bin, -l, -1, -v, -w, /tmp/graph2066147795751718562.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 22:14:23] [INFO ] Decomposing Gal with order
[2021-05-12 22:14:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 22:14:23] [INFO ] Flatten gal took : 58 ms
[2021-05-12 22:14:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2021-05-12 22:14:23] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11114100192375294005.gal : 7 ms
[2021-05-12 22:14:23] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14158898665926586003.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11114100192375294005.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14158898665926586003.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/ReachabilityCardinality11114100192375294005.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14158898665926586003.prop --nowitness
Loading property file /tmp/ReachabilityCardinality14158898665926586003.prop.
SDD proceeding with computation,415 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,415 properties remain. new max is 8
SDD size :8 after 25
SDD proceeding with computation,415 properties remain. new max is 16
SDD size :25 after 76
SDD proceeding with computation,415 properties remain. new max is 32
SDD size :76 after 246
SDD proceeding with computation,415 properties remain. new max is 64
SDD size :246 after 851
SDD proceeding with computation,415 properties remain. new max is 128
SDD size :851 after 3104
SDD proceeding with computation,415 properties remain. new max is 256
SDD size :3104 after 10755
SDD proceeding with computation,415 properties remain. new max is 512
SDD size :10755 after 19900
SDD proceeding with computation,415 properties remain. new max is 1024
SDD size :19900 after 4.87563e+06
SDD proceeding with computation,415 properties remain. new max is 2048
SDD size :4.87563e+06 after 1.45683e+07
Reachability property qltransition_104 is true.
Reachability property qltransition_103 is true.
Reachability property qltransition_99 is true.
Reachability property qltransition_97 is true.
SDD proceeding with computation,411 properties remain. new max is 2048
SDD size :1.45683e+07 after 5.1554e+19
Reachability property qltransition_112 is true.
Reachability property qltransition_111 is true.
SDD proceeding with computation,409 properties remain. new max is 2048
SDD size :5.1554e+19 after 1.06271e+23
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,3.55366e+1369,10.7147,141552,176,1419,3664,339661,802,0,74,399420,0
Total reachable state count : 3.55365670552850376598332595548966427799e+1369
Verifying 415 reachability properties.
Reachability property qltransition_97 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_97,4.78294e+1361,10.723,141552,177,1423,3664,339661,803,0,76,399420,0
Reachability property qltransition_99 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_99,4.78294e+1361,10.731,141552,177,1423,3664,339661,804,0,77,399420,0
Reachability property qltransition_103 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_103,6.37709e+1367,10.7392,141552,177,1420,3664,339661,805,0,78,399420,0
Reachability property qltransition_104 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_104,9.61322e+1365,10.7472,141552,177,1421,3664,339661,806,0,79,399420,0
Reachability property qltransition_111 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_111,6.37709e+1367,10.7552,141552,177,1420,3664,339661,807,0,79,399420,0
Reachability property qltransition_112 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_112,9.61322e+1365,10.7632,141552,177,1421,3664,339661,808,0,79,399420,0
Reachability property qltransition_113 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_113,4.78294e+1361,10.7714,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_115 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_115,4.78294e+1361,10.7799,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_121 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_121,4.78294e+1361,10.788,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_123 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_123,4.78294e+1361,10.796,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_129 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_129,4.78294e+1361,10.8041,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_131 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_131,4.78294e+1361,10.8122,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_137 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_137,4.78294e+1361,10.8205,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_139 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_139,4.78294e+1361,10.8285,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_145 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_145,4.78294e+1361,10.8368,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_151 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_151,6.37709e+1367,10.8449,141552,177,1420,3664,339661,808,0,79,399420,0
Reachability property qltransition_152 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_152,9.61322e+1365,10.8529,141552,177,1421,3664,339661,808,0,79,399420,0
Reachability property qltransition_153 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_153,4.78294e+1361,10.8619,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_155 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_155,4.78294e+1361,10.8706,141552,177,1423,3664,339661,808,0,79,399420,0
Reachability property qltransition_159 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_159,6.37709e+1367,10.8786,141552,177,1420,3748,339661,808,0,79,399420,0
Reachability property qltransition_160 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_160,9.61322e+1365,10.8868,141552,177,1421,3914,339661,808,0,79,399420,0
Reachability property qltransition_161 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_161,4.78294e+1361,10.895,141552,177,1423,4079,339661,808,0,79,399420,0
Reachability property qltransition_163 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_163,4.78294e+1361,10.9031,141552,177,1423,4244,339661,808,0,79,399420,0
Reachability property qltransition_169 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_169,4.78294e+1361,10.9112,141552,177,1423,4408,339661,808,0,79,399420,0
Reachability property qltransition_171 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_171,4.78294e+1361,10.9192,141552,177,1423,4572,339661,808,0,79,399420,0
Reachability property qltransition_175 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_175,6.37709e+1367,10.9274,141552,177,1420,4736,339661,808,0,79,399420,0
Reachability property qltransition_176 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_176,9.61322e+1365,10.9355,141552,177,1421,4900,339661,808,0,79,399420,0
Reachability property qltransition_177 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_177,4.78294e+1361,10.9436,141552,177,1423,5063,339661,808,0,79,399420,0
Reachability property qltransition_179 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_179,4.78294e+1361,10.9518,141552,177,1423,5226,339661,808,0,79,399420,0
Reachability property qltransition_185 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_185,4.78294e+1361,10.9599,141552,177,1423,5388,339661,808,0,79,399420,0
Reachability property qltransition_187 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_187,4.78294e+1361,10.968,141552,177,1423,5550,339661,808,0,79,399420,0
Reachability property qltransition_193 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_193,4.78294e+1361,10.9762,141552,177,1423,5711,339661,808,0,79,399420,0
Reachability property qltransition_195 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_195,4.78294e+1361,10.9844,141552,177,1423,5872,339661,808,0,79,399420,0
Reachability property qltransition_201 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_201,4.78294e+1361,10.9925,141552,177,1423,6032,339661,808,0,79,399420,0
Reachability property qltransition_203 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_203,4.78294e+1361,11.0007,141552,177,1423,6192,339661,808,0,79,399420,0
Reachability property qltransition_209 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_209,4.78294e+1361,11.0089,141552,177,1423,6351,339661,808,0,79,399420,0
Reachability property qltransition_211 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_211,4.78294e+1361,11.0172,141552,177,1423,6510,339661,808,0,79,399420,0
Reachability property qltransition_217 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_217,4.78294e+1361,11.0272,141552,177,1423,6668,339661,808,0,79,399420,0
Reachability property qltransition_219 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_219,4.78294e+1361,11.0363,141552,177,1423,6826,339661,808,0,79,399420,0
Reachability property qltransition_225 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_225,4.78294e+1361,11.0444,141552,177,1423,6983,339661,808,0,79,399420,0
Reachability property qltransition_231 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_231,6.37709e+1367,11.0525,141552,177,1420,7140,339661,808,0,79,399420,0
Reachability property qltransition_232 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_232,9.61322e+1365,11.0606,141552,177,1421,7297,339661,808,0,79,399420,0
Reachability property qltransition_233 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_233,4.78294e+1361,11.0687,141552,177,1423,7453,339661,808,0,79,399420,0
Reachability property qltransition_235 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_235,4.78294e+1361,11.0768,141552,177,1423,7609,339661,808,0,79,399420,0
Reachability property qltransition_239 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_239,6.37709e+1367,11.085,141552,177,1420,7765,339661,808,0,79,399420,0
Reachability property qltransition_240 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_240,9.61322e+1365,11.0931,141552,177,1421,7921,339661,808,0,79,399420,0
Reachability property qltransition_249 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_249,4.78294e+1361,11.1012,141552,177,1423,8076,339661,808,0,79,399420,0
Reachability property qltransition_251 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_251,4.78294e+1361,11.1093,141552,177,1423,8231,339661,808,0,79,399420,0
Reachability property qltransition_257 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_257,4.78294e+1361,11.1174,141552,177,1423,8385,339661,808,0,79,399420,0
Reachability property qltransition_259 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_259,4.78294e+1361,11.1256,141552,177,1423,8539,339661,808,0,79,399420,0
Reachability property qltransition_263 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_263,6.37709e+1367,11.1335,141552,177,1420,8693,339661,808,0,79,399420,0
Reachability property qltransition_264 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_264,9.61322e+1365,11.1416,141552,177,1421,8847,339661,808,0,79,399420,0
Reachability property qltransition_265 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_265,4.78294e+1361,11.1497,141552,177,1423,9000,339661,808,0,79,399420,0
Reachability property qltransition_271 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_271,6.37709e+1367,11.1578,141552,177,1420,9153,339661,808,0,79,399420,0
Reachability property qltransition_272 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_272,9.61322e+1365,11.166,141552,177,1421,9306,339661,808,0,79,399420,0
Reachability property qltransition_273 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_273,4.78294e+1361,11.1742,141552,177,1423,9458,339661,808,0,79,399420,0
Reachability property qltransition_279 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_279,6.37709e+1367,11.1823,141552,177,1420,9610,339661,808,0,79,399420,0
Reachability property qltransition_280 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_280,9.61322e+1365,11.1905,141552,177,1421,9762,339661,808,0,79,399420,0
Reachability property qltransition_281 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_281,4.78294e+1361,11.1988,141552,177,1423,9913,339661,808,0,79,399420,0
Reachability property qltransition_283 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_283,4.78294e+1361,11.2069,141552,177,1423,10064,339661,808,0,79,399420,0
Reachability property qltransition_289 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_289,4.78294e+1361,11.2151,141552,177,1423,10214,339661,808,0,79,399420,0
Reachability property qltransition_291 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_291,4.78294e+1361,11.2232,141552,177,1423,10364,339661,808,0,79,399420,0
Reachability property qltransition_297 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_297,4.78294e+1361,11.2313,141552,177,1423,10513,339661,808,0,79,399420,0
Reachability property qltransition_299 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_299,4.78294e+1361,11.2394,141552,177,1423,10662,339661,808,0,79,399420,0
Reachability property qltransition_303 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_303,6.37709e+1367,11.2475,141552,177,1420,10811,339661,808,0,79,399420,0
Reachability property qltransition_304 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_304,9.61322e+1365,11.2557,141552,177,1421,10960,339661,808,0,79,399420,0
Reachability property qltransition_305 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_305,4.78294e+1361,11.2639,141552,177,1423,11108,339661,808,0,79,399420,0
Reachability property qltransition_307 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_307,4.78294e+1361,11.272,141552,177,1423,11256,339661,808,0,79,399420,0
Reachability property qltransition_321 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_321,4.78294e+1361,11.28,141552,177,1423,11403,339661,808,0,79,399420,0
Reachability property qltransition_329 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_329,4.78294e+1361,11.2882,141552,177,1423,11549,339661,808,0,79,399420,0
Reachability property qltransition_331 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_331,4.78294e+1361,11.2964,141552,177,1423,11695,339661,808,0,79,399420,0
Reachability property qltransition_337 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_337,4.78294e+1361,11.3044,141552,177,1423,11840,339661,808,0,79,399420,0
Reachability property qltransition_343 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_343,6.37709e+1367,11.3125,141552,177,1420,11985,339661,808,0,79,399420,0
Reachability property qltransition_344 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_344,9.61322e+1365,11.3206,141552,177,1421,12130,339661,808,0,79,399420,0
Reachability property qltransition_345 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_345,4.78294e+1361,11.3287,141552,177,1423,12274,339661,808,0,79,399420,0
Reachability property qltransition_351 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_351,6.37709e+1367,11.3369,141552,177,1420,12418,339661,808,0,79,399420,0
Reachability property qltransition_352 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_352,9.61322e+1365,11.3449,141552,177,1421,12562,339661,808,0,79,399420,0
Reachability property qltransition_353 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_353,4.78294e+1361,11.3531,141552,177,1423,12705,339661,808,0,79,399420,0
Reachability property qltransition_355 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_355,4.78294e+1361,11.3612,141552,177,1423,12848,339661,808,0,79,399420,0
Reachability property qltransition_361 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_361,4.78294e+1361,11.3695,141552,177,1423,12990,339661,808,0,79,399420,0
Reachability property qltransition_363 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_363,4.78294e+1361,11.3815,141552,177,1423,13132,339661,808,0,79,399420,0
Reachability property qltransition_367 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_367,6.37709e+1367,11.3897,141552,177,1420,13274,339661,808,0,79,399420,0
Reachability property qltransition_368 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_368,9.61322e+1365,11.3998,141552,177,1421,13416,339661,808,0,79,399420,0
Reachability property qltransition_369 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_369,4.78294e+1361,11.4085,141552,177,1423,13557,339661,808,0,79,399420,0
Reachability property qltransition_371 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_371,4.78294e+1361,11.4167,141552,177,1423,13698,339661,808,0,79,399420,0
Reachability property qltransition_377 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_377,4.78294e+1361,11.4248,141552,177,1423,13838,339661,808,0,79,399420,0
Reachability property qltransition_379 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_379,4.78294e+1361,11.4329,141552,177,1423,13978,339661,808,0,79,399420,0
Reachability property qltransition_385 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_385,4.78294e+1361,11.441,141552,177,1423,14117,339661,808,0,79,399420,0
Reachability property qltransition_387 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_387,4.78294e+1361,11.4489,141552,177,1423,14256,339661,808,0,79,399420,0
Reachability property qltransition_393 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_393,4.78294e+1361,11.4569,141552,177,1423,14394,339661,808,0,79,399420,0
Reachability property qltransition_401 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_401,4.78294e+1361,11.4651,141552,177,1423,14531,339661,808,0,79,399420,0
Reachability property qltransition_403 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_403,4.78294e+1361,11.473,141552,177,1423,14668,339661,808,0,79,399420,0
Reachability property qltransition_409 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_409,4.78294e+1361,11.481,141552,177,1423,14804,339661,808,0,79,399420,0
Reachability property qltransition_411 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_411,4.78294e+1361,11.4893,141552,177,1423,14940,339661,808,0,79,399420,0
Reachability property qltransition_415 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_415,6.37709e+1367,11.4974,141552,177,1420,15076,339661,808,0,79,399420,0
Reachability property qltransition_416 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_416,9.61322e+1365,11.5054,141552,177,1421,15212,339661,808,0,79,399420,0
Reachability property qltransition_417 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_417,4.78294e+1361,11.5135,141552,177,1423,15347,339661,808,0,79,399420,0
Reachability property qltransition_419 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_419,4.78294e+1361,11.5217,141552,177,1423,15482,339661,808,0,79,399420,0
Reachability property qltransition_425 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_425,4.78294e+1361,11.5299,141552,177,1423,15616,339661,808,0,79,399420,0
Reachability property qltransition_427 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_427,4.78294e+1361,11.538,141552,177,1423,15750,339661,808,0,79,399420,0
Reachability property qltransition_431 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_431,6.37709e+1367,11.5461,141552,177,1420,15884,339661,808,0,79,399420,0
Reachability property qltransition_432 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_432,9.61322e+1365,11.5542,141552,177,1421,16018,339661,808,0,79,399420,0
Reachability property qltransition_433 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_433,4.78294e+1361,11.5623,141552,177,1423,16151,339661,808,0,79,399420,0
Reachability property qltransition_435 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_435,4.78294e+1361,11.5703,141552,177,1423,16284,339661,808,0,79,399420,0
Reachability property qltransition_441 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_441,4.78294e+1361,11.5785,141552,177,1423,16416,339661,808,0,79,399420,0
Reachability property qltransition_443 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_443,4.78294e+1361,11.5865,141552,177,1423,16548,339661,808,0,79,399420,0
Reachability property qltransition_449 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_449,4.78294e+1361,11.5946,141552,177,1423,16679,339661,808,0,79,399420,0
Reachability property qltransition_451 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_451,4.78294e+1361,11.6027,141552,177,1423,16810,339661,808,0,79,399420,0
Reachability property qltransition_457 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_457,4.78294e+1361,11.611,141552,177,1423,16940,339661,808,0,79,399420,0
Reachability property qltransition_459 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_459,4.78294e+1361,11.619,141552,177,1423,17070,339661,808,0,79,399420,0
Reachability property qltransition_465 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_465,4.78294e+1361,11.6271,141552,177,1423,17199,339661,808,0,79,399420,0
Reachability property qltransition_471 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_471,6.37709e+1367,11.6351,141552,177,1420,17328,339661,808,0,79,399420,0
Reachability property qltransition_472 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_472,9.61322e+1365,11.6433,141552,177,1421,17457,339661,808,0,79,399420,0
Reachability property qltransition_473 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_473,4.78294e+1361,11.6514,141552,177,1423,17585,339661,808,0,79,399420,0
Reachability property qltransition_475 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_475,4.78294e+1361,11.6596,141552,177,1423,17713,339661,808,0,79,399420,0
Reachability property qltransition_481 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_481,4.78294e+1361,11.6677,141552,177,1423,17840,339661,808,0,79,399420,0
Reachability property qltransition_489 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_489,4.78294e+1361,11.6758,141552,177,1423,17966,339661,808,0,79,399420,0
Reachability property qltransition_491 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_491,4.78294e+1361,11.6838,141552,177,1423,18092,339661,808,0,79,399420,0
Reachability property qltransition_495 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_495,6.37709e+1367,11.6919,141552,177,1420,18218,339661,808,0,79,399420,0
Reachability property qltransition_496 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_496,9.61322e+1365,11.6999,141552,177,1421,18344,339661,808,0,79,399420,0
Reachability property qltransition_497 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_497,4.78294e+1361,11.708,141552,177,1423,18469,339661,808,0,79,399420,0
Reachability property qltransition_499 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_499,4.78294e+1361,11.7162,141552,177,1423,18594,339661,808,0,79,399420,0
Reachability property qltransition_511 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_511,6.37709e+1367,11.7244,141552,177,1420,18718,339661,808,0,79,399420,0
Reachability property qltransition_512 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_512,9.61322e+1365,11.7327,141552,177,1421,18842,339661,808,0,79,399420,0
Reachability property qltransition_513 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_513,4.78294e+1361,11.7407,141552,177,1423,18965,339661,808,0,79,399420,0
Reachability property qltransition_515 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_515,4.78294e+1361,11.7488,141552,177,1423,19088,339661,808,0,79,399420,0
Reachability property qltransition_521 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_521,4.78294e+1361,11.7568,141552,177,1423,19210,339661,808,0,79,399420,0
Reachability property qltransition_537 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_537,4.78294e+1361,11.765,141552,177,1423,19331,339661,808,0,79,399420,0
Reachability property qltransition_543 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_543,6.37709e+1367,11.773,141552,177,1420,19452,339661,808,0,79,399420,0
Reachability property qltransition_544 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_544,9.61322e+1365,11.7811,141552,177,1421,19573,339661,808,0,79,399420,0
Reachability property qltransition_545 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_545,4.78294e+1361,11.7891,141552,177,1423,19693,339661,808,0,79,399420,0
Reachability property qltransition_547 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_547,4.78294e+1361,11.7971,141552,177,1423,19813,339661,808,0,79,399420,0
Reachability property qltransition_553 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_553,4.78294e+1361,11.8052,141552,177,1423,19932,339661,808,0,79,399420,0
Reachability property qltransition_555 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_555,4.78294e+1361,11.8135,141552,177,1423,20051,339661,808,0,79,399420,0
Reachability property qltransition_559 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_559,6.37709e+1367,11.8214,141552,177,1420,20170,339661,808,0,79,399420,0
Reachability property qltransition_560 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_560,9.61322e+1365,11.8295,141552,177,1421,20289,339661,808,0,79,399420,0
Reachability property qltransition_561 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_561,4.78294e+1361,11.8376,141552,177,1423,20407,339661,808,0,79,399420,0
Reachability property qltransition_563 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_563,4.78294e+1361,11.8456,141552,177,1423,20525,339661,808,0,79,399420,0
Reachability property qltransition_567 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_567,6.37709e+1367,11.8537,141552,177,1420,20643,339661,808,0,79,399420,0
Reachability property qltransition_568 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_568,9.61322e+1365,11.8618,141552,177,1421,20761,339661,808,0,79,399420,0
Reachability property qltransition_569 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_569,4.78294e+1361,11.87,141552,177,1423,20878,339661,808,0,79,399420,0
Reachability property qltransition_577 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_577,4.78294e+1361,11.8783,141552,177,1423,20994,339661,808,0,79,399420,0
Reachability property qltransition_579 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_579,4.78294e+1361,11.8866,141552,177,1423,21110,339661,808,0,79,399420,0
Reachability property qltransition_585 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_585,4.78294e+1361,11.8947,141552,177,1423,21225,339661,808,0,79,399420,0
Reachability property qltransition_587 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_587,4.78294e+1361,11.9029,141552,177,1423,21340,339661,808,0,79,399420,0
Reachability property qltransition_593 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_593,4.78294e+1361,11.9111,141552,177,1423,21454,339661,808,0,79,399420,0
Reachability property qltransition_601 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_601,4.78294e+1361,11.9194,141552,177,1423,21567,339661,808,0,79,399420,0
Reachability property qltransition_603 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_603,4.78294e+1361,11.9276,141552,177,1423,21680,339661,808,0,79,399420,0
Reachability property qltransition_609 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_609,4.78294e+1361,11.9356,141552,177,1423,21792,339661,808,0,79,399420,0
Reachability property qltransition_611 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_611,4.78294e+1361,11.9436,141552,177,1423,21904,339661,808,0,79,399420,0
Reachability property qltransition_615 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_615,6.37709e+1367,11.9518,141552,177,1420,22016,339661,808,0,79,399420,0
Reachability property qltransition_616 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_616,9.61322e+1365,11.96,141552,177,1421,22128,339661,808,0,79,399420,0
Reachability property qltransition_617 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_617,4.78294e+1361,11.9682,141552,177,1423,22239,339661,808,0,79,399420,0
Reachability property qltransition_619 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_619,4.78294e+1361,11.9763,141552,177,1423,22350,339661,808,0,79,399420,0
Reachability property qltransition_623 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_623,6.37709e+1367,11.9845,141552,177,1420,22461,339661,808,0,79,399420,0
Reachability property qltransition_624 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_624,9.61322e+1365,11.9927,141552,177,1421,22572,339661,808,0,79,399420,0
Reachability property qltransition_625 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_625,4.78294e+1361,12.0008,141552,177,1423,22682,339661,808,0,79,399420,0
Reachability property qltransition_627 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_627,4.78294e+1361,12.0089,141552,177,1423,22792,339661,808,0,79,399420,0
Reachability property qltransition_631 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_631,6.37709e+1367,12.0169,141552,177,1420,22902,339661,808,0,79,399420,0
Reachability property qltransition_632 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_632,9.61322e+1365,12.0251,141552,177,1421,23012,339661,808,0,79,399420,0
Reachability property qltransition_633 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_633,4.78294e+1361,12.0332,141552,177,1423,23121,339661,808,0,79,399420,0
Reachability property qltransition_641 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_641,4.78294e+1361,12.0413,141552,177,1423,23229,339661,808,0,79,399420,0
Reachability property qltransition_643 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_643,4.78294e+1361,12.0493,141552,177,1423,23337,339661,808,0,79,399420,0
Reachability property qltransition_649 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_649,4.78294e+1361,12.0574,141552,177,1423,23444,339661,808,0,79,399420,0
Reachability property qltransition_651 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_651,4.78294e+1361,12.0655,141552,177,1423,23551,339661,808,0,79,399420,0
Reachability property qltransition_657 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_657,4.78294e+1361,12.0736,141552,177,1423,23657,339661,808,0,79,399420,0
Reachability property qltransition_659 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_659,4.78294e+1361,12.0817,141552,177,1423,23763,339661,808,0,79,399420,0
Reachability property qltransition_665 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_665,4.78294e+1361,12.0897,141552,177,1423,23868,339661,808,0,79,399420,0
Reachability property qltransition_667 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_667,4.78294e+1361,12.098,141552,177,1423,23973,339661,808,0,79,399420,0
Reachability property qltransition_673 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_673,4.78294e+1361,12.1063,141552,177,1423,24077,339661,808,0,79,399420,0
Reachability property qltransition_675 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_675,4.78294e+1361,12.1143,141552,177,1423,24181,339661,808,0,79,399420,0
Reachability property qltransition_679 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_679,6.37709e+1367,12.1224,141552,177,1420,24285,339661,808,0,79,399420,0
Reachability property qltransition_680 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_680,9.61322e+1365,12.1305,141552,177,1421,24389,339661,808,0,79,399420,0
Reachability property qltransition_681 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_681,4.78294e+1361,12.1386,141552,177,1423,24492,339661,808,0,79,399420,0
Reachability property qltransition_683 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_683,4.78294e+1361,12.1469,141552,177,1423,24595,339661,808,0,79,399420,0
Reachability property qltransition_687 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_687,6.37709e+1367,12.155,141552,177,1420,24698,339661,808,0,79,399420,0
Reachability property qltransition_688 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_688,9.61322e+1365,12.163,141552,177,1421,24801,339661,808,0,79,399420,0
Reachability property qltransition_689 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_689,4.78294e+1361,12.171,141552,177,1423,24903,339661,808,0,79,399420,0
Reachability property qltransition_705 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_705,4.78294e+1361,12.1791,141552,177,1423,25004,339661,808,0,79,399420,0
Reachability property qltransition_707 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_707,4.78294e+1361,12.1871,141552,177,1423,25105,339661,808,0,79,399420,0
Reachability property qltransition_711 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_711,6.37709e+1367,12.1952,141552,177,1420,25206,339661,808,0,79,399420,0
Reachability property qltransition_712 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_712,9.61322e+1365,12.2033,141552,177,1421,25307,339661,808,0,79,399420,0
Reachability property qltransition_713 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_713,4.78294e+1361,12.2114,141552,177,1423,25407,339661,808,0,79,399420,0
Reachability property qltransition_715 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_715,4.78294e+1361,12.2195,141552,177,1423,25507,339661,808,0,79,399420,0
Reachability property qltransition_729 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_729,4.78294e+1361,12.2276,141552,177,1423,25606,339661,808,0,79,399420,0
Reachability property qltransition_731 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_731,4.78294e+1361,12.2358,141552,177,1423,25705,339661,808,0,79,399420,0
Reachability property qltransition_735 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_735,6.37709e+1367,12.244,141552,177,1420,25804,339661,808,0,79,399420,0
Reachability property qltransition_736 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_736,9.61322e+1365,12.252,141552,177,1421,25903,339661,808,0,79,399420,0
Reachability property qltransition_737 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_737,4.78294e+1361,12.2601,141552,177,1423,26001,339661,808,0,79,399420,0
Reachability property qltransition_739 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_739,4.78294e+1361,12.2682,141552,177,1423,26099,339661,808,0,79,399420,0
Reachability property qltransition_745 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_745,4.78294e+1361,12.2763,141552,177,1423,26196,339661,808,0,79,399420,0
Reachability property qltransition_747 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_747,4.78294e+1361,12.2926,141552,177,1423,26293,339661,808,0,79,399420,0
Reachability property qltransition_751 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_751,6.37709e+1367,12.3007,141552,177,1420,26390,339661,808,0,79,399420,0
Reachability property qltransition_752 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_752,9.61322e+1365,12.3125,141552,177,1421,26487,339661,808,0,79,399420,0
Reachability property qltransition_769 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_769,4.78294e+1361,12.3207,141552,177,1423,26583,339661,808,0,79,399420,0
Reachability property qltransition_775 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_775,6.37709e+1367,12.3288,141552,177,1420,26679,339661,808,0,79,399420,0
Reachability property qltransition_776 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_776,9.61322e+1365,12.3371,141552,177,1421,26775,339661,808,0,79,399420,0
Reachability property qltransition_777 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_777,4.78294e+1361,12.3451,141552,177,1423,26870,339661,808,0,79,399420,0
Reachability property qltransition_779 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_779,4.78294e+1361,12.3532,141552,177,1423,26965,339661,808,0,79,399420,0
Reachability property qltransition_783 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_783,6.37709e+1367,12.3613,141552,177,1420,27060,339661,808,0,79,399420,0
Reachability property qltransition_784 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_784,9.61322e+1365,12.3694,141552,177,1421,27155,339661,808,0,79,399420,0
Reachability property qltransition_785 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_785,4.78294e+1361,12.3775,141552,177,1423,27249,339661,808,0,79,399420,0
Reachability property qltransition_787 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_787,4.78294e+1361,12.3856,141552,177,1423,27343,339661,808,0,79,399420,0
Reachability property qltransition_793 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_793,4.78294e+1361,12.3937,141552,177,1423,27436,339661,808,0,79,399420,0
Reachability property qltransition_801 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_801,4.78294e+1361,12.4018,141552,177,1423,27528,339661,808,0,79,399420,0
Reachability property qltransition_809 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_809,4.78294e+1361,12.4099,141552,177,1423,27619,339661,808,0,79,399420,0
Reachability property qltransition_815 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_815,6.37709e+1367,12.4179,141552,177,1420,27710,339661,808,0,79,399420,0
Reachability property qltransition_816 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_816,9.61322e+1365,12.4259,141552,177,1421,27801,339661,808,0,79,399420,0
Reachability property qltransition_817 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_817,4.78294e+1361,12.434,141552,177,1423,27891,339661,808,0,79,399420,0
Reachability property qltransition_819 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_819,4.78294e+1361,12.442,141552,177,1423,27981,339661,808,0,79,399420,0
Reachability property qltransition_825 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_825,4.78294e+1361,12.45,141552,177,1423,28070,339661,808,0,79,399420,0
Reachability property qltransition_833 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_833,4.78294e+1361,12.458,141552,177,1423,28158,339661,808,0,79,399420,0
Reachability property qltransition_835 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_835,4.78294e+1361,12.4661,141552,177,1423,28246,339661,808,0,79,399420,0
Reachability property qltransition_847 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_847,6.37709e+1367,12.4741,141552,177,1420,28333,339661,808,0,79,399420,0
Reachability property qltransition_848 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_848,9.61322e+1365,12.4821,141552,177,1421,28420,339661,808,0,79,399420,0
Reachability property qltransition_849 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_849,4.78294e+1361,12.4901,141552,177,1423,28506,339661,808,0,79,399420,0
Reachability property qltransition_855 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_855,6.37709e+1367,12.4981,141552,177,1420,28592,339661,808,0,79,399420,0
Reachability property qltransition_856 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_856,9.61322e+1365,12.5061,141552,177,1421,28678,339661,808,0,79,399420,0
Reachability property qltransition_857 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_857,4.78294e+1361,12.5141,141552,177,1423,28763,339661,808,0,79,399420,0
Reachability property qltransition_859 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_859,4.78294e+1361,12.5221,141552,177,1423,28848,339661,808,0,79,399420,0
Reachability property qltransition_865 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_865,4.78294e+1361,12.5302,141552,177,1423,28932,339661,808,0,79,399420,0
Reachability property qltransition_871 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_871,6.37709e+1367,12.5383,141552,177,1420,29016,339661,808,0,79,399420,0
Reachability property qltransition_872 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_872,9.61322e+1365,12.5463,141552,177,1421,29100,339661,808,0,79,399420,0
Reachability property qltransition_873 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_873,4.78294e+1361,12.5543,141552,177,1423,29183,339661,808,0,79,399420,0
Reachability property qltransition_879 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_879,6.37709e+1367,12.5623,141552,177,1420,29266,339661,808,0,79,399420,0
Reachability property qltransition_880 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_880,9.61322e+1365,12.5704,141552,177,1421,29349,339661,808,0,79,399420,0
Reachability property qltransition_897 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_897,4.78294e+1361,12.5787,141552,177,1423,29431,339661,808,0,79,399420,0
Reachability property qltransition_899 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_899,4.78294e+1361,12.5868,141552,177,1423,29513,339661,808,0,79,399420,0
Reachability property qltransition_903 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_903,6.37709e+1367,12.5949,141552,177,1420,29595,339661,808,0,79,399420,0
Reachability property qltransition_904 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_904,9.61322e+1365,12.603,141552,177,1421,29677,339661,808,0,79,399420,0
Reachability property qltransition_905 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_905,4.78294e+1361,12.6111,141552,177,1423,29758,339661,808,0,79,399420,0
Reachability property qltransition_907 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_907,4.78294e+1361,12.6191,141552,177,1423,29839,339661,808,0,79,399420,0
Reachability property qltransition_913 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_913,4.78294e+1361,12.6272,141552,177,1423,29919,339661,808,0,79,399420,0
Reachability property qltransition_915 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_915,4.78294e+1361,12.6352,141552,177,1423,29999,339661,808,0,79,399420,0
Reachability property qltransition_919 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_919,6.37709e+1367,12.6433,141552,177,1420,30079,339661,808,0,79,399420,0
Reachability property qltransition_920 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_920,9.61322e+1365,12.6513,141552,177,1421,30159,339661,808,0,79,399420,0
Reachability property qltransition_921 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_921,4.78294e+1361,12.6593,141552,177,1423,30238,339661,808,0,79,399420,0
Reachability property qltransition_923 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_923,4.78294e+1361,12.6674,141552,177,1423,30317,339661,808,0,79,399420,0
Reachability property qltransition_929 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_929,4.78294e+1361,12.6753,141552,177,1423,30395,339661,808,0,79,399420,0
Reachability property qltransition_937 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_937,4.78294e+1361,12.6832,141552,177,1423,30472,339661,808,0,79,399420,0
Reachability property qltransition_961 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_961,4.78294e+1361,12.6912,141552,177,1423,30548,339661,808,0,79,399420,0
Reachability property qltransition_969 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_969,4.78294e+1361,12.6992,141552,177,1423,30623,339661,808,0,79,399420,0
Reachability property qltransition_971 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_971,4.78294e+1361,12.7071,141552,177,1423,30698,339661,808,0,79,399420,0
Reachability property qltransition_979 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_979,4.78294e+1361,12.7149,141552,177,1423,30772,339661,808,0,79,399420,0
Reachability property qltransition_985 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_985,4.78294e+1361,12.7228,141552,177,1423,30845,339661,808,0,79,399420,0
Reachability property qltransition_993 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_993,4.78294e+1361,12.7307,141552,177,1423,30917,339661,808,0,79,399420,0
Reachability property qltransition_995 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_995,4.78294e+1361,12.7387,141552,177,1423,30989,339661,808,0,79,399420,0
Reachability property qltransition_999 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_999,6.37709e+1367,12.7468,141552,177,1420,31061,339661,808,0,79,399420,0
Reachability property qltransition_1000 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1000,9.61322e+1365,12.7547,141552,177,1421,31133,339661,808,0,79,399420,0
Reachability property qltransition_1001 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1001,4.78294e+1361,12.7626,141552,177,1423,31204,339661,808,0,79,399420,0
Reachability property qltransition_1007 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1007,6.37709e+1367,12.7706,141552,177,1420,31275,339661,808,0,79,399420,0
Reachability property qltransition_1008 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1008,9.61322e+1365,12.7786,141552,177,1421,31346,339661,808,0,79,399420,0
Reachability property qltransition_1009 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1009,4.78294e+1361,12.7865,141552,177,1423,31416,339661,808,0,79,399420,0
Reachability property qltransition_1011 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1011,4.78294e+1361,12.7944,141552,177,1423,31486,339661,808,0,79,399420,0
Reachability property qltransition_1015 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1015,6.37709e+1367,12.8024,141552,177,1420,31556,339661,808,0,79,399420,0
Reachability property qltransition_1016 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1016,9.61322e+1365,12.8103,141552,177,1421,31626,339661,808,0,79,399420,0
Reachability property qltransition_1019 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1019,4.78294e+1361,12.8182,141552,177,1423,31695,339661,808,0,79,399420,0
Reachability property qltransition_1025 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1025,4.78294e+1361,12.8261,141552,177,1423,31763,339661,808,0,79,399420,0
Reachability property qltransition_1027 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1027,4.78294e+1361,12.8345,141552,177,1423,31831,339661,808,0,79,399420,0
Reachability property qltransition_1033 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1033,4.78294e+1361,12.8425,141552,177,1423,31898,339661,808,0,79,399420,0
Reachability property qltransition_1035 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1035,4.78294e+1361,12.8504,141552,177,1423,31965,339661,808,0,79,399420,0
Reachability property qltransition_1043 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1043,4.78294e+1361,12.8582,141552,177,1423,32031,339661,808,0,79,399420,0
Reachability property qltransition_1049 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1049,4.78294e+1361,12.8661,141552,177,1423,32096,339661,808,0,79,399420,0
Reachability property qltransition_1051 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1051,4.78294e+1361,12.874,141552,177,1423,32161,339661,808,0,79,399420,0
Reachability property qltransition_1057 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1057,4.78294e+1361,12.8818,141552,177,1423,32225,339661,808,0,79,399420,0
Reachability property qltransition_1059 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1059,4.78294e+1361,12.8897,141552,177,1423,32289,339661,808,0,79,399420,0
Reachability property qltransition_1065 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1065,4.78294e+1361,12.8978,141552,177,1423,32352,339661,808,0,79,399420,0
Reachability property qltransition_1067 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1067,4.78294e+1361,12.9057,141552,177,1423,32415,339661,808,0,79,399420,0
Reachability property qltransition_1071 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1071,6.37709e+1367,12.9137,141552,177,1420,32478,339661,808,0,79,399420,0
Reachability property qltransition_1072 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1072,9.61322e+1365,12.9217,141552,177,1421,32541,339661,808,0,79,399420,0
Reachability property qltransition_1073 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1073,4.78294e+1361,12.9296,141552,177,1423,32603,339661,808,0,79,399420,0
Reachability property qltransition_1075 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1075,4.78294e+1361,12.9375,141552,177,1423,32665,339661,808,0,79,399420,0
Reachability property qltransition_1089 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1089,4.78294e+1361,12.9454,141552,177,1423,32726,339661,808,0,79,399420,0
Reachability property qltransition_1097 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1097,4.78294e+1361,12.9532,141552,177,1423,32786,339661,808,0,79,399420,0
Reachability property qltransition_1099 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1099,4.78294e+1361,12.9611,141552,177,1423,32846,339661,808,0,79,399420,0
Reachability property qltransition_1111 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1111,6.37709e+1367,12.969,141552,177,1420,32905,339661,808,0,79,399420,0
Reachability property qltransition_1112 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1112,9.61322e+1365,12.9768,141552,177,1421,32964,339661,808,0,79,399420,0
Reachability property qltransition_1113 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1113,4.78294e+1361,12.9846,141552,177,1423,33022,339661,808,0,79,399420,0
Reachability property qltransition_1115 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1115,4.78294e+1361,12.9924,141552,177,1423,33080,339661,808,0,79,399420,0
Reachability property qltransition_1119 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1119,6.37709e+1367,13.0003,141552,177,1420,33138,339661,808,0,79,399420,0
Reachability property qltransition_1120 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1120,9.61322e+1365,13.0081,141552,177,1421,33196,339661,808,0,79,399420,0
Reachability property qltransition_1121 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1121,4.78294e+1361,13.0159,141552,177,1423,33253,339661,808,0,79,399420,0
Reachability property qltransition_1123 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1123,4.78294e+1361,13.0238,141552,177,1423,33310,339661,808,0,79,399420,0
Reachability property qltransition_1129 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1129,4.78294e+1361,13.0316,141552,177,1423,33366,339661,808,0,79,399420,0
Reachability property qltransition_1135 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1135,6.37709e+1367,13.0394,141552,177,1420,33422,339661,808,0,79,399420,0
Reachability property qltransition_1136 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1136,9.61322e+1365,13.0473,141552,177,1421,33478,339661,808,0,79,399420,0
Reachability property qltransition_1137 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1137,4.78294e+1361,13.0551,141552,177,1423,33533,339661,808,0,79,399420,0
Reachability property qltransition_1145 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1145,4.78294e+1361,13.0631,141552,177,1423,33587,339661,808,0,79,399420,0
Reachability property qltransition_1147 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1147,4.78294e+1361,13.071,141552,177,1423,33641,339661,808,0,79,399420,0
Reachability property qltransition_1153 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1153,4.78294e+1361,13.0788,141552,177,1423,33694,339661,808,0,79,399420,0
Reachability property qltransition_1155 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1155,4.78294e+1361,13.0866,141552,177,1423,33747,339661,808,0,79,399420,0
Reachability property qltransition_1161 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1161,4.78294e+1361,13.0945,141552,177,1423,33799,339661,808,0,79,399420,0
Reachability property qltransition_1163 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1163,4.78294e+1361,13.1023,141552,177,1423,33851,339661,808,0,79,399420,0
Reachability property qltransition_1167 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1167,6.37709e+1367,13.1102,141552,177,1420,33903,339661,808,0,79,399420,0
Reachability property qltransition_1168 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1168,9.61322e+1365,13.1184,141552,177,1421,33955,339661,808,0,79,399420,0
Reachability property qltransition_1169 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1169,4.78294e+1361,13.1266,141552,177,1423,34006,339661,808,0,79,399420,0
Reachability property qltransition_1177 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1177,4.78294e+1361,13.1347,141552,177,1423,34056,339661,808,0,79,399420,0
Reachability property qltransition_1179 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1179,4.78294e+1361,13.1427,141552,177,1423,34106,339661,808,0,79,399420,0
Reachability property qltransition_1185 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1185,4.78294e+1361,13.1508,141552,177,1423,34155,339661,808,0,79,399420,0
Reachability property qltransition_1187 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1187,4.78294e+1361,13.159,141552,177,1423,34204,339661,808,0,79,399420,0
Reachability property qltransition_1193 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1193,4.78294e+1361,13.1671,141552,177,1423,34252,339661,808,0,79,399420,0
Reachability property qltransition_1195 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1195,4.78294e+1361,13.1751,141552,177,1423,34300,339661,808,0,79,399420,0
Reachability property qltransition_1199 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1199,6.37709e+1367,13.1829,141552,177,1420,34348,339661,808,0,79,399420,0
Reachability property qltransition_1200 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1200,9.61322e+1365,13.191,141552,177,1421,34396,339661,808,0,79,399420,0
Reachability property qltransition_1201 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1201,4.78294e+1361,13.1989,141552,177,1423,34443,339661,808,0,79,399420,0
Reachability property qltransition_1203 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1203,4.78294e+1361,13.2067,141552,177,1423,34490,339661,808,0,79,399420,0
Reachability property qltransition_1217 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1217,4.78294e+1361,13.2149,141552,177,1423,34536,339661,808,0,79,399420,0
Reachability property qltransition_1219 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1219,4.78294e+1361,13.2228,141552,177,1423,34582,339661,808,0,79,399420,0
Reachability property qltransition_1233 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1233,4.78294e+1361,13.2308,141552,177,1423,34627,339661,808,0,79,399420,0
Reachability property qltransition_1239 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1239,6.37709e+1367,13.2389,141552,177,1420,34672,339661,808,0,79,399420,0
Reachability property qltransition_1240 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1240,9.61322e+1365,13.2471,141552,177,1421,34717,339661,808,0,79,399420,0
Reachability property qltransition_1241 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1241,4.78294e+1361,13.255,141552,177,1423,34761,339661,808,0,79,399420,0
Reachability property qltransition_1247 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1247,6.37709e+1367,13.263,141552,177,1420,34805,339661,808,0,79,399420,0
Reachability property qltransition_1248 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1248,9.61322e+1365,13.2709,141552,177,1421,34849,339661,808,0,79,399420,0
Reachability property qltransition_1249 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1249,4.78294e+1361,13.2789,141552,177,1423,34892,339661,808,0,79,399420,0
Reachability property qltransition_1251 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1251,4.78294e+1361,13.2868,141552,177,1423,34935,339661,808,0,79,399420,0
Reachability property qltransition_1255 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1255,6.37709e+1367,13.295,141552,177,1420,34978,339661,808,0,79,399420,0
Reachability property qltransition_1256 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1256,9.61322e+1365,13.3031,141552,177,1421,35021,339661,808,0,79,399420,0
Reachability property qltransition_1257 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1257,4.78294e+1361,13.3111,141552,177,1423,35063,339661,808,0,79,399420,0
Reachability property qltransition_1263 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1263,6.37709e+1367,13.3191,141552,177,1420,35105,339661,808,0,79,399420,0
Reachability property qltransition_1264 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1264,9.61322e+1365,13.3272,141552,177,1421,35147,339661,808,0,79,399420,0
Reachability property qltransition_1265 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1265,4.78294e+1361,13.3354,141552,177,1423,35188,339661,808,0,79,399420,0
Reachability property qltransition_1267 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1267,4.78294e+1361,13.3433,141552,177,1423,35229,339661,808,0,79,399420,0
Reachability property qltransition_1273 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1273,4.78294e+1361,13.3512,141552,177,1423,35269,339661,808,0,79,399420,0
Reachability property qltransition_1279 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1279,6.37709e+1367,13.3592,141552,177,1420,35309,339661,808,0,79,399420,0
Reachability property qltransition_1280 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1280,9.61322e+1365,13.3672,141552,177,1421,35349,339661,808,0,79,399420,0
Reachability property qltransition_1281 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1281,4.78294e+1361,13.3755,141552,177,1423,35388,339661,808,0,79,399420,0
Reachability property qltransition_1283 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1283,4.78294e+1361,13.3835,141552,177,1423,35427,339661,808,0,79,399420,0
Reachability property qltransition_1289 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1289,4.78294e+1361,13.3915,141552,177,1423,35465,339661,808,0,79,399420,0
Reachability property qltransition_1291 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1291,4.78294e+1361,13.3996,141552,177,1423,35503,339661,808,0,79,399420,0
Reachability property qltransition_1297 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1297,4.78294e+1361,13.4075,141552,177,1423,35540,339661,808,0,79,399420,0
Reachability property qltransition_1305 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1305,4.78294e+1361,13.4155,141552,177,1423,35576,339661,808,0,79,399420,0
Reachability property qltransition_1307 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1307,4.78294e+1361,13.4234,141552,177,1423,35612,339661,808,0,79,399420,0
Reachability property qltransition_1311 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1311,6.37709e+1367,13.4314,141552,177,1420,35648,339661,808,0,79,399420,0
Reachability property qltransition_1312 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1312,9.61322e+1365,13.4397,141552,177,1421,35684,339661,808,0,79,399420,0
Reachability property qltransition_1313 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1313,4.78294e+1361,13.4477,141552,177,1423,35719,339661,808,0,79,399420,0
Reachability property qltransition_1315 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1315,4.78294e+1361,13.4556,141552,177,1423,35754,339661,808,0,79,399420,0
Reachability property qltransition_1321 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1321,4.78294e+1361,13.4636,141552,177,1423,35788,339661,808,0,79,399420,0
Reachability property qltransition_1323 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1323,4.78294e+1361,13.4715,141552,177,1423,35822,339661,808,0,79,399420,0
Reachability property qltransition_1327 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1327,6.37709e+1367,13.4794,141552,177,1420,35856,339661,808,0,79,399420,0
Reachability property qltransition_1328 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1328,9.61322e+1365,13.4875,141552,177,1421,35890,339661,808,0,79,399420,0
Reachability property qltransition_1329 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1329,4.78294e+1361,13.4955,141552,177,1423,35923,339661,808,0,79,399420,0
Reachability property qltransition_1331 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1331,4.78294e+1361,13.5036,141552,177,1423,35956,339661,808,0,79,399420,0
Reachability property qltransition_1337 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1337,4.78294e+1361,13.5115,141552,177,1423,35988,339661,808,0,79,399420,0
Reachability property qltransition_1339 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1339,4.78294e+1361,13.5196,141552,177,1423,36020,339661,808,0,79,399420,0
Reachability property qltransition_1345 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1345,4.78294e+1361,13.5278,141552,177,1423,36051,339661,808,0,79,399420,0
Reachability property qltransition_1347 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1347,4.78294e+1361,13.5358,141552,177,1423,36082,339661,808,0,79,399420,0
Reachability property qltransition_1353 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1353,4.78294e+1361,13.5437,141552,177,1423,36112,339661,808,0,79,399420,0
Reachability property qltransition_1355 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1355,4.78294e+1361,13.5516,141552,177,1423,36142,339661,808,0,79,399420,0
Reachability property qltransition_1361 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1361,4.78294e+1361,13.5594,141552,177,1423,36171,339661,808,0,79,399420,0
Reachability property qltransition_1363 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1363,4.78294e+1361,13.5672,141552,177,1423,36200,339661,808,0,79,399420,0
Reachability property qltransition_1369 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1369,4.78294e+1361,13.575,141552,177,1423,36228,339661,808,0,79,399420,0
Reachability property qltransition_1371 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1371,4.78294e+1361,13.5828,141552,177,1423,36256,339661,808,0,79,399420,0
Reachability property qltransition_1377 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1377,4.78294e+1361,13.5906,141552,177,1423,36283,339661,808,0,79,399420,0
Reachability property qltransition_1379 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1379,4.78294e+1361,13.5984,141552,177,1423,36310,339661,808,0,79,399420,0
Reachability property qltransition_1385 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1385,4.78294e+1361,13.6062,141552,177,1423,36336,339661,808,0,79,399420,0
Reachability property qltransition_1387 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1387,4.78294e+1361,13.614,141552,177,1423,36362,339661,808,0,79,399420,0
Reachability property qltransition_1391 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1391,6.37709e+1367,13.6217,141552,177,1420,36388,339661,808,0,79,399420,0
Reachability property qltransition_1392 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1392,9.61322e+1365,13.6295,141552,177,1421,36414,339661,808,0,79,399420,0
Reachability property qltransition_1393 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1393,4.78294e+1361,13.6373,141552,177,1423,36439,339661,808,0,79,399420,0
Reachability property qltransition_1395 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1395,4.78294e+1361,13.6451,141552,177,1423,36464,339661,808,0,79,399420,0
Reachability property qltransition_1399 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1399,6.37709e+1367,13.6529,141552,177,1420,36489,339661,808,0,79,399420,0
Reachability property qltransition_1400 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1400,9.61322e+1365,13.6607,141552,177,1421,36514,339661,808,0,79,399420,0
Reachability property qltransition_1401 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1401,4.78294e+1361,13.6685,141552,177,1423,36538,339661,808,0,79,399420,0
Reachability property qltransition_1409 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1409,4.78294e+1361,13.6764,141552,177,1423,36561,339661,808,0,79,399420,0
Reachability property qltransition_1411 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1411,4.78294e+1361,13.6843,141552,177,1423,36584,339661,808,0,79,399420,0
Reachability property qltransition_1415 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1415,6.37709e+1367,13.6921,141552,177,1420,36607,339661,808,0,79,399420,0
Reachability property qltransition_1416 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1416,9.61322e+1365,13.6999,141552,177,1421,36630,339661,808,0,79,399420,0
Reachability property qltransition_1417 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1417,4.78294e+1361,13.7077,141552,177,1423,36652,339661,808,0,79,399420,0
Reachability property qltransition_1419 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1419,4.78294e+1361,13.7154,141552,177,1423,36674,339661,808,0,79,399420,0
Reachability property qltransition_1425 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1425,4.78294e+1361,13.7232,141552,177,1423,36695,339661,808,0,79,399420,0
Reachability property qltransition_1433 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1433,4.78294e+1361,13.7309,141552,177,1423,36715,339661,808,0,79,399420,0
Reachability property qltransition_1435 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1435,4.78294e+1361,13.7387,141552,177,1423,36735,339661,808,0,79,399420,0
Reachability property qltransition_1441 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1441,4.78294e+1361,13.7465,141552,177,1423,36754,339661,808,0,79,399420,0
Reachability property qltransition_1443 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1443,4.78294e+1361,13.7542,141552,177,1423,36773,339661,808,0,79,399420,0
Reachability property qltransition_1447 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1447,6.37709e+1367,13.7619,141552,177,1420,36792,339661,808,0,79,399420,0
Reachability property qltransition_1448 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1448,9.61322e+1365,13.7696,141552,177,1421,36811,339661,808,0,79,399420,0
Reachability property qltransition_1455 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1455,6.37709e+1367,13.7772,141552,177,1420,36829,339661,808,0,79,399420,0
Reachability property qltransition_1456 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1456,9.61322e+1365,13.7849,141552,177,1421,36847,339661,808,0,79,399420,0
Reachability property qltransition_1457 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1457,4.78294e+1361,13.7926,141552,177,1423,36864,339661,808,0,79,399420,0
Reachability property qltransition_1459 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1459,4.78294e+1361,13.8006,141552,177,1423,36881,339661,808,0,79,399420,0
Reachability property qltransition_1473 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1473,4.78294e+1361,13.8086,141552,177,1423,36897,339661,808,0,79,399420,0
Reachability property qltransition_1481 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1481,4.78294e+1361,13.8203,141552,177,1423,36912,339661,808,0,79,399420,0
Reachability property qltransition_1483 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1483,4.78294e+1361,13.8288,141552,177,1423,36927,339661,808,0,79,399420,0
Reachability property qltransition_1489 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1489,4.78294e+1361,13.8447,141552,177,1423,36941,339661,808,0,79,399420,0
Reachability property qltransition_1491 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1491,4.78294e+1361,13.8533,141552,177,1423,36955,339661,808,0,79,399420,0
Reachability property qltransition_1497 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1497,4.78294e+1361,13.8614,141552,177,1423,36968,339661,808,0,79,399420,0
Reachability property qltransition_1499 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1499,4.78294e+1361,13.8697,141552,177,1423,36981,339661,808,0,79,399420,0
Reachability property qltransition_1505 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1505,4.78294e+1361,13.8778,141552,177,1423,36993,339661,808,0,79,399420,0
Reachability property qltransition_1507 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1507,4.78294e+1361,13.8859,141552,177,1423,37005,339661,808,0,79,399420,0
Reachability property qltransition_1519 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1519,6.37709e+1367,13.8941,141552,177,1420,37016,339661,808,0,79,399420,0
Reachability property qltransition_1520 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1520,9.61322e+1365,13.9022,141552,177,1421,37027,339661,808,0,79,399420,0
Reachability property qltransition_1521 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1521,4.78294e+1361,13.9104,141552,177,1423,37037,339661,808,0,79,399420,0
Reachability property qltransition_1523 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1523,4.78294e+1361,13.9187,141552,177,1423,37047,339661,808,0,79,399420,0
Reachability property qltransition_1529 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1529,4.78294e+1361,13.9268,141552,177,1423,37056,339661,808,0,79,399420,0
Reachability property qltransition_1537 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1537,4.78294e+1361,13.9347,141552,177,1423,37064,339661,808,0,79,399420,0
Reachability property qltransition_1543 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1543,6.37709e+1367,13.9427,141552,177,1420,37072,339661,808,0,79,399420,0
Reachability property qltransition_1544 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1544,9.61322e+1365,13.9505,141552,177,1421,37080,339661,808,0,79,399420,0
Reachability property qltransition_1545 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1545,4.78294e+1361,13.9584,141552,177,1423,37087,339661,808,0,79,399420,0
Reachability property qltransition_1553 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1553,4.78294e+1361,13.9663,141552,177,1423,37093,339661,808,0,79,399420,0
Reachability property qltransition_1555 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1555,4.78294e+1361,13.9741,141552,177,1423,37099,339661,808,0,79,399420,0
Reachability property qltransition_1561 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1561,4.78294e+1361,13.982,141552,177,1423,37104,339661,808,0,79,399420,0
Reachability property qltransition_1563 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1563,4.78294e+1361,13.9898,141552,177,1423,37109,339661,808,0,79,399420,0
Reachability property qltransition_1569 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1569,4.78294e+1361,13.9977,141552,177,1423,37113,339661,808,0,79,399420,0
Reachability property qltransition_1571 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1571,4.78294e+1361,14.0055,141552,177,1423,37117,339661,808,0,79,399420,0
Reachability property qltransition_1577 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1577,4.78294e+1361,14.0133,141552,177,1423,37120,339661,808,0,79,399420,0
Reachability property qltransition_1579 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1579,4.78294e+1361,14.021,141552,177,1423,37123,339661,808,0,79,399420,0
Reachability property qltransition_1585 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1585,4.78294e+1361,14.0288,141552,177,1423,37125,339661,808,0,79,399420,0
Reachability property qltransition_1587 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1587,4.78294e+1361,14.0366,141552,177,1423,37127,339661,808,0,79,399420,0
Reachability property qltransition_1591 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1591,6.37709e+1367,14.0443,141552,177,1420,37129,339661,808,0,79,399420,0
Reachability property qltransition_1592 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1592,9.61322e+1365,14.0522,141552,177,1421,37131,339661,808,0,79,399420,0
Reachability property qltransition_1593 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1593,4.78294e+1361,14.06,141552,177,1423,37132,339661,808,0,79,399420,0
Reachability property qltransition_1595 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1595,4.78294e+1361,14.0677,141552,177,1423,37133,339661,808,0,79,399420,0
Reachability property qltransition_1599 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1599,6.37709e+1367,14.0754,141552,177,1420,37134,339661,808,0,79,399420,0
Reachability property qltransition_1600 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1600,9.61322e+1365,14.0831,141552,177,1421,37135,339661,808,0,79,399420,0
Able to resolve query QuasiLiveness after proving 801 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK PARIKH_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE USE_NUPN
BK_STOP 1620857678931
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-0200"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="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 JoinFreeModules-PT-0200, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-tall-162075419600277"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0200.tgz
mv JoinFreeModules-PT-0200 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;