Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r203-tall-174894541400572.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is ShieldPPPt-PT-040B, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-tall-174894541400572
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.7K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:33 equiv_col
-rw-r--r-- 1 mcc users 5 May 29 14:33 instance
-rw-r--r-- 1 mcc users 6 May 29 14:33 iscolored
-rw-r--r-- 1 mcc users 762K May 29 14:33 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 1749000164391

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ShieldPPPt-PT-040B
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202505121319
[2025-06-04 01:22:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-04 01:22:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 01:22:46] [INFO ] Load time of PNML (sax parser for PT used): 183 ms
[2025-06-04 01:22:46] [INFO ] Transformed 3123 places.
[2025-06-04 01:22:46] [INFO ] Transformed 2843 transitions.
[2025-06-04 01:22:46] [INFO ] Found NUPN structural information;
[2025-06-04 01:22:46] [INFO ] Parsed PT model containing 3123 places and 2843 transitions and 7126 arcs in 423 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 3123/3123 places, 2843/2843 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 763 transitions
Trivial Post-agglo rules discarded 763 transitions
Performed 763 trivial Post agglomeration. Transition count delta: 763
Iterating post reduction 0 with 763 rules applied. Total rules applied 763 place count 3123 transition count 2080
Reduce places removed 763 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 765 rules applied. Total rules applied 1528 place count 2360 transition count 2078
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1529 place count 2359 transition count 2078
Performed 160 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 160 Pre rules applied. Total rules applied 1529 place count 2359 transition count 1918
Deduced a syphon composed of 160 places in 30 ms
Reduce places removed 160 places and 0 transitions.
Iterating global reduction 3 with 320 rules applied. Total rules applied 1849 place count 2199 transition count 1918
Performed 1079 Post agglomeration using F-continuation condition.Transition count delta: 1079
Deduced a syphon composed of 1079 places in 3 ms
Reduce places removed 1079 places and 0 transitions.
Iterating global reduction 3 with 2158 rules applied. Total rules applied 4007 place count 1120 transition count 839
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4209 place count 1019 transition count 839
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 18 places in 5 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 3 with 36 rules applied. Total rules applied 4245 place count 1001 transition count 839
Applied a total of 4245 rules in 457 ms. Remains 1001 /3123 variables (removed 2122) and now considering 839/2843 (removed 2004) transitions.
// Phase 1: matrix 839 rows 1001 cols
[2025-06-04 01:22:46] [INFO ] Computed 441 invariants in 21 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 01:22:47] [INFO ] Implicit Places using invariants in 1046 ms returned [994]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1089 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 1000/3123 places, 839/2843 transitions.
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 0 place count 1000 transition count 837
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 998 transition count 837
Applied a total of 4 rules in 35 ms. Remains 998 /1000 variables (removed 2) and now considering 837/839 (removed 2) transitions.
// Phase 1: matrix 837 rows 998 cols
[2025-06-04 01:22:47] [INFO ] Computed 440 invariants in 7 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 01:22:48] [INFO ] Implicit Places using invariants in 653 ms returned [981, 985]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 656 ms to find 2 implicit places.
Starting structural reductions in LIVENESS mode, iteration 2 : 996/3123 places, 837/2843 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 994 transition count 835
Applied a total of 4 rules in 18 ms. Remains 994 /996 variables (removed 2) and now considering 835/837 (removed 2) transitions.
// Phase 1: matrix 835 rows 994 cols
[2025-06-04 01:22:48] [INFO ] Computed 438 invariants in 8 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 01:22:49] [INFO ] Implicit Places using invariants in 656 ms returned []
[2025-06-04 01:22:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 01:22:49] [INFO ] State equation strengthened by 278 read => feed constraints.
[2025-06-04 01:22:56] [INFO ] Implicit Places using invariants and state equation in 7664 ms returned []
Implicit Place search using SMT with State Equation took 8323 ms to find 0 implicit places.
Starting structural reductions in LIVENESS mode, iteration 3 : 994/3123 places, 835/2843 transitions.
Finished structural reductions in LIVENESS mode , in 3 iterations and 10593 ms. Remains : 994/3123 places, 835/2843 transitions.
Discarding 278 transitions out of 835. Remains 557
Initial state reduction rules removed 1 formulas.
[2025-06-04 01:22:57] [INFO ] Flatten gal took : 322 ms
[2025-06-04 01:22:57] [INFO ] Flatten gal took : 149 ms
[2025-06-04 01:22:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14695123884407654369.gal : 55 ms
[2025-06-04 01:22:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7979287009038447497.prop : 9 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14695123884407654369.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7979287009038447497.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
RANDOM walk for 40000 steps (8 resets) in 4437 ms. (9 steps per ms) remains 367/556 properties
BEST_FIRST walk for 404 steps (8 resets) in 15 ms. (25 steps per ms) remains 367/367 properties
BEST_FIRST walk for 402 steps (8 resets) in 14 ms. (26 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 401 steps (8 resets) in 16 ms. (23 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 25 ms. (15 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 19 ms. (20 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 21 ms. (18 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 17 ms. (22 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 20 ms. (19 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 19 ms. (20 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 14 ms. (26 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 367/367 properties
Loading property file /tmp/ReachabilityCardinality7979287009038447497.prop.
BEST_FIRST walk for 404 steps (8 resets) in 15 ms. (25 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 16 ms. (23 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 15 ms. (25 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 402 steps (8 resets) in 10 ms. (36 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 16 ms. (23 steps per ms) remains 367/367 properties
BEST_FIRST walk for 401 steps (8 resets) in 12 ms. (30 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 13 ms. (28 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 402 steps (8 resets) in 10 ms. (36 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 16 ms. (23 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 14 ms. (26 steps per ms) remains 367/367 properties
BEST_FIRST walk for 402 steps (8 resets) in 14 ms. (26 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 58 ms. (6 steps per ms) remains 367/367 properties
BEST_FIRST walk for 403 steps (8 resets) in 13 ms. (28 steps per ms) remains 367/367 properties
BEST_FIRST walk for 404 steps (8 resets) in 14 ms. (26 steps per ms) remains 367/367 properties
BEST_FIRST walk for 401 steps (8 resets) in 12 ms. (30 steps per ms) remains 367/367 properties
[2025-06-04 01:22:58] [INFO ] Invariant cache hit.
[2025-06-04 01:22:58] [INFO ] State equation strengthened by 278 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Reachability property qltransition_829 is true.
Reachability property qltransition_827 is true.
Reachability property qltransition_825 is true.
Reachability property qltransition_821 is true.
Reachability property qltransition_356 is true.
Reachability property qltransition_349 is true.
SDD proceeding with computation,550 properties remain. new max is 2
SDD size :2 after 7
Reachability property qltransition_813 is true.
Reachability property qltransition_809 is true.
Reachability property qltransition_801 is true.
Reachability property qltransition_797 is true.
Reachability property qltransition_343 is true.
SDD proceeding with computation,545 properties remain. new max is 2
SDD size :7 after 11
Reachability property qltransition_789 is true.
Reachability property qltransition_785 is true.
Reachability property qltransition_337 is true.
Reachability property qltransition_331 is true.
SDD proceeding with computation,541 properties remain. new max is 2
SDD size :11 after 16
Reachability property qltransition_777 is true.
Reachability property qltransition_773 is true.
Reachability property qltransition_765 is true.
Reachability property qltransition_761 is true.
Reachability property qltransition_325 is true.
SDD proceeding with computation,536 properties remain. new max is 2
SDD size :16 after 20
Reachability property qltransition_753 is true.
Reachability property qltransition_749 is true.
Reachability property qltransition_319 is true.
Reachability property qltransition_313 is true.
SDD proceeding with computation,532 properties remain. new max is 2
SDD size :20 after 25
Reachability property qltransition_741 is true.
Reachability property qltransition_737 is true.
Reachability property qltransition_729 is true.
Reachability property qltransition_725 is true.
Reachability property qltransition_307 is true.
SDD proceeding with computation,527 properties remain. new max is 2
SDD size :25 after 29
Reachability property qltransition_717 is true.
Reachability property qltransition_713 is true.
Reachability property qltransition_301 is true.
Reachability property qltransition_295 is true.
SDD proceeding with computation,523 properties remain. new max is 2
SDD size :29 after 34
Reachability property qltransition_705 is true.
Reachability property qltransition_701 is true.
Reachability property qltransition_693 is true.
Reachability property qltransition_689 is true.
Reachability property qltransition_289 is true.
SDD proceeding with computation,518 properties remain. new max is 2
SDD size :34 after 38
Reachability property qltransition_681 is true.
Reachability property qltransition_677 is true.
Reachability property qltransition_283 is true.
Reachability property qltransition_277 is true.
SDD proceeding with computation,514 properties remain. new max is 2
SDD size :38 after 43
Reachability property qltransition_669 is true.
Reachability property qltransition_665 is true.
Reachability property qltransition_657 is true.
Reachability property qltransition_653 is true.
Reachability property qltransition_271 is true.
SDD proceeding with computation,509 properties remain. new max is 2
SDD size :43 after 47
Reachability property qltransition_645 is true.
Reachability property qltransition_641 is true.
Reachability property qltransition_265 is true.
Reachability property qltransition_259 is true.
SDD proceeding with computation,505 properties remain. new max is 2
SDD size :47 after 52
Reachability property qltransition_633 is true.
Reachability property qltransition_629 is true.
Reachability property qltransition_621 is true.
Reachability property qltransition_617 is true.
Reachability property qltransition_253 is true.
SDD proceeding with computation,500 properties remain. new max is 2
SDD size :52 after 56
Reachability property qltransition_609 is true.
Reachability property qltransition_605 is true.
Reachability property qltransition_247 is true.
Reachability property qltransition_241 is true.
SDD proceeding with computation,496 properties remain. new max is 2
SDD size :56 after 61
Reachability property qltransition_597 is true.
Reachability property qltransition_593 is true.
Reachability property qltransition_585 is true.
Reachability property qltransition_581 is true.
Reachability property qltransition_235 is true.
SDD proceeding with computation,491 properties remain. new max is 2
SDD size :61 after 65
Reachability property qltransition_573 is true.
Reachability property qltransition_569 is true.
Reachability property qltransition_229 is true.
Reachability property qltransition_223 is true.
SDD proceeding with computation,487 properties remain. new max is 2
SDD size :65 after 70
Reachability property qltransition_561 is true.
Reachability property qltransition_557 is true.
Reachability property qltransition_549 is true.
Reachability property qltransition_545 is true.
Reachability property qltransition_217 is true.
SDD proceeding with computation,482 properties remain. new max is 2
SDD size :70 after 74
Reachability property qltransition_537 is true.
Reachability property qltransition_533 is true.
Reachability property qltransition_211 is true.
Reachability property qltransition_205 is true.
SDD proceeding with computation,478 properties remain. new max is 2
SDD size :74 after 79
Reachability property qltransition_525 is true.
Reachability property qltransition_521 is true.
Reachability property qltransition_513 is true.
Reachability property qltransition_509 is true.
Reachability property qltransition_199 is true.
SDD proceeding with computation,473 properties remain. new max is 2
SDD size :79 after 83
Reachability property qltransition_501 is true.
Reachability property qltransition_497 is true.
Reachability property qltransition_193 is true.
Reachability property qltransition_187 is true.
SDD proceeding with computation,469 properties remain. new max is 2
SDD size :83 after 88
Reachability property qltransition_489 is true.
Reachability property qltransition_485 is true.
Reachability property qltransition_477 is true.
Reachability property qltransition_473 is true.
Reachability property qltransition_181 is true.
SDD proceeding with computation,464 properties remain. new max is 2
SDD size :88 after 92
Reachability property qltransition_465 is true.
Reachability property qltransition_461 is true.
Reachability property qltransition_175 is true.
Reachability property qltransition_169 is true.
SDD proceeding with computation,460 properties remain. new max is 2
SDD size :92 after 97
Reachability property qltransition_453 is true.
Reachability property qltransition_449 is true.
Reachability property qltransition_441 is true.
Reachability property qltransition_437 is true.
Reachability property qltransition_163 is true.
SDD proceeding with computation,455 properties remain. new max is 2
SDD size :97 after 101
Reachability property qltransition_429 is true.
Reachability property qltransition_425 is true.
Reachability property qltransition_157 is true.
Reachability property qltransition_151 is true.
SDD proceeding with computation,451 properties remain. new max is 2
SDD size :101 after 106
Reachability property qltransition_417 is true.
Reachability property qltransition_413 is true.
Reachability property qltransition_405 is true.
Reachability property qltransition_401 is true.
Reachability property qltransition_145 is true.
SDD proceeding with computation,446 properties remain. new max is 2
SDD size :106 after 110
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 662/662 constraints. Problems are: Problem set: 0 solved, 367 unsolved
Reachability property qltransition_393 is true.
Reachability property qltransition_389 is true.
Reachability property qltransition_139 is true.
Reachability property qltransition_133 is true.
SDD proceeding with computation,442 properties remain. new max is 2
SDD size :110 after 115
Reachability property qltransition_381 is true.
Reachability property qltransition_377 is true.
Reachability property qltransition_369 is true.
Reachability property qltransition_365 is true.
Reachability property qltransition_127 is true.
SDD proceeding with computation,437 properties remain. new max is 2
SDD size :115 after 119
Reachability property qltransition_367 is true.
Reachability property qltransition_361 is true.
Reachability property qltransition_121 is true.
Reachability property qltransition_117 is true.
SDD proceeding with computation,433 properties remain. new max is 2
SDD size :119 after 123
Reachability property qltransition_123 is true.
SDD proceeding with computation,432 properties remain. new max is 2
SDD size :123 after 125
Reachability property qltransition_122 is true.
Reachability property qltransition_2 is true.
Reachability property qltransition_1 is true.
SDD proceeding with computation,429 properties remain. new max is 2
SDD size :125 after 146
SDD proceeding with computation,429 properties remain. new max is 4
SDD size :146 after 149
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 662/1829 variables, and 662 constraints, problems are : Problem set: 77 solved, 290 unsolved in 5020 ms.
Refiners :[Domain max(s): 662/994 constraints, Positive P Invariants (semi-flows): 0/438 constraints, State Equation: 0/994 constraints, ReadFeed: 0/278 constraints, PredecessorRefiner: 367/367 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 77 solved, 290 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SDD proceeding with computation,429 properties remain. new max is 8
SDD size :149 after 154
Reachability property qltransition_119 is true.
At refinement iteration 0 (INCLUDED_ONLY) 0/555 variables, 555/555 constraints. Problems are: Problem set: 78 solved, 289 unsolved
SDD proceeding with computation,428 properties remain. new max is 8
SDD size :154 after 192
Reachability property qltransition_363 is true.
Reachability property qltransition_359 is true.
Reachability property qltransition_118 is true.
SDD proceeding with computation,425 properties remain. new max is 8
SDD size :192 after 233
Reachability property qltransition_0 is true.
SDD proceeding with computation,424 properties remain. new max is 8
SDD size :233 after 356
SDD proceeding with computation,424 properties remain. new max is 16
SDD size :356 after 364
SDD proceeding with computation,424 properties remain. new max is 32
SDD size :364 after 678
SDD proceeding with computation,424 properties remain. new max is 64
SDD size :678 after 1063
Reachability property qltransition_379 is true.
Reachability property qltransition_373 is true.
SDD proceeding with computation,422 properties remain. new max is 64
SDD size :1063 after 2364
Reachability property qltransition_371 is true.
Reachability property qltransition_129 is true.
Reachability property qltransition_128 is true.
Reachability property qltransition_125 is true.
Reachability property qltransition_124 is true.
Reachability property qltransition_5 is true.
Reachability property qltransition_4 is true.
SDD proceeding with computation,415 properties remain. new max is 64
SDD size :2364 after 83652
Reachability property qltransition_375 is true.
Reachability property qltransition_3 is true.
SDD proceeding with computation,413 properties remain. new max is 64
SDD size :83652 after 333984
SDD proceeding with computation,413 properties remain. new max is 128
SDD size :333984 after 488885
SDD proceeding with computation,413 properties remain. new max is 256
SDD size :488885 after 1.18712e+06
SDD proceeding with computation,413 properties remain. new max is 512
SDD size :1.18712e+06 after 1.29988e+07
Reachability property qltransition_391 is true.
Reachability property qltransition_387 is true.
Reachability property qltransition_385 is true.
Reachability property qltransition_383 is true.
Reachability property qltransition_135 is true.
Reachability property qltransition_134 is true.
Reachability property qltransition_131 is true.
Reachability property qltransition_130 is true.
Reachability property qltransition_8 is true.
Reachability property qltransition_7 is true.
Reachability property qltransition_6 is true.
SDD proceeding with computation,402 properties remain. new max is 512
SDD size :1.29988e+07 after 2.90816e+10
Reachability property qltransition_403 is true.
Reachability property qltransition_399 is true.
Reachability property qltransition_397 is true.
Reachability property qltransition_395 is true.
Reachability property qltransition_141 is true.
Reachability property qltransition_140 is true.
Reachability property qltransition_137 is true.
Reachability property qltransition_136 is true.
Reachability property qltransition_11 is true.
Reachability property qltransition_10 is true.
Reachability property qltransition_9 is true.
SDD proceeding with computation,391 properties remain. new max is 512
SDD size :2.90816e+10 after 3.44576e+14
Reachability property qltransition_427 is true.
Reachability property qltransition_421 is true.
Reachability property qltransition_415 is true.
Reachability property qltransition_411 is true.
Reachability property qltransition_409 is true.
Reachability property qltransition_407 is true.
Reachability property qltransition_153 is true.
Reachability property qltransition_152 is true.
Reachability property qltransition_147 is true.
Reachability property qltransition_146 is true.
Reachability property qltransition_143 is true.
Reachability property qltransition_142 is true.
Reachability property qltransition_17 is true.
Reachability property qltransition_16 is true.
Reachability property qltransition_14 is true.
Reachability property qltransition_13 is true.
Reachability property qltransition_12 is true.
SDD proceeding with computation,374 properties remain. new max is 512
SDD size :3.44576e+14 after 3.44064e+19
Reachability property qltransition_439 is true.
Reachability property qltransition_435 is true.
Reachability property qltransition_433 is true.
Reachability property qltransition_431 is true.
Reachability property qltransition_423 is true.
Reachability property qltransition_419 is true.
Reachability property qltransition_159 is true.
Reachability property qltransition_158 is true.
Reachability property qltransition_155 is true.
Reachability property qltransition_154 is true.
Reachability property qltransition_149 is true.
Reachability property qltransition_148 is true.
Reachability property qltransition_20 is true.
Reachability property qltransition_19 is true.
Reachability property qltransition_18 is true.
Reachability property qltransition_15 is true.
SDD proceeding with computation,358 properties remain. new max is 512
SDD size :3.44064e+19 after 1.60729e+24
Reachability property qltransition_451 is true.
Reachability property qltransition_447 is true.
Reachability property qltransition_445 is true.
Reachability property qltransition_443 is true.
Reachability property qltransition_165 is true.
Reachability property qltransition_164 is true.
Reachability property qltransition_161 is true.
Reachability property qltransition_160 is true.
Reachability property qltransition_23 is true.
Reachability property qltransition_22 is true.
Reachability property qltransition_21 is true.
SDD proceeding with computation,347 properties remain. new max is 512
SDD size :1.60729e+24 after 1.59882e+28
Reachability property qltransition_463 is true.
Reachability property qltransition_459 is true.
Reachability property qltransition_457 is true.
Reachability property qltransition_455 is true.
Reachability property qltransition_171 is true.
Reachability property qltransition_170 is true.
Reachability property qltransition_167 is true.
Reachability property qltransition_166 is true.
Reachability property qltransition_26 is true.
Reachability property qltransition_25 is true.
Reachability property qltransition_24 is true.
SDD proceeding with computation,336 properties remain. new max is 512
SDD size :1.59882e+28 after 2.02598e+32
Reachability property qltransition_475 is true.
Reachability property qltransition_471 is true.
Reachability property qltransition_469 is true.
Reachability property qltransition_467 is true.
Reachability property qltransition_177 is true.
Reachability property qltransition_176 is true.
Reachability property qltransition_173 is true.
Reachability property qltransition_172 is true.
Reachability property qltransition_29 is true.
Reachability property qltransition_28 is true.
Reachability property qltransition_27 is true.
SDD proceeding with computation,325 properties remain. new max is 512
SDD size :2.02598e+32 after 1.67353e+36
Reachability property qltransition_499 is true.
Reachability property qltransition_493 is true.
Reachability property qltransition_491 is true.
Reachability property qltransition_487 is true.
Reachability property qltransition_483 is true.
Reachability property qltransition_481 is true.
Reachability property qltransition_479 is true.
Reachability property qltransition_189 is true.
Reachability property qltransition_188 is true.
Reachability property qltransition_185 is true.
Reachability property qltransition_184 is true.
Reachability property qltransition_183 is true.
Reachability property qltransition_182 is true.
Reachability property qltransition_179 is true.
Reachability property qltransition_178 is true.
Reachability property qltransition_35 is true.
Reachability property qltransition_34 is true.
Reachability property qltransition_32 is true.
Reachability property qltransition_31 is true.
Reachability property qltransition_30 is true.
SDD proceeding with computation,305 properties remain. new max is 512
SDD size :1.67353e+36 after 4.89895e+41
Reachability property qltransition_511 is true.
Reachability property qltransition_507 is true.
Reachability property qltransition_505 is true.
Reachability property qltransition_503 is true.
Reachability property qltransition_495 is true.
Reachability property qltransition_195 is true.
Reachability property qltransition_194 is true.
Reachability property qltransition_191 is true.
Reachability property qltransition_190 is true.
Reachability property qltransition_38 is true.
Reachability property qltransition_37 is true.
Reachability property qltransition_36 is true.
Reachability property qltransition_33 is true.
SDD proceeding with computation,292 properties remain. new max is 512
SDD size :4.89895e+41 after 1.48311e+46
Reachability property qltransition_523 is true.
Reachability property qltransition_519 is true.
Reachability property qltransition_517 is true.
Reachability property qltransition_515 is true.
Reachability property qltransition_201 is true.
Reachability property qltransition_200 is true.
Reachability property qltransition_197 is true.
Reachability property qltransition_196 is true.
Reachability property qltransition_41 is true.
Reachability property qltransition_40 is true.
Reachability property qltransition_39 is true.
SDD proceeding with computation,281 properties remain. new max is 512
SDD size :1.48311e+46 after 1.49304e+50
Reachability property qltransition_535 is true.
Reachability property qltransition_531 is true.
Reachability property qltransition_529 is true.
Reachability property qltransition_527 is true.
Reachability property qltransition_207 is true.
Reachability property qltransition_206 is true.
Reachability property qltransition_203 is true.
Reachability property qltransition_202 is true.
Reachability property qltransition_44 is true.
Reachability property qltransition_43 is true.
Reachability property qltransition_42 is true.
SDD proceeding with computation,270 properties remain. new max is 512
SDD size :1.49304e+50 after 1.6643e+54
Reachability property qltransition_559 is true.
Reachability property qltransition_553 is true.
Reachability property qltransition_547 is true.
Reachability property qltransition_543 is true.
Reachability property qltransition_541 is true.
Reachability property qltransition_539 is true.
Reachability property qltransition_219 is true.
Reachability property qltransition_218 is true.
Reachability property qltransition_215 is true.
Reachability property qltransition_213 is true.
Reachability property qltransition_212 is true.
Reachability property qltransition_209 is true.
Reachability property qltransition_208 is true.
Reachability property qltransition_50 is true.
Reachability property qltransition_49 is true.
Reachability property qltransition_47 is true.
Reachability property qltransition_46 is true.
Reachability property qltransition_45 is true.
SDD proceeding with computation,252 properties remain. new max is 512
SDD size :1.6643e+54 after 4.87908e+59
At refinement iteration 1 (INCLUDED_ONLY) 0/555 variables, 0/555 constraints. Problems are: Problem set: 254 solved, 113 unsolved
At refinement iteration 2 (OVERLAPS) 107/662 variables, 292/847 constraints. Problems are: Problem set: 254 solved, 113 unsolved
Reachability property qltransition_571 is true.
Reachability property qltransition_567 is true.
Reachability property qltransition_565 is true.
Reachability property qltransition_563 is true.
Reachability property qltransition_555 is true.
Reachability property qltransition_551 is true.
Reachability property qltransition_225 is true.
Reachability property qltransition_224 is true.
Reachability property qltransition_221 is true.
At refinement iteration 3 (INCLUDED_ONLY) 0/662 variables, 107/954 constraints. Problems are: Problem set: 263 solved, 104 unsolved
Reachability property qltransition_220 is true.
Reachability property qltransition_214 is true.
Reachability property qltransition_53 is true.
Reachability property qltransition_52 is true.
Reachability property qltransition_51 is true.
Reachability property qltransition_48 is true.
SDD proceeding with computation,237 properties remain. new max is 512
SDD size :4.87908e+59 after 7.1537e+63
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 662/1829 variables, and 954 constraints, problems are : Problem set: 269 solved, 98 unsolved in 5016 ms.
Refiners :[Domain max(s): 662/994 constraints, Positive P Invariants (semi-flows): 292/438 constraints, State Equation: 0/994 constraints, ReadFeed: 0/278 constraints, PredecessorRefiner: 0/367 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10236ms problems are : Problem set: 269 solved, 98 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 188 out of 994 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 994/994 places, 835/835 transitions.
Partial Free-agglomeration rule applied 92 times.
Drop transitions (Partial Free agglomeration) removed 92 transitions
Iterating global reduction 0 with 92 rules applied. Total rules applied 92 place count 994 transition count 835
Reachability property qltransition_583 is true.
Reachability property qltransition_579 is true.
Reachability property qltransition_577 is true.
Reachability property qltransition_575 is true.
Reachability property qltransition_231 is true.
Reachability property qltransition_230 is true.
Reachability property qltransition_227 is true.
Reachability property qltransition_226 is true.
Applied a total of 92 rules in 167 ms. Remains 994 /994 variables (removed 0) and now considering 835/835 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 167 ms. Remains : 994/994 places, 835/835 transitions.
Reachability property qltransition_56 is true.
Reachability property qltransition_55 is true.
Reachability property qltransition_54 is true.
SDD proceeding with computation,226 properties remain. new max is 512
SDD size :7.1537e+63 after 1.53712e+68
Reachability property qltransition_595 is true.
Reachability property qltransition_591 is true.
Reachability property qltransition_589 is true.
Reachability property qltransition_587 is true.
Reachability property qltransition_237 is true.
Reachability property qltransition_236 is true.
Reachability property qltransition_233 is true.
Reachability property qltransition_232 is true.
Reachability property qltransition_59 is true.
Reachability property qltransition_58 is true.
Reachability property qltransition_57 is true.
SDD proceeding with computation,215 properties remain. new max is 512
SDD size :1.53712e+68 after 1.72733e+72
Reachability property qltransition_619 is true.
Reachability property qltransition_613 is true.
Reachability property qltransition_611 is true.
Reachability property qltransition_607 is true.
Reachability property qltransition_603 is true.
Reachability property qltransition_601 is true.
Reachability property qltransition_599 is true.
Reachability property qltransition_249 is true.
Reachability property qltransition_248 is true.
Reachability property qltransition_245 is true.
Reachability property qltransition_244 is true.
Reachability property qltransition_243 is true.
Reachability property qltransition_242 is true.
Reachability property qltransition_239 is true.
Reachability property qltransition_238 is true.
Reachability property qltransition_65 is true.
Reachability property qltransition_64 is true.
Reachability property qltransition_62 is true.
Reachability property qltransition_61 is true.
Reachability property qltransition_60 is true.
SDD proceeding with computation,195 properties remain. new max is 512
SDD size :1.72733e+72 after 5.13692e+77
Reachability property qltransition_631 is true.
Reachability property qltransition_627 is true.
Reachability property qltransition_625 is true.
Reachability property qltransition_623 is true.
Reachability property qltransition_615 is true.
Reachability property qltransition_255 is true.
Reachability property qltransition_254 is true.
Reachability property qltransition_251 is true.
Reachability property qltransition_250 is true.
Reachability property qltransition_68 is true.
Reachability property qltransition_67 is true.
Reachability property qltransition_66 is true.
Reachability property qltransition_63 is true.
SDD proceeding with computation,182 properties remain. new max is 512
SDD size :5.13692e+77 after 1.55515e+82
Reachability property qltransition_643 is true.
Reachability property qltransition_639 is true.
Reachability property qltransition_637 is true.
Reachability property qltransition_635 is true.
Reachability property qltransition_261 is true.
Reachability property qltransition_260 is true.
Reachability property qltransition_257 is true.
Reachability property qltransition_256 is true.
Reachability property qltransition_71 is true.
Reachability property qltransition_70 is true.
Reachability property qltransition_69 is true.
SDD proceeding with computation,171 properties remain. new max is 512
SDD size :1.55515e+82 after 1.56556e+86
Reachability property qltransition_655 is true.
Reachability property qltransition_651 is true.
Reachability property qltransition_649 is true.
Reachability property qltransition_647 is true.
Reachability property qltransition_267 is true.
Reachability property qltransition_266 is true.
Reachability property qltransition_263 is true.
Reachability property qltransition_262 is true.
Reachability property qltransition_74 is true.
Reachability property qltransition_73 is true.
Reachability property qltransition_72 is true.
SDD proceeding with computation,160 properties remain. new max is 512
SDD size :1.56556e+86 after 1.74514e+90
Reachability property qltransition_679 is true.
Reachability property qltransition_673 is true.
Reachability property qltransition_667 is true.
Reachability property qltransition_663 is true.
Reachability property qltransition_661 is true.
Reachability property qltransition_659 is true.
Reachability property qltransition_279 is true.
Reachability property qltransition_278 is true.
Reachability property qltransition_275 is true.
Reachability property qltransition_273 is true.
Reachability property qltransition_272 is true.
Reachability property qltransition_269 is true.
Reachability property qltransition_268 is true.
Reachability property qltransition_80 is true.
Reachability property qltransition_79 is true.
Reachability property qltransition_77 is true.
Reachability property qltransition_76 is true.
Reachability property qltransition_75 is true.
SDD proceeding with computation,142 properties remain. new max is 512
SDD size :1.74514e+90 after 5.11609e+95
Reachability property qltransition_691 is true.
Reachability property qltransition_687 is true.
Reachability property qltransition_685 is true.
Reachability property qltransition_683 is true.
Reachability property qltransition_675 is true.
Reachability property qltransition_671 is true.
Reachability property qltransition_285 is true.
Reachability property qltransition_284 is true.
Reachability property qltransition_281 is true.
Reachability property qltransition_280 is true.
Reachability property qltransition_274 is true.
Reachability property qltransition_83 is true.
Reachability property qltransition_82 is true.
Reachability property qltransition_81 is true.
Reachability property qltransition_78 is true.
SDD proceeding with computation,127 properties remain. new max is 512
SDD size :5.11609e+95 after 7.5012e+99
Reachability property qltransition_703 is true.
Reachability property qltransition_699 is true.
Reachability property qltransition_697 is true.
Reachability property qltransition_695 is true.
Reachability property qltransition_291 is true.
Reachability property qltransition_290 is true.
Reachability property qltransition_287 is true.
Reachability property qltransition_286 is true.
Reachability property qltransition_86 is true.
Reachability property qltransition_85 is true.
Reachability property qltransition_84 is true.
SDD proceeding with computation,116 properties remain. new max is 512
SDD size :7.5012e+99 after 1.61178e+104
Reachability property qltransition_715 is true.
Reachability property qltransition_711 is true.
Reachability property qltransition_709 is true.
Reachability property qltransition_707 is true.
Reachability property qltransition_297 is true.
Reachability property qltransition_296 is true.
Reachability property qltransition_293 is true.
Reachability property qltransition_292 is true.
Reachability property qltransition_89 is true.
Reachability property qltransition_88 is true.
Reachability property qltransition_87 is true.
SDD proceeding with computation,105 properties remain. new max is 512
SDD size :1.61178e+104 after 1.81124e+108
Reachability property qltransition_739 is true.
Reachability property qltransition_733 is true.
Reachability property qltransition_731 is true.
Reachability property qltransition_727 is true.
Reachability property qltransition_723 is true.
Reachability property qltransition_721 is true.
Reachability property qltransition_719 is true.
Reachability property qltransition_309 is true.
Reachability property qltransition_308 is true.
Reachability property qltransition_305 is true.
Reachability property qltransition_304 is true.
Reachability property qltransition_303 is true.
Reachability property qltransition_302 is true.
Reachability property qltransition_299 is true.
Reachability property qltransition_298 is true.
Reachability property qltransition_95 is true.
Reachability property qltransition_94 is true.
Reachability property qltransition_92 is true.
Reachability property qltransition_91 is true.
Reachability property qltransition_90 is true.
SDD proceeding with computation,85 properties remain. new max is 512
SDD size :1.81124e+108 after 5.38645e+113
Reachability property qltransition_751 is true.
Reachability property qltransition_747 is true.
Reachability property qltransition_745 is true.
Reachability property qltransition_743 is true.
Reachability property qltransition_735 is true.
Reachability property qltransition_315 is true.
Reachability property qltransition_314 is true.
Reachability property qltransition_311 is true.
Reachability property qltransition_310 is true.
Reachability property qltransition_98 is true.
Reachability property qltransition_97 is true.
Reachability property qltransition_96 is true.
Reachability property qltransition_93 is true.
SDD proceeding with computation,72 properties remain. new max is 512
SDD size :5.38645e+113 after 1.63069e+118
Reachability property qltransition_763 is true.
Reachability property qltransition_759 is true.
Reachability property qltransition_757 is true.
Reachability property qltransition_755 is true.
Reachability property qltransition_321 is true.
Reachability property qltransition_320 is true.
Reachability property qltransition_317 is true.
Reachability property qltransition_316 is true.
Reachability property qltransition_101 is true.
Reachability property qltransition_100 is true.
Reachability property qltransition_99 is true.
SDD proceeding with computation,61 properties remain. new max is 512
SDD size :1.63069e+118 after 1.64161e+122
Reachability property qltransition_775 is true.
Reachability property qltransition_771 is true.
Reachability property qltransition_769 is true.
Reachability property qltransition_767 is true.
Reachability property qltransition_327 is true.
Reachability property qltransition_326 is true.
Reachability property qltransition_323 is true.
Reachability property qltransition_322 is true.
Reachability property qltransition_104 is true.
Reachability property qltransition_103 is true.
Reachability property qltransition_102 is true.
SDD proceeding with computation,50 properties remain. new max is 512
SDD size :1.64161e+122 after 1.82992e+126
Reachability property qltransition_799 is true.
Reachability property qltransition_793 is true.
Reachability property qltransition_787 is true.
Reachability property qltransition_783 is true.
Reachability property qltransition_781 is true.
Reachability property qltransition_779 is true.
Reachability property qltransition_339 is true.
Reachability property qltransition_338 is true.
Reachability property qltransition_335 is true.
Reachability property qltransition_333 is true.
Reachability property qltransition_332 is true.
Reachability property qltransition_329 is true.
Reachability property qltransition_328 is true.
Reachability property qltransition_110 is true.
Reachability property qltransition_109 is true.
Reachability property qltransition_107 is true.
Reachability property qltransition_106 is true.
Reachability property qltransition_105 is true.
SDD proceeding with computation,32 properties remain. new max is 512
SDD size :1.82992e+126 after 5.36461e+131
Reachability property qltransition_811 is true.
Reachability property qltransition_807 is true.
Reachability property qltransition_805 is true.
Reachability property qltransition_803 is true.
Reachability property qltransition_795 is true.
Reachability property qltransition_791 is true.
Reachability property qltransition_345 is true.
Reachability property qltransition_344 is true.
Reachability property qltransition_341 is true.
Reachability property qltransition_340 is true.
Reachability property qltransition_334 is true.
Reachability property qltransition_113 is true.
Reachability property qltransition_112 is true.
Reachability property qltransition_111 is true.
Reachability property qltransition_108 is true.
SDD proceeding with computation,17 properties remain. new max is 512
SDD size :5.36461e+131 after 7.86557e+135
Reachability property qltransition_823 is true.
Reachability property qltransition_819 is true.
Reachability property qltransition_817 is true.
Reachability property qltransition_815 is true.
Reachability property qltransition_351 is true.
Reachability property qltransition_350 is true.
Reachability property qltransition_347 is true.
Reachability property qltransition_346 is true.
Reachability property qltransition_116 is true.
Reachability property qltransition_115 is true.
Reachability property qltransition_114 is true.
SDD proceeding with computation,6 properties remain. new max is 512
SDD size :7.86557e+135 after 1.69008e+140
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,1.54743e+143,13.21,376640,2,2776,586,716789,12,0,4831,494743,0
Total reachable state count : 1.547425049106725342845231121698856623116e+143

Verifying 556 reachability properties.
Reachability property qltransition_0 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_0,4,13.2168,376640,2,997,586,716789,13,0,4837,494743,0
Reachability property qltransition_1 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1,20,13.2186,376640,2,1002,586,716789,14,0,4842,494743,0
Reachability property qltransition_2 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2,100,13.2201,376640,2,1007,586,716789,15,0,4847,494743,0
Reachability property qltransition_3 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3,16000,13.2216,376640,2,1017,586,716789,16,0,4852,494743,0
Reachability property qltransition_4 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4,80000,13.223,376640,2,1022,586,716789,17,0,4857,494743,0
Reachability property qltransition_5 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5,400000,13.2245,376640,2,1027,586,716789,18,0,4862,494743,0
Reachability property qltransition_6 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6,6.4e+07,13.2259,376640,2,1037,586,716789,19,0,4867,494743,0
Reachability property qltransition_7 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7,3.2e+08,13.2272,376640,2,1042,586,716789,20,0,4872,494743,0
Reachability property qltransition_8 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_8,1.6e+09,13.2286,376640,2,1047,586,716789,21,0,4877,494743,0
Reachability property qltransition_9 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_9,2.56e+11,13.23,376640,2,1057,586,716789,22,0,4882,494743,0
Reachability property qltransition_10 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_10,1.28e+12,13.2314,376640,2,1062,586,716789,23,0,4887,494743,0
Reachability property qltransition_11 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_11,6.4e+12,13.2328,376640,2,1067,586,716789,24,0,4892,494743,0
Reachability property qltransition_12 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_12,1.024e+15,13.2341,376640,2,1077,586,716789,25,0,4897,494743,0
Reachability property qltransition_13 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_13,5.12e+15,13.2355,376640,2,1082,586,716789,26,0,4902,494743,0
Reachability property qltransition_14 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_14,2.56e+16,13.2369,376640,2,1087,586,716789,27,0,4907,494743,0
Reachability property qltransition_15 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_15,4.096e+18,13.2383,376640,2,1097,586,716789,28,0,4912,494743,0
Reachability property qltransition_16 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_16,2.048e+19,13.2396,376640,2,1102,586,716789,29,0,4917,494743,0
Reachability property qltransition_17 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_17,1.024e+20,13.241,376640,2,1107,586,716789,30,0,4922,494743,0
Reachability property qltransition_18 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_18,1.6384e+22,13.2423,376640,2,1117,586,716789,31,0,4927,494743,0
Reachability property qltransition_19 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_19,8.192e+22,13.2436,376640,2,1122,586,716789,32,0,4932,494743,0
Reachability property qltransition_20 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_20,4.096e+23,13.245,376640,2,1127,586,716789,33,0,4937,494743,0
Reachability property qltransition_21 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_21,6.5536e+25,13.2464,376640,2,1137,586,716789,34,0,4942,494743,0
Reachability property qltransition_22 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_22,3.2768e+26,13.2477,376640,2,1142,586,716789,35,0,4947,494743,0
Reachability property qltransition_23 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_23,1.6384e+27,13.2491,376640,2,1147,586,716789,36,0,4952,494743,0
Reachability property qltransition_24 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_24,2.62144e+29,13.2505,376640,2,1157,586,716789,37,0,4957,494743,0
Reachability property qltransition_25 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_25,1.31072e+30,13.2518,376640,2,1162,586,716789,38,0,4962,494743,0
Reachability property qltransition_26 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_26,6.5536e+30,13.2532,376640,2,1167,586,716789,39,0,4967,494743,0
Reachability property qltransition_27 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_27,1.04858e+33,13.2545,376640,2,1177,586,716789,40,0,4972,494743,0
Reachability property qltransition_28 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_28,5.24288e+33,13.2558,376640,2,1182,586,716789,41,0,4977,494743,0
Reachability property qltransition_29 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_29,2.62144e+34,13.2572,376640,2,1187,586,716789,42,0,4982,494743,0
Reachability property qltransition_30 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_30,4.1943e+36,13.2585,376640,2,1197,586,716789,43,0,4987,494743,0
Reachability property qltransition_31 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_31,2.09715e+37,13.2598,376640,2,1202,586,716789,44,0,4992,494743,0
Reachability property qltransition_32 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_32,1.04858e+38,13.2612,376640,2,1207,586,716789,45,0,4997,494743,0
Reachability property qltransition_33 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_33,1.67772e+40,13.2625,376640,2,1217,586,716789,46,0,5002,494743,0
Reachability property qltransition_34 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_34,8.38861e+40,13.2638,376640,2,1222,586,716789,47,0,5007,494743,0
Reachability property qltransition_35 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_35,4.1943e+41,13.2651,376640,2,1227,586,716789,48,0,5012,494743,0
Reachability property qltransition_36 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_36,6.71089e+43,13.2664,376640,2,1237,586,716789,49,0,5017,494743,0
Reachability property qltransition_37 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_37,3.35544e+44,13.2677,376640,2,1242,586,716789,50,0,5022,494743,0
Reachability property qltransition_38 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_38,1.67772e+45,13.269,376640,2,1247,586,716789,51,0,5027,494743,0
Reachability property qltransition_39 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_39,2.68435e+47,13.2703,376640,2,1257,586,716789,52,0,5032,494743,0
Reachability property qltransition_40 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_40,1.34218e+48,13.2716,376640,2,1262,586,716789,53,0,5037,494743,0
Reachability property qltransition_41 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_41,6.71089e+48,13.2729,376640,2,1267,586,716789,54,0,5042,494743,0
Reachability property qltransition_42 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_42,1.07374e+51,13.2742,376640,2,1277,586,716789,55,0,5047,494743,0
Reachability property qltransition_43 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_43,5.36871e+51,13.2754,376640,2,1282,586,716789,56,0,5052,494743,0
Reachability property qltransition_44 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_44,2.68435e+52,13.2767,376640,2,1287,586,716789,57,0,5057,494743,0
Reachability property qltransition_45 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_45,4.29497e+54,13.2779,376640,2,1297,586,716789,58,0,5062,494743,0
Reachability property qltransition_46 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_46,2.14748e+55,13.2792,376640,2,1302,586,716789,59,0,5067,494743,0
Reachability property qltransition_47 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_47,1.07374e+56,13.2804,376640,2,1307,586,716789,60,0,5072,494743,0
Reachability property qltransition_48 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_48,1.71799e+58,13.2817,376640,2,1317,586,716789,61,0,5077,494743,0
Reachability property qltransition_49 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_49,8.58993e+58,13.2829,376640,2,1322,586,716789,62,0,5082,494743,0
Reachability property qltransition_50 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_50,4.29497e+59,13.2841,376640,2,1327,586,716789,63,0,5087,494743,0
Reachability property qltransition_51 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_51,6.87195e+61,13.2853,376640,2,1337,586,716789,64,0,5092,494743,0
Reachability property qltransition_52 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_52,3.43597e+62,13.2865,376640,2,1342,586,716789,65,0,5097,494743,0
Reachability property qltransition_53 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_53,1.71799e+63,13.2877,376640,2,1347,586,716789,66,0,5102,494743,0
Reachability property qltransition_54 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_54,2.74878e+65,13.2889,376640,2,1357,586,716789,67,0,5107,494743,0
Reachability property qltransition_55 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_55,1.37439e+66,13.2901,376640,2,1362,586,716789,68,0,5112,494743,0
Reachability property qltransition_56 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_56,6.87195e+66,13.2913,376640,2,1367,586,716789,69,0,5117,494743,0
Reachability property qltransition_57 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_57,1.09951e+69,13.2924,376640,2,1377,586,716789,70,0,5122,494743,0
Reachability property qltransition_58 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_58,5.49756e+69,13.2936,376640,2,1382,586,716789,71,0,5127,494743,0
Reachability property qltransition_59 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_59,2.74878e+70,13.2948,376640,2,1387,586,716789,72,0,5132,494743,0
Reachability property qltransition_60 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_60,4.39805e+72,13.2959,376640,2,1397,586,716789,73,0,5137,494743,0
Reachability property qltransition_61 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_61,2.19902e+73,13.2971,376640,2,1402,586,716789,74,0,5142,494743,0
Reachability property qltransition_62 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_62,1.09951e+74,13.2983,376640,2,1407,586,716789,75,0,5147,494743,0
Reachability property qltransition_63 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_63,1.75922e+76,13.2994,376640,2,1417,586,716789,76,0,5152,494743,0
Reachability property qltransition_64 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_64,8.79609e+76,13.3006,376640,2,1422,586,716789,77,0,5157,494743,0
Reachability property qltransition_65 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_65,4.39805e+77,13.3017,376640,2,1427,586,716789,78,0,5162,494743,0
Reachability property qltransition_66 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_66,7.03687e+79,13.3028,376640,2,1437,586,716789,79,0,5167,494743,0
Reachability property qltransition_67 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_67,3.51844e+80,13.3039,376640,2,1442,586,716789,80,0,5172,494743,0
Reachability property qltransition_68 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_68,1.75922e+81,13.3051,376640,2,1447,586,716789,81,0,5177,494743,0
Reachability property qltransition_69 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_69,2.81475e+83,13.3062,376640,2,1457,586,716789,82,0,5182,494743,0
Reachability property qltransition_70 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_70,1.40737e+84,13.3073,376640,2,1462,586,716789,83,0,5187,494743,0
Reachability property qltransition_71 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_71,7.03687e+84,13.3084,376640,2,1467,586,716789,84,0,5192,494743,0
Reachability property qltransition_72 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_72,1.1259e+87,13.3095,376640,2,1477,586,716789,85,0,5197,494743,0
Reachability property qltransition_73 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_73,5.6295e+87,13.3106,376640,2,1482,586,716789,86,0,5202,494743,0
Reachability property qltransition_74 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_74,2.81475e+88,13.3116,376640,2,1487,586,716789,87,0,5207,494743,0
Reachability property qltransition_75 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_75,4.5036e+90,13.3127,376640,2,1497,586,716789,88,0,5212,494743,0
Reachability property qltransition_76 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_76,2.2518e+91,13.3138,376640,2,1502,586,716789,89,0,5217,494743,0
Reachability property qltransition_77 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_77,1.1259e+92,13.3148,376640,2,1507,586,716789,90,0,5222,494743,0
Reachability property qltransition_78 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_78,1.80144e+94,13.3159,376640,2,1517,586,716789,91,0,5227,494743,0
Reachability property qltransition_79 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_79,9.0072e+94,13.3169,376640,2,1522,586,716789,92,0,5232,494743,0
Reachability property qltransition_80 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_80,4.5036e+95,13.318,376640,2,1527,586,716789,93,0,5237,494743,0
Reachability property qltransition_81 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_81,7.20576e+97,13.319,376640,2,1537,586,716789,94,0,5242,494743,0
Reachability property qltransition_82 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_82,3.60288e+98,13.32,376640,2,1542,586,716789,95,0,5247,494743,0
Reachability property qltransition_83 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_83,1.80144e+99,13.321,376640,2,1547,586,716789,96,0,5252,494743,0
Reachability property qltransition_84 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_84,2.8823e+101,13.322,376640,2,1557,586,716789,97,0,5257,494743,0
Reachability property qltransition_85 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_85,1.44115e+102,13.323,376640,2,1562,586,716789,98,0,5262,494743,0
Reachability property qltransition_86 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_86,7.20576e+102,13.324,376640,2,1567,586,716789,99,0,5267,494743,0
Reachability property qltransition_87 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_87,1.15292e+105,13.325,376640,2,1577,586,716789,100,0,5272,494743,0
Reachability property qltransition_88 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_88,5.76461e+105,13.326,376640,2,1582,586,716789,101,0,5277,494743,0
Reachability property qltransition_89 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_89,2.8823e+106,13.3269,376640,2,1587,586,716789,102,0,5282,494743,0
Reachability property qltransition_90 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_90,4.61169e+108,13.3279,376640,2,1597,586,716789,103,0,5287,494743,0
Reachability property qltransition_91 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_91,2.30584e+109,13.3289,376640,2,1602,586,716789,104,0,5292,494743,0
Reachability property qltransition_92 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_92,1.15292e+110,13.3299,376640,2,1607,586,716789,105,0,5297,494743,0
Reachability property qltransition_93 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_93,1.84467e+112,13.3308,376640,2,1617,586,716789,106,0,5302,494743,0
Reachability property qltransition_94 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_94,9.22337e+112,13.3317,376640,2,1622,586,716789,107,0,5307,494743,0
Reachability property qltransition_95 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_95,4.61169e+113,13.3326,376640,2,1627,586,716789,108,0,5312,494743,0
Reachability property qltransition_96 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_96,7.3787e+115,13.3335,376640,2,1637,586,716789,109,0,5317,494743,0
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,3.68935e+116,13.3345,376640,2,1642,586,716789,110,0,5322,494743,0
Reachability property qltransition_98 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_98,1.84467e+117,13.3354,376640,2,1647,586,716789,111,0,5327,494743,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,2.95148e+119,13.3363,376640,2,1657,586,716789,112,0,5332,494743,0
Reachability property qltransition_100 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_100,1.47574e+120,13.3372,376640,2,1662,586,716789,113,0,5337,494743,0
Reachability property qltransition_101 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_101,7.3787e+120,13.3381,376640,2,1667,586,716789,114,0,5342,494743,0
Reachability property qltransition_102 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_102,1.18059e+123,13.3389,376640,2,1677,586,716789,115,0,5347,494743,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,5.90296e+123,13.3398,376640,2,1682,586,716789,116,0,5352,494743,0
Reachability property qltransition_104 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_104,2.95148e+124,13.3406,376640,2,1687,586,716789,117,0,5357,494743,0
Reachability property qltransition_105 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_105,4.72237e+126,13.3415,376640,2,1697,586,716789,118,0,5362,494743,0
Reachability property qltransition_106 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_106,2.36118e+127,13.3423,376640,2,1702,586,716789,119,0,5367,494743,0
Reachability property qltransition_107 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_107,1.18059e+128,13.3431,376640,2,1707,586,716789,120,0,5372,494743,0
Reachability property qltransition_108 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_108,1.88895e+130,13.3439,376640,2,1717,586,716789,121,0,5377,494743,0
Reachability property qltransition_109 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_109,9.44473e+130,13.3448,376640,2,1722,586,716789,122,0,5382,494743,0
Reachability property qltransition_110 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_110,4.72237e+131,13.3456,376640,2,1727,586,716789,123,0,5387,494743,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,7.55579e+133,13.3464,376640,2,1737,586,716789,124,0,5392,494743,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,3.77789e+134,13.3471,376640,2,1742,586,716789,125,0,5397,494743,0
Reachability property qltransition_113 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_113,1.88895e+135,13.3478,376640,2,1747,586,716789,126,0,5402,494743,0
Reachability property qltransition_114 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_114,3.02231e+137,13.3486,376640,2,1757,586,716789,127,0,5407,494743,0
Reachability property qltransition_115 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_115,1.51116e+138,13.3494,376640,2,1762,586,716789,128,0,5412,494743,0
Reachability property qltransition_116 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_116,7.55579e+138,13.3501,376640,2,1767,586,716789,129,0,5417,494743,0
Reachability property qltransition_117 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_117,1,13.3519,376640,2,995,586,716789,130,0,5422,494743,0
Reachability property qltransition_118 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_118,4,13.3538,376640,2,997,586,716789,131,0,5427,494743,0
Reachability property qltransition_119 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_119,500,13.3557,376640,2,1012,586,716789,132,0,5432,494743,0
Reachability property qltransition_121 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_121,1,13.3575,376640,2,995,586,716789,133,0,5437,494743,0
Reachability property qltransition_122 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_122,2,13.3592,376640,2,996,586,716789,134,0,5442,494743,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,500,13.3611,376640,2,1012,586,716789,135,0,5447,494743,0
Reachability property qltransition_124 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_124,16000,13.3629,376640,2,1017,586,716789,136,0,5452,494743,0
Reachability property qltransition_125 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_125,2e+06,13.3647,376640,2,1032,586,716789,137,0,5457,494743,0
Reachability property qltransition_127 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_127,100,13.3665,376640,2,1007,586,716789,138,0,5462,494743,0
Reachability property qltransition_128 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_128,8000,13.3683,376640,2,1016,586,716789,139,0,5467,494743,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,2e+06,13.3701,376640,2,1032,586,716789,140,0,5472,494743,0
Reachability property qltransition_130 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_130,6.4e+07,13.3718,376640,2,1037,586,716789,141,0,5477,494743,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,8e+09,13.3737,376640,2,1052,586,716789,142,0,5482,494743,0
Reachability property qltransition_133 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_133,400000,13.3755,376640,2,1027,586,716789,143,0,5487,494743,0
Reachability property qltransition_134 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_134,3.2e+07,13.3773,376640,2,1036,586,716789,144,0,5492,494743,0
Reachability property qltransition_135 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_135,8e+09,13.379,376640,2,1052,586,716789,145,0,5497,494743,0
Reachability property qltransition_136 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_136,2.56e+11,13.3808,376640,2,1057,586,716789,146,0,5502,494743,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,3.2e+13,13.3825,376640,2,1072,586,716789,147,0,5507,494743,0
Reachability property qltransition_139 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_139,1.6e+09,13.3844,376640,2,1047,586,716789,148,0,5512,494743,0
Reachability property qltransition_140 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_140,1.28e+11,13.3862,376640,2,1056,586,716789,149,0,5517,494743,0
Reachability property qltransition_141 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_141,3.2e+13,13.3879,376640,2,1072,586,716789,150,0,5522,494743,0
Reachability property qltransition_142 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_142,1.024e+15,13.3896,376640,2,1077,586,716789,151,0,5527,494743,0
Reachability property qltransition_143 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_143,1.28e+17,13.3915,376640,2,1092,586,716789,152,0,5532,494743,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,6.4e+12,13.3933,376640,2,1067,586,716789,153,0,5537,494743,0
Reachability property qltransition_146 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_146,5.12e+14,13.3951,376640,2,1076,586,716789,154,0,5542,494743,0
Reachability property qltransition_147 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_147,1.28e+17,13.397,376640,2,1092,586,716789,155,0,5547,494743,0
Reachability property qltransition_148 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_148,4.096e+18,13.3987,376640,2,1097,586,716789,156,0,5552,494743,0
Reachability property qltransition_149 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_149,5.12e+20,13.4006,376640,2,1112,586,716789,157,0,5557,494743,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,2.56e+16,13.4023,376640,2,1087,586,716789,158,0,5562,494743,0
Reachability property qltransition_152 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_152,2.048e+18,13.4041,376640,2,1096,586,716789,159,0,5567,494743,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,5.12e+20,13.4059,376640,2,1112,586,716789,160,0,5572,494743,0
Reachability property qltransition_154 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_154,1.6384e+22,13.4076,376640,2,1117,586,716789,161,0,5577,494743,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,2.048e+24,13.4095,376640,2,1132,586,716789,162,0,5582,494743,0
Reachability property qltransition_157 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_157,1.024e+20,13.4112,376640,2,1107,586,716789,163,0,5587,494743,0
Reachability property qltransition_158 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_158,8.192e+21,13.413,376640,2,1116,586,716789,164,0,5592,494743,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,2.048e+24,13.4148,376640,2,1132,586,716789,165,0,5597,494743,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,6.5536e+25,13.4166,376640,2,1137,586,716789,166,0,5602,494743,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,8.192e+27,13.4184,376640,2,1152,586,716789,167,0,5607,494743,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.096e+23,13.4202,376640,2,1127,586,716789,168,0,5612,494743,0
Reachability property qltransition_164 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_164,3.2768e+25,13.4222,376640,2,1136,586,716789,169,0,5617,494743,0
Reachability property qltransition_165 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_165,8.192e+27,13.424,376640,2,1152,586,716789,170,0,5622,494743,0
Reachability property qltransition_166 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_166,2.62144e+29,13.4258,376640,2,1157,586,716789,171,0,5627,494743,0
Reachability property qltransition_167 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_167,3.2768e+31,13.4276,376640,2,1172,586,716789,172,0,5632,494743,0
Reachability property qltransition_169 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_169,1.6384e+27,13.4294,376640,2,1147,586,716789,173,0,5637,494743,0
Reachability property qltransition_170 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_170,1.31072e+29,13.4312,376640,2,1156,586,716789,174,0,5642,494743,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,3.2768e+31,13.433,376640,2,1172,586,716789,175,0,5647,494743,0
Reachability property qltransition_172 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_172,1.04858e+33,13.4347,376640,2,1177,586,716789,176,0,5652,494743,0
Reachability property qltransition_173 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_173,1.31072e+35,13.4368,376640,2,1192,586,716789,177,0,5657,494743,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.5536e+30,13.4473,376640,2,1167,586,716789,178,0,5662,494743,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,5.24288e+32,13.4491,376640,2,1176,586,716789,179,0,5667,494743,0
Reachability property qltransition_177 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_177,1.31072e+35,13.4507,376640,2,1192,586,716789,180,0,5672,494743,0
Reachability property qltransition_178 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_178,4.1943e+36,13.4526,376640,2,1197,586,716789,181,0,5677,494743,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,5.24288e+38,13.4545,376640,2,1212,586,716789,182,0,5682,494743,0
Reachability property qltransition_181 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_181,2.62144e+34,13.4562,376640,2,1187,586,716789,183,0,5687,494743,0
Reachability property qltransition_182 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_182,2.09715e+36,13.4578,376640,2,1196,586,716789,184,0,5692,494743,0
Reachability property qltransition_183 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_183,5.24288e+38,13.4595,376640,2,1212,586,716789,185,0,5697,494743,0
Reachability property qltransition_184 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_184,1.67772e+40,13.4613,376640,2,1217,586,716789,186,0,5702,494743,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,8.38861e+39,13.463,376640,2,1216,586,716789,187,0,5707,494743,0
Reachability property qltransition_187 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_187,1.04858e+38,13.4645,376640,2,1207,586,716789,188,0,5712,494743,0
Reachability property qltransition_188 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_188,8.38861e+39,13.4662,376640,2,1216,586,716789,189,0,5717,494743,0
Reachability property qltransition_189 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_189,2.09715e+42,13.4681,376640,2,1232,586,716789,190,0,5722,494743,0
Reachability property qltransition_190 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_190,6.71089e+43,13.4701,376640,2,1237,586,716789,191,0,5727,494743,0
Reachability property qltransition_191 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_191,8.38861e+45,13.4719,376640,2,1252,586,716789,192,0,5732,494743,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.1943e+41,13.4735,376640,2,1227,586,716789,193,0,5737,494743,0
Reachability property qltransition_194 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_194,3.35544e+43,13.4752,376640,2,1236,586,716789,194,0,5742,494743,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,8.38861e+45,13.4769,376640,2,1252,586,716789,195,0,5747,494743,0
Reachability property qltransition_196 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_196,2.68435e+47,13.4789,376640,2,1257,586,716789,196,0,5752,494743,0
Reachability property qltransition_197 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_197,3.35544e+49,13.4807,376640,2,1272,586,716789,197,0,5757,494743,0
Reachability property qltransition_199 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_199,1.67772e+45,13.4822,376640,2,1247,586,716789,198,0,5762,494743,0
Reachability property qltransition_200 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_200,1.34218e+47,13.484,376640,2,1256,586,716789,199,0,5767,494743,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,3.35544e+49,13.4856,376640,2,1272,586,716789,200,0,5772,494743,0
Reachability property qltransition_202 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_202,1.07374e+51,13.4877,376640,2,1277,586,716789,201,0,5777,494743,0
Reachability property qltransition_203 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_203,1.34218e+53,13.4896,376640,2,1292,586,716789,202,0,5782,494743,0
Reachability property qltransition_205 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_205,6.71089e+48,13.4913,376640,2,1267,586,716789,203,0,5787,494743,0
Reachability property qltransition_206 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_206,5.36871e+50,13.4929,376640,2,1276,586,716789,204,0,5792,494743,0
Reachability property qltransition_207 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_207,1.34218e+53,13.4946,376640,2,1292,586,716789,205,0,5797,494743,0
Reachability property qltransition_208 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_208,4.29497e+54,13.4963,376640,2,1297,586,716789,206,0,5802,494743,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,5.36871e+56,13.498,376640,2,1312,586,716789,207,0,5807,494743,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,2.68435e+52,13.4994,376640,2,1287,586,716789,208,0,5812,494743,0
Reachability property qltransition_212 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_212,2.14748e+54,13.5009,376640,2,1296,586,716789,209,0,5817,494743,0
Reachability property qltransition_213 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_213,5.36871e+56,13.5023,376640,2,1312,586,716789,210,0,5822,494743,0
Reachability property qltransition_214 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_214,1.71799e+58,13.5041,376640,2,1317,586,716789,211,0,5827,494743,0
Reachability property qltransition_215 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_215,2.14748e+60,13.5057,376640,2,1332,586,716789,212,0,5832,494743,0
Reachability property qltransition_217 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_217,1.07374e+56,13.5074,376640,2,1307,586,716789,213,0,5837,494743,0
Reachability property qltransition_218 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_218,8.58993e+57,13.5093,376640,2,1316,586,716789,214,0,5842,494743,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,2.14748e+60,13.5113,376640,2,1332,586,716789,215,0,5847,494743,0
Reachability property qltransition_220 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_220,6.87195e+61,13.5129,376640,2,1337,586,716789,216,0,5852,494743,0
Reachability property qltransition_221 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_221,8.58993e+63,13.5145,376640,2,1352,586,716789,217,0,5857,494743,0
Reachability property qltransition_223 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_223,4.29497e+59,13.516,376640,2,1327,586,716789,218,0,5862,494743,0
Reachability property qltransition_224 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_224,3.43597e+61,13.5174,376640,2,1336,586,716789,219,0,5867,494743,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,8.58993e+63,13.5188,376640,2,1352,586,716789,220,0,5872,494743,0
Reachability property qltransition_226 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_226,2.74878e+65,13.5205,376640,2,1357,586,716789,221,0,5877,494743,0
Reachability property qltransition_227 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_227,3.43597e+67,13.5224,376640,2,1372,586,716789,222,0,5882,494743,0
Reachability property qltransition_229 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_229,1.71799e+63,13.524,376640,2,1347,586,716789,223,0,5887,494743,0
Reachability property qltransition_230 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_230,1.37439e+65,13.5254,376640,2,1356,586,716789,224,0,5892,494743,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,3.43597e+67,13.5267,376640,2,1372,586,716789,225,0,5897,494743,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,1.09951e+69,13.5287,376640,2,1377,586,716789,226,0,5902,494743,0
Reachability property qltransition_233 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_233,1.37439e+71,13.5307,376640,2,1392,586,716789,227,0,5907,494743,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,6.87195e+66,13.5326,376640,2,1367,586,716789,228,0,5912,494743,0
Reachability property qltransition_236 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_236,5.49756e+68,13.5339,376640,2,1376,586,716789,229,0,5917,494743,0
Reachability property qltransition_237 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_237,1.37439e+71,13.5354,376640,2,1392,586,716789,230,0,5922,494743,0
Reachability property qltransition_238 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_238,4.39805e+72,13.5368,376640,2,1397,586,716789,231,0,5927,494743,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,5.49756e+74,13.5384,376640,2,1412,586,716789,232,0,5932,494743,0
Reachability property qltransition_241 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_241,2.74878e+70,13.54,376640,2,1387,586,716789,233,0,5937,494743,0
Reachability property qltransition_242 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_242,2.19902e+72,13.5414,376640,2,1396,586,716789,234,0,5942,494743,0
Reachability property qltransition_243 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_243,5.49756e+74,13.5427,376640,2,1412,586,716789,235,0,5947,494743,0
Reachability property qltransition_244 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_244,1.75922e+76,13.5443,376640,2,1417,586,716789,236,0,5952,494743,0
Reachability property qltransition_245 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_245,8.79609e+75,13.5459,376640,2,1416,586,716789,237,0,5957,494743,0
Reachability property qltransition_247 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_247,1.09951e+74,13.5475,376640,2,1407,586,716789,238,0,5962,494743,0
Reachability property qltransition_248 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_248,8.79609e+75,13.5488,376640,2,1416,586,716789,239,0,5967,494743,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,2.19902e+78,13.5501,376640,2,1432,586,716789,240,0,5972,494743,0
Reachability property qltransition_250 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_250,7.03687e+79,13.5515,376640,2,1437,586,716789,241,0,5977,494743,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,8.79609e+81,13.553,376640,2,1452,586,716789,242,0,5982,494743,0
Reachability property qltransition_253 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_253,4.39805e+77,13.5544,376640,2,1427,586,716789,243,0,5987,494743,0
Reachability property qltransition_254 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_254,3.51844e+79,13.5563,376640,2,1436,586,716789,244,0,5992,494743,0
Reachability property qltransition_255 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_255,8.79609e+81,13.5581,376640,2,1452,586,716789,245,0,5997,494743,0
Reachability property qltransition_256 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_256,2.81475e+83,13.5598,376640,2,1457,586,716789,246,0,6002,494743,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,3.51844e+85,13.5612,376640,2,1472,586,716789,247,0,6007,494743,0
Reachability property qltransition_259 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_259,1.75922e+81,13.5625,376640,2,1447,586,716789,248,0,6012,494743,0
Reachability property qltransition_260 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_260,1.40737e+83,13.5638,376640,2,1456,586,716789,249,0,6017,494743,0
Reachability property qltransition_261 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_261,3.51844e+85,13.565,376640,2,1472,586,716789,250,0,6022,494743,0
Reachability property qltransition_262 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_262,1.1259e+87,13.5662,376640,2,1477,586,716789,251,0,6027,494743,0
Reachability property qltransition_263 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_263,1.40737e+89,13.5676,376640,2,1492,586,716789,252,0,6032,494743,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,7.03687e+84,13.569,376640,2,1467,586,716789,253,0,6037,494743,0
Reachability property qltransition_266 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_266,5.6295e+86,13.5704,376640,2,1476,586,716789,254,0,6042,494743,0
Reachability property qltransition_267 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_267,1.40737e+89,13.5721,376640,2,1492,586,716789,255,0,6047,494743,0
Reachability property qltransition_268 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_268,4.5036e+90,13.5739,376640,2,1497,586,716789,256,0,6052,494743,0
Reachability property qltransition_269 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_269,5.6295e+92,13.5755,376640,2,1512,586,716789,257,0,6057,494743,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,2.81475e+88,13.5769,376640,2,1487,586,716789,258,0,6062,494743,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,2.2518e+90,13.5781,376640,2,1496,586,716789,259,0,6067,494743,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,5.6295e+92,13.5794,376640,2,1512,586,716789,260,0,6072,494743,0
Reachability property qltransition_274 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_274,1.80144e+94,13.5811,376640,2,1517,586,716789,261,0,6077,494743,0
Reachability property qltransition_275 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_275,2.2518e+96,13.5825,376640,2,1532,586,716789,262,0,6082,494743,0
Reachability property qltransition_277 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_277,1.1259e+92,13.5839,376640,2,1507,586,716789,263,0,6087,494743,0
Reachability property qltransition_278 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_278,9.0072e+93,13.585,376640,2,1516,586,716789,264,0,6092,494743,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,2.2518e+96,13.5862,376640,2,1532,586,716789,265,0,6097,494743,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,7.20576e+97,13.5875,376640,2,1537,586,716789,266,0,6102,494743,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,3.60288e+97,13.5888,376640,2,1536,586,716789,267,0,6107,494743,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.5036e+95,13.5902,376640,2,1527,586,716789,268,0,6112,494743,0
Reachability property qltransition_284 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_284,3.60288e+97,13.5914,376640,2,1536,586,716789,269,0,6117,494743,0
Reachability property qltransition_285 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_285,9.0072e+99,13.5925,376640,2,1552,586,716789,270,0,6122,494743,0
Reachability property qltransition_286 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_286,2.8823e+101,13.5935,376640,2,1557,586,716789,271,0,6127,494743,0
Reachability property qltransition_287 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_287,3.60288e+103,13.5947,376640,2,1572,586,716789,272,0,6132,494743,0
Reachability property qltransition_289 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_289,1.80144e+99,13.5961,376640,2,1547,586,716789,273,0,6137,494743,0
Reachability property qltransition_290 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_290,1.44115e+101,13.5978,376640,2,1556,586,716789,274,0,6142,494743,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,3.60288e+103,13.5995,376640,2,1572,586,716789,275,0,6147,494743,0
Reachability property qltransition_292 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_292,1.15292e+105,13.601,376640,2,1577,586,716789,276,0,6152,494743,0
Reachability property qltransition_293 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_293,1.44115e+107,13.6023,376640,2,1592,586,716789,277,0,6157,494743,0
Reachability property qltransition_295 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_295,7.20576e+102,13.6034,376640,2,1567,586,716789,278,0,6162,494743,0
Reachability property qltransition_296 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_296,5.76461e+104,13.6045,376640,2,1576,586,716789,279,0,6167,494743,0
Reachability property qltransition_297 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_297,1.44115e+107,13.6056,376640,2,1592,586,716789,280,0,6172,494743,0
Reachability property qltransition_298 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_298,4.61169e+108,13.6068,376640,2,1597,586,716789,281,0,6177,494743,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,5.76461e+110,13.6081,376640,2,1612,586,716789,282,0,6182,494743,0
Reachability property qltransition_301 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_301,2.8823e+106,13.6097,376640,2,1587,586,716789,283,0,6187,494743,0
Reachability property qltransition_302 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_302,2.30584e+108,13.6113,376640,2,1596,586,716789,284,0,6192,494743,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,5.76461e+110,13.6125,376640,2,1612,586,716789,285,0,6197,494743,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,1.84467e+112,13.6135,376640,2,1617,586,716789,286,0,6202,494743,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,2.30584e+114,13.6149,376640,2,1632,586,716789,287,0,6207,494743,0
Reachability property qltransition_307 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_307,1.15292e+110,13.6161,376640,2,1607,586,716789,288,0,6212,494743,0
Reachability property qltransition_308 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_308,9.22337e+111,13.6174,376640,2,1616,586,716789,289,0,6217,494743,0
Reachability property qltransition_309 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_309,2.30584e+114,13.6184,376640,2,1632,586,716789,290,0,6222,494743,0
Reachability property qltransition_310 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_310,7.3787e+115,13.6194,376640,2,1637,586,716789,291,0,6227,494743,0
Reachability property qltransition_311 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_311,9.22337e+117,13.6205,376640,2,1652,586,716789,292,0,6232,494743,0
Reachability property qltransition_313 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_313,4.61169e+113,13.6215,376640,2,1627,586,716789,293,0,6237,494743,0
Reachability property qltransition_314 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_314,3.68935e+115,13.6226,376640,2,1636,586,716789,294,0,6242,494743,0
Reachability property qltransition_315 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_315,9.22337e+117,13.6238,376640,2,1652,586,716789,295,0,6247,494743,0
Reachability property qltransition_316 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_316,2.95148e+119,13.6249,376640,2,1657,586,716789,296,0,6252,494743,0
Reachability property qltransition_317 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_317,1.47574e+119,13.6264,376640,2,1656,586,716789,297,0,6257,494743,0
Reachability property qltransition_319 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_319,1.84467e+117,13.6279,376640,2,1647,586,716789,298,0,6262,494743,0
Reachability property qltransition_320 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_320,1.47574e+119,13.6294,376640,2,1656,586,716789,299,0,6267,494743,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,3.68935e+121,13.6305,376640,2,1672,586,716789,300,0,6272,494743,0
Reachability property qltransition_322 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_322,1.18059e+123,13.6316,376640,2,1677,586,716789,301,0,6277,494743,0
Reachability property qltransition_323 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_323,1.47574e+125,13.6328,376640,2,1692,586,716789,302,0,6282,494743,0
Reachability property qltransition_325 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_325,7.3787e+120,13.6339,376640,2,1667,586,716789,303,0,6287,494743,0
Reachability property qltransition_326 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_326,5.90296e+122,13.6349,376640,2,1676,586,716789,304,0,6292,494743,0
Reachability property qltransition_327 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_327,1.47574e+125,13.6359,376640,2,1692,586,716789,305,0,6297,494743,0
Reachability property qltransition_328 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_328,4.72237e+126,13.6367,376640,2,1697,586,716789,306,0,6302,494743,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,5.90296e+128,13.6377,376640,2,1712,586,716789,307,0,6307,494743,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,2.95148e+124,13.639,376640,2,1687,586,716789,308,0,6312,494743,0
Reachability property qltransition_332 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_332,2.36118e+126,13.64,376640,2,1696,586,716789,309,0,6317,494743,0
Reachability property qltransition_333 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_333,5.90296e+128,13.6414,376640,2,1712,586,716789,310,0,6322,494743,0
Reachability property qltransition_334 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_334,1.88895e+130,13.6425,376640,2,1717,586,716789,311,0,6327,494743,0
Reachability property qltransition_335 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_335,2.36118e+132,13.6435,376640,2,1732,586,716789,312,0,6332,494743,0
Reachability property qltransition_337 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_337,1.18059e+128,13.6444,376640,2,1707,586,716789,313,0,6337,494743,0
Reachability property qltransition_338 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_338,9.44473e+129,13.6453,376640,2,1716,586,716789,314,0,6342,494743,0
Reachability property qltransition_339 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_339,2.36118e+132,13.6463,376640,2,1732,586,716789,315,0,6347,494743,0
Reachability property qltransition_340 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_340,7.55579e+133,13.6473,376640,2,1737,586,716789,316,0,6352,494743,0
Reachability property qltransition_341 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_341,9.44473e+135,13.6483,376640,2,1752,586,716789,317,0,6357,494743,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,4.72237e+131,13.6492,376640,2,1727,586,716789,318,0,6362,494743,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,3.77789e+133,13.6501,376640,2,1736,586,716789,319,0,6367,494743,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,9.44473e+135,13.6515,376640,2,1752,586,716789,320,0,6372,494743,0
Reachability property qltransition_346 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_346,3.02231e+137,13.6523,376640,2,1757,586,716789,321,0,6377,494743,0
Reachability property qltransition_347 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_347,3.77789e+139,13.6531,376640,2,1772,586,716789,322,0,6382,494743,0
Reachability property qltransition_349 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_349,1.88895e+135,13.6539,376640,2,1747,586,716789,323,0,6387,494743,0
Reachability property qltransition_350 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_350,1.51116e+137,13.655,376640,2,1756,586,716789,324,0,6392,494743,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,3.77789e+139,13.6559,376640,2,1772,586,716789,325,0,6397,494743,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,4.8357e+141,13.6568,376640,2,1779,586,716789,325,0,6399,494743,0
Reachability property qltransition_353 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_353,1.20893e+141,13.6575,376640,2,1777,586,716789,325,0,6401,494743,0
Reachability property qltransition_354 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_354,6.04463e+140,13.6583,376640,2,1776,586,716789,325,0,6403,494743,0
Reachability property qltransition_356 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_356,7.55579e+138,13.6597,376640,2,1767,586,716789,326,0,6408,494743,0
Reachability property qltransition_358 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_358,6.04463e+140,13.6604,376640,2,1776,586,716789,326,0,6410,494743,0
Reachability property qltransition_359 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_359,200,13.663,376640,2,1008,586,716789,327,0,6415,494743,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,200,13.6655,376640,2,1008,586,716789,328,0,6418,494743,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,800,13.668,376640,2,1010,586,716789,329,0,6423,494743,0
Reachability property qltransition_365 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_365,800,13.6703,376640,2,1010,586,716789,330,0,6426,494743,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,1600,13.6726,376640,2,1011,586,716789,331,0,6431,494743,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,1600,13.6749,376640,2,1011,586,716789,332,0,6434,494743,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,800000,13.6774,376640,2,1028,586,716789,333,0,6439,494743,0
Reachability property qltransition_373 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_373,800000,13.6798,376640,2,1028,586,716789,334,0,6442,494743,0
Reachability property qltransition_375 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_375,3.2e+06,13.6819,376640,2,1030,586,716789,335,0,6447,494743,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,3.2e+06,13.6843,376640,2,1030,586,716789,336,0,6450,494743,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,6.4e+06,13.6868,376640,2,1031,586,716789,337,0,6455,494743,0
Reachability property qltransition_381 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_381,6.4e+06,13.6891,376640,2,1031,586,716789,338,0,6458,494743,0
Reachability property qltransition_383 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_383,6.4e+07,13.6915,376640,2,1037,586,716789,339,0,6463,494743,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,3.2e+09,13.6936,376640,2,1048,586,716789,340,0,6466,494743,0
Reachability property qltransition_387 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_387,1.28e+10,13.696,376640,2,1050,586,716789,341,0,6471,494743,0
Reachability property qltransition_389 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_389,1.28e+10,13.6982,376640,2,1050,586,716789,342,0,6474,494743,0
Reachability property qltransition_391 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_391,6.4e+08,13.7004,376640,2,1043,586,716789,343,0,6479,494743,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,2.56e+10,13.7027,376640,2,1051,586,716789,344,0,6482,494743,0
Reachability property qltransition_395 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_395,2.56e+11,13.7048,376640,2,1057,586,716789,345,0,6487,494743,0
Reachability property qltransition_397 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_397,1.28e+13,13.7073,376640,2,1068,586,716789,346,0,6490,494743,0
Reachability property qltransition_399 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_399,5.12e+11,13.7095,376640,2,1058,586,716789,347,0,6495,494743,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,5.12e+13,13.7116,376640,2,1070,586,716789,348,0,6498,494743,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,2.56e+12,13.7139,376640,2,1063,586,716789,349,0,6503,494743,0
Reachability property qltransition_405 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_405,1.024e+14,13.7162,376640,2,1071,586,716789,350,0,6506,494743,0
Reachability property qltransition_407 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_407,1.024e+15,13.7184,376640,2,1077,586,716789,351,0,6511,494743,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,5.12e+16,13.7207,376640,2,1088,586,716789,352,0,6514,494743,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,2.048e+15,13.7229,376640,2,1078,586,716789,353,0,6519,494743,0
Reachability property qltransition_413 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_413,2.048e+17,13.7252,376640,2,1090,586,716789,354,0,6522,494743,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,4.096e+17,13.7275,376640,2,1091,586,716789,355,0,6527,494743,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.096e+17,13.7298,376640,2,1091,586,716789,356,0,6530,494743,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.096e+18,13.732,376640,2,1097,586,716789,357,0,6535,494743,0
Reachability property qltransition_421 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_421,2.048e+20,13.7343,376640,2,1108,586,716789,358,0,6538,494743,0
Reachability property qltransition_423 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_423,8.192e+18,13.7365,376640,2,1098,586,716789,359,0,6543,494743,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,8.192e+20,13.7387,376640,2,1110,586,716789,360,0,6546,494743,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.096e+19,13.7408,376640,2,1103,586,716789,361,0,6551,494743,0
Reachability property qltransition_429 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_429,1.6384e+21,13.7446,376640,2,1111,586,716789,362,0,6554,494743,0
Reachability property qltransition_431 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_431,1.6384e+22,13.7468,376640,2,1117,586,716789,363,0,6559,494743,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,8.192e+23,13.7491,376640,2,1128,586,716789,364,0,6562,494743,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,3.2768e+24,13.7514,376640,2,1130,586,716789,365,0,6567,494743,0
Reachability property qltransition_437 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_437,3.2768e+24,13.7536,376640,2,1130,586,716789,366,0,6570,494743,0
Reachability property qltransition_439 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_439,6.5536e+24,13.7559,376640,2,1131,586,716789,367,0,6575,494743,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,6.5536e+24,13.7581,376640,2,1131,586,716789,368,0,6578,494743,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,6.5536e+25,13.7603,376640,2,1137,586,716789,369,0,6583,494743,0
Reachability property qltransition_445 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_445,3.2768e+27,13.7626,376640,2,1148,586,716789,370,0,6586,494743,0
Reachability property qltransition_447 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_447,1.31072e+28,13.7648,376640,2,1150,586,716789,371,0,6591,494743,0
Reachability property qltransition_449 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_449,1.31072e+28,13.767,376640,2,1150,586,716789,372,0,6594,494743,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,6.5536e+26,13.7692,376640,2,1143,586,716789,373,0,6599,494743,0
Reachability property qltransition_453 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_453,2.62144e+28,13.7713,376640,2,1151,586,716789,374,0,6602,494743,0
Reachability property qltransition_455 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_455,2.62144e+29,13.7737,376640,2,1157,586,716789,375,0,6607,494743,0
Reachability property qltransition_457 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_457,1.31072e+31,13.7759,376640,2,1168,586,716789,376,0,6610,494743,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,5.24288e+29,13.7781,376640,2,1158,586,716789,377,0,6615,494743,0
Reachability property qltransition_461 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_461,5.24288e+31,13.799,376640,2,1170,586,716789,378,0,6618,494743,0
Reachability property qltransition_463 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_463,1.04858e+32,13.8017,376640,2,1171,586,716789,379,0,6623,494743,0
Reachability property qltransition_465 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_465,1.04858e+32,13.8038,376640,2,1171,586,716789,380,0,6626,494743,0
Reachability property qltransition_467 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_467,1.04858e+33,13.806,376640,2,1177,586,716789,381,0,6631,494743,0
Reachability property qltransition_469 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_469,5.24288e+34,13.8081,376640,2,1188,586,716789,382,0,6634,494743,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,2.09715e+35,13.8101,376640,2,1190,586,716789,383,0,6639,494743,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,2.09715e+35,13.8121,376640,2,1190,586,716789,384,0,6642,494743,0
Reachability property qltransition_475 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_475,1.04858e+34,13.8141,376640,2,1183,586,716789,385,0,6647,494743,0
Reachability property qltransition_477 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_477,4.1943e+35,13.8162,376640,2,1191,586,716789,386,0,6650,494743,0
Reachability property qltransition_479 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_479,4.1943e+36,13.8181,376640,2,1197,586,716789,387,0,6655,494743,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,2.09715e+38,13.8201,376640,2,1208,586,716789,388,0,6658,494743,0
Reachability property qltransition_483 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_483,8.38861e+38,13.8222,376640,2,1210,586,716789,389,0,6663,494743,0
Reachability property qltransition_485 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_485,8.38861e+38,13.8241,376640,2,1210,586,716789,390,0,6666,494743,0
Reachability property qltransition_487 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_487,1.67772e+39,13.8261,376640,2,1211,586,716789,391,0,6671,494743,0
Reachability property qltransition_489 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_489,1.67772e+39,13.828,376640,2,1211,586,716789,392,0,6674,494743,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,8.38861e+41,13.83,376640,2,1228,586,716789,393,0,6679,494743,0
Reachability property qltransition_493 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_493,8.38861e+41,13.8322,376640,2,1228,586,716789,394,0,6682,494743,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,3.35544e+40,13.8342,376640,2,1218,586,716789,395,0,6687,494743,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,3.35544e+42,13.8364,376640,2,1230,586,716789,396,0,6690,494743,0
Reachability property qltransition_499 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_499,1.67772e+41,13.8384,376640,2,1223,586,716789,397,0,6695,494743,0
Reachability property qltransition_501 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_501,6.71089e+42,13.8406,376640,2,1231,586,716789,398,0,6698,494743,0
Reachability property qltransition_503 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_503,3.35544e+45,13.8426,376640,2,1248,586,716789,399,0,6703,494743,0
Reachability property qltransition_505 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_505,3.35544e+45,13.8445,376640,2,1248,586,716789,400,0,6706,494743,0
Reachability property qltransition_507 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_507,1.34218e+44,13.8463,376640,2,1238,586,716789,401,0,6711,494743,0
Reachability property qltransition_509 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_509,1.34218e+46,13.8481,376640,2,1250,586,716789,402,0,6714,494743,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.71089e+44,13.8499,376640,2,1243,586,716789,403,0,6719,494743,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,2.68435e+46,13.8517,376640,2,1251,586,716789,404,0,6722,494743,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,2.68435e+47,13.8534,376640,2,1257,586,716789,405,0,6727,494743,0
Reachability property qltransition_517 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_517,1.34218e+49,13.8551,376640,2,1268,586,716789,406,0,6730,494743,0
Reachability property qltransition_519 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_519,5.36871e+47,13.8568,376640,2,1258,586,716789,407,0,6735,494743,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,5.36871e+49,13.8585,376640,2,1270,586,716789,408,0,6738,494743,0
Reachability property qltransition_523 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_523,1.07374e+50,13.8604,376640,2,1271,586,716789,409,0,6743,494743,0
Reachability property qltransition_525 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_525,1.07374e+50,13.8623,376640,2,1271,586,716789,410,0,6746,494743,0
Reachability property qltransition_527 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_527,1.07374e+51,13.864,376640,2,1277,586,716789,411,0,6751,494743,0
Reachability property qltransition_529 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_529,5.36871e+52,13.8657,376640,2,1288,586,716789,412,0,6754,494743,0
Reachability property qltransition_531 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_531,2.14748e+51,13.8675,376640,2,1278,586,716789,413,0,6759,494743,0
Reachability property qltransition_533 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_533,2.14748e+53,13.8692,376640,2,1290,586,716789,414,0,6762,494743,0
Reachability property qltransition_535 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_535,1.07374e+52,13.8709,376640,2,1283,586,716789,415,0,6767,494743,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.29497e+53,13.8725,376640,2,1291,586,716789,416,0,6770,494743,0
Reachability property qltransition_539 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_539,4.29497e+54,13.8743,376640,2,1297,586,716789,417,0,6775,494743,0
Reachability property qltransition_541 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_541,2.14748e+56,13.876,376640,2,1308,586,716789,418,0,6778,494743,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,8.58993e+56,13.8776,376640,2,1310,586,716789,419,0,6783,494743,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,8.58993e+56,13.8794,376640,2,1310,586,716789,420,0,6786,494743,0
Reachability property qltransition_547 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_547,1.71799e+57,13.881,376640,2,1311,586,716789,421,0,6791,494743,0
Reachability property qltransition_549 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_549,1.71799e+57,13.8829,376640,2,1311,586,716789,422,0,6794,494743,0
Reachability property qltransition_551 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_551,8.58993e+59,13.8845,376640,2,1328,586,716789,423,0,6799,494743,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,8.58993e+59,13.8862,376640,2,1328,586,716789,424,0,6802,494743,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,3.43597e+58,13.8878,376640,2,1318,586,716789,425,0,6807,494743,0
Reachability property qltransition_557 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_557,3.43597e+60,13.8895,376640,2,1330,586,716789,426,0,6810,494743,0
Reachability property qltransition_559 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_559,1.71799e+59,13.8911,376640,2,1323,586,716789,427,0,6815,494743,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,6.87195e+60,13.8927,376640,2,1331,586,716789,428,0,6818,494743,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,6.87195e+61,13.8944,376640,2,1337,586,716789,429,0,6823,494743,0
Reachability property qltransition_565 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_565,3.43597e+63,13.896,376640,2,1348,586,716789,430,0,6826,494743,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,1.37439e+64,13.8977,376640,2,1350,586,716789,431,0,6831,494743,0
Reachability property qltransition_569 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_569,1.37439e+64,13.8993,376640,2,1350,586,716789,432,0,6834,494743,0
Reachability property qltransition_571 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_571,6.87195e+62,13.9009,376640,2,1343,586,716789,433,0,6839,494743,0
Reachability property qltransition_573 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_573,2.74878e+64,13.9024,376640,2,1351,586,716789,434,0,6842,494743,0
Reachability property qltransition_575 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_575,2.74878e+65,13.904,376640,2,1357,586,716789,435,0,6847,494743,0
Reachability property qltransition_577 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_577,1.37439e+67,13.9056,376640,2,1368,586,716789,436,0,6850,494743,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,5.49756e+67,13.9072,376640,2,1370,586,716789,437,0,6855,494743,0
Reachability property qltransition_581 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_581,5.49756e+67,13.9089,376640,2,1370,586,716789,438,0,6858,494743,0
Reachability property qltransition_583 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_583,1.09951e+68,13.9104,376640,2,1371,586,716789,439,0,6863,494743,0
Reachability property qltransition_585 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_585,1.09951e+68,13.912,376640,2,1371,586,716789,440,0,6866,494743,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,5.49756e+70,13.9136,376640,2,1388,586,716789,441,0,6871,494743,0
Reachability property qltransition_589 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_589,5.49756e+70,13.9151,376640,2,1388,586,716789,442,0,6874,494743,0
Reachability property qltransition_591 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_591,2.19902e+71,13.9167,376640,2,1390,586,716789,443,0,6879,494743,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,2.19902e+71,13.9182,376640,2,1390,586,716789,444,0,6882,494743,0
Reachability property qltransition_595 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_595,4.39805e+71,13.9197,376640,2,1391,586,716789,445,0,6887,494743,0
Reachability property qltransition_597 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_597,4.39805e+71,13.9213,376640,2,1391,586,716789,446,0,6890,494743,0
Reachability property qltransition_599 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_599,2.19902e+74,13.9229,376640,2,1408,586,716789,447,0,6895,494743,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,2.19902e+74,13.9243,376640,2,1408,586,716789,448,0,6898,494743,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,8.79609e+74,13.9259,376640,2,1410,586,716789,449,0,6903,494743,0
Reachability property qltransition_605 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_605,8.79609e+74,13.9275,376640,2,1410,586,716789,450,0,6906,494743,0
Reachability property qltransition_607 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_607,1.75922e+75,13.929,376640,2,1411,586,716789,451,0,6911,494743,0
Reachability property qltransition_609 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_609,1.75922e+75,13.9305,376640,2,1411,586,716789,452,0,6914,494743,0
Reachability property qltransition_611 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_611,1.75922e+76,13.9321,376640,2,1417,586,716789,453,0,6919,494743,0
Reachability property qltransition_613 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_613,8.79609e+77,13.9335,376640,2,1428,586,716789,454,0,6922,494743,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,3.51844e+78,13.935,376640,2,1430,586,716789,455,0,6927,494743,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,3.51844e+78,13.9365,376640,2,1430,586,716789,456,0,6930,494743,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,7.03687e+78,13.9379,376640,2,1431,586,716789,457,0,6935,494743,0
Reachability property qltransition_621 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_621,7.03687e+78,13.9395,376640,2,1431,586,716789,458,0,6938,494743,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,7.03687e+79,13.9408,376640,2,1437,586,716789,459,0,6943,494743,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,3.51844e+81,13.9423,376640,2,1448,586,716789,460,0,6946,494743,0
Reachability property qltransition_627 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_627,1.40737e+80,13.9438,376640,2,1438,586,716789,461,0,6951,494743,0
Reachability property qltransition_629 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_629,1.40737e+82,13.9452,376640,2,1450,586,716789,462,0,6954,494743,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,7.03687e+80,13.9467,376640,2,1443,586,716789,463,0,6959,494743,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,2.81475e+82,13.9481,376640,2,1451,586,716789,464,0,6962,494743,0
Reachability property qltransition_635 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_635,1.40737e+85,13.9495,376640,2,1468,586,716789,465,0,6967,494743,0
Reachability property qltransition_637 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_637,1.40737e+85,13.951,376640,2,1468,586,716789,466,0,6970,494743,0
Reachability property qltransition_639 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_639,5.6295e+83,13.9523,376640,2,1458,586,716789,467,0,6975,494743,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,5.6295e+85,13.9537,376640,2,1470,586,716789,468,0,6978,494743,0
Reachability property qltransition_643 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_643,1.1259e+86,13.9551,376640,2,1471,586,716789,469,0,6983,494743,0
Reachability property qltransition_645 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_645,1.1259e+86,13.9565,376640,2,1471,586,716789,470,0,6986,494743,0
Reachability property qltransition_647 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_647,5.6295e+88,13.958,376640,2,1488,586,716789,471,0,6991,494743,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,5.6295e+88,13.9593,376640,2,1488,586,716789,472,0,6994,494743,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,2.2518e+89,13.9608,376640,2,1490,586,716789,473,0,6999,494743,0
Reachability property qltransition_653 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_653,2.2518e+89,13.9622,376640,2,1490,586,716789,474,0,7002,494743,0
Reachability property qltransition_655 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_655,4.5036e+89,13.9635,376640,2,1491,586,716789,475,0,7007,494743,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.5036e+89,13.965,376640,2,1491,586,716789,476,0,7010,494743,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,2.2518e+92,13.9663,376640,2,1508,586,716789,477,0,7015,494743,0
Reachability property qltransition_661 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_661,2.2518e+92,13.9676,376640,2,1508,586,716789,478,0,7018,494743,0
Reachability property qltransition_663 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_663,9.0072e+90,13.969,376640,2,1498,586,716789,479,0,7023,494743,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,9.0072e+92,13.9703,376640,2,1510,586,716789,480,0,7026,494743,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.5036e+91,13.9716,376640,2,1503,586,716789,481,0,7031,494743,0
Reachability property qltransition_669 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_669,1.80144e+93,13.973,376640,2,1511,586,716789,482,0,7034,494743,0
Reachability property qltransition_671 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_671,1.80144e+94,13.9743,376640,2,1517,586,716789,483,0,7039,494743,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,9.0072e+95,13.9757,376640,2,1528,586,716789,484,0,7042,494743,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,3.60288e+94,13.9769,376640,2,1518,586,716789,485,0,7047,494743,0
Reachability property qltransition_677 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_677,3.60288e+96,13.9782,376640,2,1530,586,716789,486,0,7050,494743,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,7.20576e+96,13.9799,376640,2,1531,586,716789,487,0,7055,494743,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,7.20576e+96,13.9811,376640,2,1531,586,716789,488,0,7058,494743,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,3.60288e+99,13.9825,376640,2,1548,586,716789,489,0,7063,494743,0
Reachability property qltransition_685 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_685,3.60288e+99,13.9837,376640,2,1548,586,716789,490,0,7066,494743,0
Reachability property qltransition_687 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_687,1.44115e+98,13.9849,376640,2,1538,586,716789,491,0,7071,494743,0
Reachability property qltransition_689 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_689,1.44115e+100,13.9863,376640,2,1550,586,716789,492,0,7074,494743,0
Reachability property qltransition_691 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_691,2.8823e+100,13.9875,376640,2,1551,586,716789,493,0,7079,494743,0
Reachability property qltransition_693 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_693,2.8823e+100,13.9888,376640,2,1551,586,716789,494,0,7082,494743,0
Reachability property qltransition_695 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_695,1.44115e+103,13.9901,376640,2,1568,586,716789,495,0,7087,494743,0
Reachability property qltransition_697 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_697,1.44115e+103,13.9914,376640,2,1568,586,716789,496,0,7090,494743,0
Reachability property qltransition_699 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_699,5.76461e+103,13.9926,376640,2,1570,586,716789,497,0,7095,494743,0
Reachability property qltransition_701 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_701,5.76461e+103,13.9939,376640,2,1570,586,716789,498,0,7098,494743,0
Reachability property qltransition_703 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_703,2.8823e+102,13.9951,376640,2,1563,586,716789,499,0,7103,494743,0
Reachability property qltransition_705 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_705,1.15292e+104,13.9963,376640,2,1571,586,716789,500,0,7106,494743,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,1.15292e+105,13.9976,376640,2,1577,586,716789,501,0,7111,494743,0
Reachability property qltransition_709 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_709,5.76461e+106,13.9988,376640,2,1588,586,716789,502,0,7114,494743,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,2.30584e+107,14,376640,2,1590,586,716789,503,0,7119,494743,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,2.30584e+107,14.0011,376640,2,1590,586,716789,504,0,7122,494743,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.61169e+107,14.0024,376640,2,1591,586,716789,505,0,7127,494743,0
Reachability property qltransition_717 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_717,4.61169e+107,14.0036,376640,2,1591,586,716789,506,0,7130,494743,0
Reachability property qltransition_719 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_719,2.30584e+110,14.0048,376640,2,1608,586,716789,507,0,7135,494743,0
Reachability property qltransition_721 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_721,2.30584e+110,14.0061,376640,2,1608,586,716789,508,0,7138,494743,0
Reachability property qltransition_723 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_723,9.22337e+110,14.0073,376640,2,1610,586,716789,509,0,7143,494743,0
Reachability property qltransition_725 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_725,9.22337e+110,14.0084,376640,2,1610,586,716789,510,0,7146,494743,0
Reachability property qltransition_727 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_727,1.84467e+111,14.0096,376640,2,1611,586,716789,511,0,7151,494743,0
Reachability property qltransition_729 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_729,1.84467e+111,14.0108,376640,2,1611,586,716789,512,0,7154,494743,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,1.84467e+112,14.0119,376640,2,1617,586,716789,513,0,7159,494743,0
Reachability property qltransition_733 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_733,9.22337e+113,14.0131,376640,2,1628,586,716789,514,0,7162,494743,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,3.68935e+112,14.0142,376640,2,1618,586,716789,515,0,7167,494743,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,3.68935e+114,14.0153,376640,2,1630,586,716789,516,0,7170,494743,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,7.3787e+114,14.0164,376640,2,1631,586,716789,517,0,7175,494743,0
Reachability property qltransition_741 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_741,7.3787e+114,14.0176,376640,2,1631,586,716789,518,0,7178,494743,0
Reachability property qltransition_743 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_743,7.3787e+115,14.0188,376640,2,1637,586,716789,519,0,7183,494743,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,3.68935e+117,14.0198,376640,2,1648,586,716789,520,0,7186,494743,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,1.47574e+118,14.021,376640,2,1650,586,716789,521,0,7191,494743,0
Reachability property qltransition_749 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_749,1.47574e+118,14.022,376640,2,1650,586,716789,522,0,7194,494743,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,7.3787e+116,14.0232,376640,2,1643,586,716789,523,0,7199,494743,0
Reachability property qltransition_753 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_753,2.95148e+118,14.0243,376640,2,1651,586,716789,524,0,7202,494743,0
Reachability property qltransition_755 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_755,1.47574e+121,14.0253,376640,2,1668,586,716789,525,0,7207,494743,0
Reachability property qltransition_757 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_757,1.47574e+121,14.0264,376640,2,1668,586,716789,526,0,7210,494743,0
Reachability property qltransition_759 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_759,5.90296e+121,14.0275,376640,2,1670,586,716789,527,0,7215,494743,0
Reachability property qltransition_761 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_761,5.90296e+121,14.0286,376640,2,1670,586,716789,528,0,7218,494743,0
Reachability property qltransition_763 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_763,1.18059e+122,14.0297,376640,2,1671,586,716789,529,0,7223,494743,0
Reachability property qltransition_765 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_765,1.18059e+122,14.0308,376640,2,1671,586,716789,530,0,7226,494743,0
Reachability property qltransition_767 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_767,5.90296e+124,14.0318,376640,2,1688,586,716789,531,0,7231,494743,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,5.90296e+124,14.0329,376640,2,1688,586,716789,532,0,7234,494743,0
Reachability property qltransition_771 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_771,2.36118e+125,14.0339,376640,2,1690,586,716789,533,0,7239,494743,0
Reachability property qltransition_773 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_773,2.36118e+125,14.035,376640,2,1690,586,716789,534,0,7242,494743,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,4.72237e+125,14.036,376640,2,1691,586,716789,535,0,7247,494743,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.72237e+125,14.037,376640,2,1691,586,716789,536,0,7250,494743,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.72237e+126,14.0379,376640,2,1697,586,716789,537,0,7255,494743,0
Reachability property qltransition_781 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_781,2.36118e+128,14.0389,376640,2,1708,586,716789,538,0,7258,494743,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,9.44473e+128,14.0399,376640,2,1710,586,716789,539,0,7263,494743,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,9.44473e+128,14.041,376640,2,1710,586,716789,540,0,7266,494743,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.72237e+127,14.0419,376640,2,1703,586,716789,541,0,7271,494743,0
Reachability property qltransition_789 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_789,1.88895e+129,14.0428,376640,2,1711,586,716789,542,0,7274,494743,0
Reachability property qltransition_791 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_791,9.44473e+131,14.0438,376640,2,1728,586,716789,543,0,7279,494743,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,9.44473e+131,14.0448,376640,2,1728,586,716789,544,0,7282,494743,0
Reachability property qltransition_795 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_795,3.77789e+132,14.0457,376640,2,1730,586,716789,545,0,7287,494743,0
Reachability property qltransition_797 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_797,3.77789e+132,14.0467,376640,2,1730,586,716789,546,0,7290,494743,0
Reachability property qltransition_799 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_799,7.55579e+132,14.0476,376640,2,1731,586,716789,547,0,7295,494743,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,7.55579e+132,14.0486,376640,2,1731,586,716789,548,0,7298,494743,0
Reachability property qltransition_803 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_803,3.77789e+135,14.0495,376640,2,1748,586,716789,549,0,7303,494743,0
Reachability property qltransition_805 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_805,3.77789e+135,14.0504,376640,2,1748,586,716789,550,0,7306,494743,0
Reachability property qltransition_807 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_807,1.51116e+136,14.0514,376640,2,1750,586,716789,551,0,7311,494743,0
Reachability property qltransition_809 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_809,1.51116e+136,14.0522,376640,2,1750,586,716789,552,0,7314,494743,0
Reachability property qltransition_811 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_811,7.55579e+134,14.0531,376640,2,1743,586,716789,553,0,7319,494743,0
Reachability property qltransition_813 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_813,3.02231e+136,14.0539,376640,2,1751,586,716789,554,0,7322,494743,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,3.02231e+137,14.0547,376640,2,1757,586,716789,555,0,7327,494743,0
Reachability property qltransition_817 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_817,1.51116e+139,14.0556,376640,2,1768,586,716789,556,0,7330,494743,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,6.04463e+139,14.0565,376640,2,1770,586,716789,557,0,7335,494743,0
Reachability property qltransition_821 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_821,6.04463e+139,14.0573,376640,2,1770,586,716789,558,0,7338,494743,0
Reachability property qltransition_823 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_823,3.02231e+138,14.0581,376640,2,1763,586,716789,559,0,7343,494743,0
Reachability property qltransition_825 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_825,1.20893e+140,14.059,376640,2,1771,586,716789,560,0,7346,494743,0
Reachability property qltransition_827 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_827,1.93428e+142,14.0597,376640,2,1781,586,716789,561,0,7350,494743,0
Reachability property qltransition_829 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_829,3.86856e+142,14.0605,376640,2,1782,586,716789,562,0,7354,494743,0
Reachability property qltransition_831 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_831,1.93428e+142,14.0613,376640,2,1781,586,716789,562,0,7355,494743,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,3.86856e+142,14.062,376640,2,1782,586,716789,562,0,7356,494743,0
RANDOM walk for 2776737 steps (6 resets) in 41728 ms. (66 steps per ms) remains 0/87 properties
Able to resolve query QuasiLiveness after proving 557 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE
Total runtime 38277 ms.

BK_STOP 1749000204151

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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="ShieldPPPt-PT-040B"
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-5832"
echo " Executing tool itstools"
echo " Input is ShieldPPPt-PT-040B, 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 r203-tall-174894541400572"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-040B.tgz
mv ShieldPPPt-PT-040B 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.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;