fond
Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Execution of r234-tall-165286038000202
Last Updated
Jun 22, 2022

About the Execution of 2021-gold for ShieldIIPt-PT-050A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
466.915 78610.00 97422.00 411.00 T normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 6.0K Apr 29 19:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Apr 29 19:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Apr 29 19:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 29 19:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K May 9 08:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 9 08:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 9 08:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 08:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 08:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 08:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 265K May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1653032861243

Running Version 0
[2022-05-20 07:47:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-20 07:47:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-20 07:47:43] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2022-05-20 07:47:43] [INFO ] Transformed 953 places.
[2022-05-20 07:47:43] [INFO ] Transformed 703 transitions.
[2022-05-20 07:47:43] [INFO ] Found NUPN structural information;
[2022-05-20 07:47:43] [INFO ] Parsed PT model containing 953 places and 703 transitions in 151 ms.
Starting structural reductions, iteration 0 : 953/953 places, 703/703 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 953 transition count 702
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 1 place count 953 transition count 701
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 3 place count 952 transition count 701
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 951 transition count 700
Applied a total of 5 rules in 240 ms. Remains 951 /953 variables (removed 2) and now considering 700/703 (removed 3) transitions.
// Phase 1: matrix 700 rows 951 cols
[2022-05-20 07:47:43] [INFO ] Computed 451 place invariants in 15 ms
[2022-05-20 07:47:44] [INFO ] Implicit Places using invariants in 717 ms returned [943, 944]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 751 ms to find 2 implicit places.
// Phase 1: matrix 700 rows 949 cols
[2022-05-20 07:47:44] [INFO ] Computed 449 place invariants in 6 ms
[2022-05-20 07:47:44] [INFO ] Dead Transitions using invariants and state equation in 435 ms returned []
Starting structural reductions, iteration 1 : 949/953 places, 700/703 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 949 transition count 699
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 948 transition count 699
Applied a total of 2 rules in 37 ms. Remains 948 /949 variables (removed 1) and now considering 699/700 (removed 1) transitions.
// Phase 1: matrix 699 rows 948 cols
[2022-05-20 07:47:44] [INFO ] Computed 449 place invariants in 9 ms
[2022-05-20 07:47:45] [INFO ] Implicit Places using invariants in 510 ms returned [937]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 512 ms to find 1 implicit places.
Starting structural reductions, iteration 2 : 947/953 places, 699/703 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 946 transition count 698
Applied a total of 2 rules in 62 ms. Remains 946 /947 variables (removed 1) and now considering 698/699 (removed 1) transitions.
// Phase 1: matrix 698 rows 946 cols
[2022-05-20 07:47:45] [INFO ] Computed 448 place invariants in 9 ms
[2022-05-20 07:47:45] [INFO ] Implicit Places using invariants in 510 ms returned []
// Phase 1: matrix 698 rows 946 cols
[2022-05-20 07:47:45] [INFO ] Computed 448 place invariants in 7 ms
[2022-05-20 07:47:46] [INFO ] Implicit Places using invariants and state equation in 881 ms returned []
Implicit Place search using SMT with State Equation took 1394 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 946/953 places, 698/703 transitions.
Discarding 199 transitions out of 698. Remains 499
[2022-05-20 07:47:46] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 381 ms. (steps per millisecond=26 ) properties (out of 498) seen :147
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=16 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=20 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=25 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=25 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 351) seen :0
Running SMT prover for 351 properties.
// Phase 1: matrix 698 rows 946 cols
[2022-05-20 07:47:47] [INFO ] Computed 448 place invariants in 5 ms
[2022-05-20 07:47:52] [INFO ] [Real]Absence check using 448 positive place invariants in 67 ms returned sat
[2022-05-20 07:47:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-20 07:48:09] [INFO ] [Real]Absence check using state equation in 11761 ms returned unsat :0 sat :336 real:15
Attempting to minimize the solution found.
Minimization took 2302 ms.
[2022-05-20 07:48:12] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :336 real:15
[2022-05-20 07:48:17] [INFO ] [Nat]Absence check using 448 positive place invariants in 68 ms returned sat
[2022-05-20 07:48:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-20 07:48:35] [INFO ] [Nat]Absence check using state equation in 12547 ms returned unsat :0 sat :351
Attempting to minimize the solution found.
Minimization took 1400 ms.
[2022-05-20 07:48:37] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :351
Fused 351 Parikh solutions to 304 different solutions.
Incomplete Parikh walk after 880 steps, including 7 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 894 steps, including 7 resets, run finished after 31 ms. (steps per millisecond=28 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 919 steps, including 7 resets, run finished after 32 ms. (steps per millisecond=28 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 918 steps, including 7 resets, run finished after 31 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 920 steps, including 7 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 922 steps, including 7 resets, run finished after 31 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 835 steps, including 7 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 833 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 832 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 830 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 854 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 856 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 861 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 858 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 857 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 862 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 864 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 867 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 864 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 860 steps, including 8 resets, run finished after 28 ms. (steps per millisecond=30 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 838 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 832 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=28 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 833 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3888 steps, including 949 resets, run finished after 158 ms. (steps per millisecond=24 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3968 steps, including 954 resets, run finished after 164 ms. (steps per millisecond=24 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3805 steps, including 924 resets, run finished after 151 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3804 steps, including 937 resets, run finished after 156 ms. (steps per millisecond=24 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3978 steps, including 953 resets, run finished after 156 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4155 steps, including 951 resets, run finished after 161 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4101 steps, including 958 resets, run finished after 180 ms. (steps per millisecond=22 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3917 steps, including 947 resets, run finished after 157 ms. (steps per millisecond=24 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4106 steps, including 962 resets, run finished after 163 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4147 steps, including 950 resets, run finished after 165 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4339 steps, including 961 resets, run finished after 173 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4338 steps, including 970 resets, run finished after 174 ms. (steps per millisecond=24 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4311 steps, including 959 resets, run finished after 168 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4515 steps, including 962 resets, run finished after 177 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4533 steps, including 975 resets, run finished after 215 ms. (steps per millisecond=21 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4512 steps, including 968 resets, run finished after 177 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4511 steps, including 974 resets, run finished after 179 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4517 steps, including 970 resets, run finished after 175 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4516 steps, including 972 resets, run finished after 174 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4503 steps, including 973 resets, run finished after 174 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4502 steps, including 975 resets, run finished after 173 ms. (steps per millisecond=26 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4493 steps, including 977 resets, run finished after 176 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4487 steps, including 961 resets, run finished after 175 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4490 steps, including 974 resets, run finished after 176 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 4504 steps, including 972 resets, run finished after 174 ms. (steps per millisecond=25 ) properties (out of 351) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6738 steps, including 998 resets, run finished after 248 ms. (steps per millisecond=27 ) properties (out of 351) seen :6 could not realise parikh vector
Incomplete Parikh walk after 6737 steps, including 998 resets, run finished after 248 ms. (steps per millisecond=27 ) properties (out of 345) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1781 steps, including 668 resets, run finished after 80 ms. (steps per millisecond=22 ) properties (out of 345) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1777 steps, including 665 resets, run finished after 82 ms. (steps per millisecond=21 ) properties (out of 345) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1778 steps, including 672 resets, run finished after 80 ms. (steps per millisecond=22 ) properties (out of 345) seen :0 could not realise parikh vector
Incomplete Parikh walk after 658 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=29 ) properties (out of 345) seen :18 could not realise parikh vector
Incomplete Parikh walk after 662 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 661 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 662 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 661 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 660 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 660 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 661 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 663 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 657 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 664 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1028 steps, including 14 resets, run finished after 33 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1027 steps, including 14 resets, run finished after 36 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 819 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 828 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 827 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 830 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 11 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 833 steps, including 11 resets, run finished after 29 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 11 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 822 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 821 steps, including 11 resets, run finished after 28 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 819 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 818 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 11 resets, run finished after 32 ms. (steps per millisecond=25 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 809 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 808 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 811 steps, including 11 resets, run finished after 26 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 788 steps, including 10 resets, run finished after 25 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 786 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 785 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 784 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 796 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 785 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 786 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 785 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 793 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 792 steps, including 10 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 802 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 807 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 807 steps, including 11 resets, run finished after 27 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 806 steps, including 11 resets, run finished after 26 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 805 steps, including 11 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 810 steps, including 11 resets, run finished after 26 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 774 steps, including 10 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 788 steps, including 10 resets, run finished after 26 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 774 steps, including 10 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 773 steps, including 10 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 744 steps, including 10 resets, run finished after 25 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 743 steps, including 10 resets, run finished after 25 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 679 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 681 steps, including 9 resets, run finished after 24 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 681 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 680 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 843 steps, including 11 resets, run finished after 29 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 842 steps, including 11 resets, run finished after 28 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 840 steps, including 11 resets, run finished after 28 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 844 steps, including 11 resets, run finished after 28 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 843 steps, including 11 resets, run finished after 28 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 929 steps, including 11 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 928 steps, including 11 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 923 steps, including 11 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1014 steps, including 11 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 985 steps, including 11 resets, run finished after 32 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 984 steps, including 11 resets, run finished after 34 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 983 steps, including 11 resets, run finished after 31 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 941 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 940 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 901 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 899 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 898 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 898 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 897 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 898 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 897 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 898 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 897 steps, including 10 resets, run finished after 33 ms. (steps per millisecond=27 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 896 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 903 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 902 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 905 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 907 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 894 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 893 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 895 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 894 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 906 steps, including 10 resets, run finished after 36 ms. (steps per millisecond=25 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 905 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 906 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 905 steps, including 10 resets, run finished after 31 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 909 steps, including 10 resets, run finished after 32 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 908 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 911 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 911 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 915 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 915 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 914 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 913 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 914 steps, including 10 resets, run finished after 40 ms. (steps per millisecond=22 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 913 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 911 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 910 steps, including 10 resets, run finished after 32 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 909 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 911 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 910 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 911 steps, including 10 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 902 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 901 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 897 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 896 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 898 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 897 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 892 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 893 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 866 steps, including 9 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 865 steps, including 9 resets, run finished after 28 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 881 steps, including 10 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 880 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 882 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 880 steps, including 10 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 686 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 691 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 690 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 689 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 688 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 684 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 683 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 682 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 682 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 681 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=27 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 679 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 688 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 681 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 682 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 681 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 687 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 686 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 687 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 686 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 685 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 684 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 683 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 671 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 670 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 657 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 655 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 653 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=27 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 652 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 651 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 664 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 663 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 670 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 675 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 675 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 674 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 670 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 669 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 673 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 674 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 675 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 674 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 673 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 677 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 676 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 679 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=27 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 658 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 656 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 670 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 669 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 671 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 670 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 662 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 660 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 662 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 661 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 660 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 686 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 685 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 695 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 705 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 700 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 697 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=27 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 682 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 681 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 677 steps, including 5 resets, run finished after 22 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 757 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 760 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 759 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 758 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 772 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 771 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 759 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 742 steps, including 8 resets, run finished after 24 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 741 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 732 steps, including 8 resets, run finished after 24 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 738 steps, including 8 resets, run finished after 24 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 812 steps, including 9 resets, run finished after 29 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 884 steps, including 9 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 902 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 892 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 902 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 901 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 886 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 885 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 883 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 884 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 883 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 882 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 884 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 882 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 885 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 884 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 887 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 886 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 907 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 900 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 899 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 910 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 909 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 913 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 912 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 903 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 901 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=28 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 899 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=32 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 898 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=29 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 897 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 892 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 891 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 882 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 884 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 894 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 889 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 880 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 879 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 880 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 883 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=25 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 882 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=25 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 881 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 880 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 873 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 872 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=30 ) properties (out of 327) seen :0 could not realise parikh vector
Incomplete Parikh walk after 873 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=31 ) properties (out of 327) seen :0 could not realise parikh vector
Support contains 629 out of 946 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 946/946 places, 698/698 transitions.
Partial Free-agglomeration rule applied 34 times.
Drop transitions removed 34 transitions
Iterating global reduction 0 with 34 rules applied. Total rules applied 34 place count 946 transition count 698
Applied a total of 34 rules in 268 ms. Remains 946 /946 variables (removed 0) and now considering 698/698 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 946/946 places, 698/698 transitions.
[2022-05-20 07:48:49] [INFO ] Flatten gal took : 168 ms
[2022-05-20 07:48:49] [INFO ] Flatten gal took : 69 ms
[2022-05-20 07:48:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality457489332824202149.gal : 26 ms
[2022-05-20 07:48:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2310700901572868308.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality457489332824202149.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2310700901572868308.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality457489332824202149.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2310700901572868308.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality2310700901572868308.prop.
SDD proceeding with computation,327 properties remain. new max is 4
SDD size :3 after 6
SDD proceeding with computation,327 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,327 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,327 properties remain. new max is 32
SDD size :27 after 53
Reachability property qltransition_581 is true.
Reachability property qltransition_580 is true.
Reachability property qltransition_574 is true.
Reachability property qltransition_573 is true.
Reachability property qltransition_567 is true.
Reachability property qltransition_566 is true.
Reachability property qltransition_560 is true.
Reachability property qltransition_559 is true.
Reachability property qltransition_553 is true.
Reachability property qltransition_552 is true.
Reachability property qltransition_546 is true.
Reachability property qltransition_545 is true.
Reachability property qltransition_539 is true.
Reachability property qltransition_538 is true.
Reachability property qltransition_532 is true.
Reachability property qltransition_531 is true.
Reachability property qltransition_525 is true.
Reachability property qltransition_524 is true.
Reachability property qltransition_518 is true.
Reachability property qltransition_517 is true.
Reachability property qltransition_511 is true.
Reachability property qltransition_510 is true.
Reachability property qltransition_504 is true.
Reachability property qltransition_503 is true.
Reachability property qltransition_497 is true.
Reachability property qltransition_496 is true.
Reachability property qltransition_490 is true.
Reachability property qltransition_489 is true.
Reachability property qltransition_483 is true.
Reachability property qltransition_327 is true.
Reachability property qltransition_325 is true.
Reachability property qltransition_323 is true.
Reachability property qltransition_321 is true.
Reachability property qltransition_319 is true.
Reachability property qltransition_317 is true.
Reachability property qltransition_315 is true.
Reachability property qltransition_282 is true.
Reachability property qltransition_280 is true.
Reachability property qltransition_278 is true.
Reachability property qltransition_276 is true.
Reachability property qltransition_274 is true.
Reachability property qltransition_272 is true.
Reachability property qltransition_270 is true.
Reachability property qltransition_268 is true.
SDD proceeding with computation,283 properties remain. new max is 32
SDD size :53 after 102
Reachability property qltransition_693 is true.
Reachability property qltransition_692 is true.
Reachability property qltransition_686 is true.
Reachability property qltransition_685 is true.
Reachability property qltransition_679 is true.
Reachability property qltransition_678 is true.
Reachability property qltransition_672 is true.
Reachability property qltransition_671 is true.
Reachability property qltransition_665 is true.
Reachability property qltransition_664 is true.
Reachability property qltransition_658 is true.
Reachability property qltransition_657 is true.
Reachability property qltransition_651 is true.
Reachability property qltransition_650 is true.
Reachability property qltransition_644 is true.
Reachability property qltransition_643 is true.
Reachability property qltransition_637 is true.
Reachability property qltransition_636 is true.
Reachability property qltransition_630 is true.
Reachability property qltransition_629 is true.
Reachability property qltransition_623 is true.
Reachability property qltransition_622 is true.
Reachability property qltransition_616 is true.
Reachability property qltransition_615 is true.
Reachability property qltransition_609 is true.
Reachability property qltransition_608 is true.
Reachability property qltransition_602 is true.
Reachability property qltransition_601 is true.
Reachability property qltransition_595 is true.
Reachability property qltransition_594 is true.
Reachability property qltransition_588 is true.
Reachability property qltransition_587 is true.
Reachability property qltransition_313 is true.
Reachability property qltransition_311 is true.
Reachability property qltransition_309 is true.
Reachability property qltransition_307 is true.
Reachability property qltransition_305 is true.
Reachability property qltransition_303 is true.
Reachability property qltransition_301 is true.
Reachability property qltransition_299 is true.
Reachability property qltransition_298 is true.
Reachability property qltransition_297 is true.
Reachability property qltransition_296 is true.
Reachability property qltransition_294 is true.
Reachability property qltransition_292 is true.
Reachability property qltransition_290 is true.
Reachability property qltransition_288 is true.
Reachability property qltransition_286 is true.
Reachability property qltransition_284 is true.
SDD proceeding with computation,234 properties remain. new max is 32
SDD size :102 after 152
Reachability property qltransition_694 is true.
Reachability property qltransition_691 is true.
Reachability property qltransition_690 is true.
Reachability property qltransition_689 is true.
Reachability property qltransition_688 is true.
Reachability property qltransition_300 is true.
Reachability property qltransition_0 is true.
SDD proceeding with computation,227 properties remain. new max is 32
SDD size :152 after 235
SDD proceeding with computation,227 properties remain. new max is 64
SDD size :235 after 445
Reachability property qltransition_687 is true.
Reachability property qltransition_684 is true.
Reachability property qltransition_683 is true.
Reachability property qltransition_682 is true.
Reachability property qltransition_681 is true.
Reachability property qltransition_295 is true.
Reachability property qltransition_1 is true.
SDD proceeding with computation,220 properties remain. new max is 64
SDD size :445 after 10382
SDD proceeding with computation,220 properties remain. new max is 128
SDD size :10382 after 51371
SDD proceeding with computation,220 properties remain. new max is 256
SDD size :51371 after 215923
Reachability property qltransition_680 is true.
Reachability property qltransition_677 is true.
Reachability property qltransition_676 is true.
Reachability property qltransition_675 is true.
Reachability property qltransition_674 is true.
Reachability property qltransition_302 is true.
Reachability property qltransition_2 is true.
SDD proceeding with computation,213 properties remain. new max is 256
SDD size :215923 after 1.06667e+08
Reachability property qltransition_673 is true.
Reachability property qltransition_670 is true.
Reachability property qltransition_669 is true.
Reachability property qltransition_668 is true.
Reachability property qltransition_667 is true.
Reachability property qltransition_293 is true.
Reachability property qltransition_3 is true.
SDD proceeding with computation,206 properties remain. new max is 256
SDD size :1.06667e+08 after 6.80329e+10
Reachability property qltransition_666 is true.
Reachability property qltransition_663 is true.
Reachability property qltransition_662 is true.
Reachability property qltransition_661 is true.
Reachability property qltransition_660 is true.
Reachability property qltransition_304 is true.
Reachability property qltransition_4 is true.
SDD proceeding with computation,199 properties remain. new max is 256
SDD size :6.80329e+10 after 4.3562e+13
Reachability property qltransition_659 is true.
Reachability property qltransition_656 is true.
Reachability property qltransition_655 is true.
Reachability property qltransition_654 is true.
Reachability property qltransition_653 is true.
Reachability property qltransition_291 is true.
Reachability property qltransition_5 is true.
SDD proceeding with computation,192 properties remain. new max is 256
SDD size :4.3562e+13 after 2.78663e+16
Reachability property qltransition_652 is true.
Reachability property qltransition_649 is true.
Reachability property qltransition_648 is true.
Reachability property qltransition_647 is true.
Reachability property qltransition_646 is true.
Reachability property qltransition_306 is true.
Reachability property qltransition_6 is true.
SDD proceeding with computation,185 properties remain. new max is 256
SDD size :2.78663e+16 after 1.7843e+19
Reachability property qltransition_645 is true.
Reachability property qltransition_642 is true.
Reachability property qltransition_641 is true.
Reachability property qltransition_640 is true.
Reachability property qltransition_639 is true.
Reachability property qltransition_289 is true.
Reachability property qltransition_7 is true.
SDD proceeding with computation,178 properties remain. new max is 256
SDD size :1.7843e+19 after 1.1414e+22
Reachability property qltransition_638 is true.
Reachability property qltransition_635 is true.
Reachability property qltransition_634 is true.
Reachability property qltransition_633 is true.
Reachability property qltransition_632 is true.
Reachability property qltransition_308 is true.
Reachability property qltransition_8 is true.
SDD proceeding with computation,171 properties remain. new max is 256
SDD size :1.1414e+22 after 7.3085e+24
Reachability property qltransition_631 is true.
Reachability property qltransition_628 is true.
Reachability property qltransition_627 is true.
Reachability property qltransition_626 is true.
Reachability property qltransition_625 is true.
Reachability property qltransition_287 is true.
Reachability property qltransition_9 is true.
SDD proceeding with computation,164 properties remain. new max is 256
SDD size :7.3085e+24 after 4.67519e+27
Reachability property qltransition_624 is true.
Reachability property qltransition_621 is true.
Reachability property qltransition_620 is true.
Reachability property qltransition_619 is true.
Reachability property qltransition_618 is true.
Reachability property qltransition_310 is true.
Reachability property qltransition_10 is true.
SDD proceeding with computation,157 properties remain. new max is 256
SDD size :4.67519e+27 after 2.99356e+30
Reachability property qltransition_617 is true.
Reachability property qltransition_614 is true.
Reachability property qltransition_613 is true.
Reachability property qltransition_612 is true.
Reachability property qltransition_611 is true.
Reachability property qltransition_285 is true.
Reachability property qltransition_11 is true.
SDD proceeding with computation,150 properties remain. new max is 256
SDD size :2.99356e+30 after 1.91496e+33
Reachability property qltransition_610 is true.
Reachability property qltransition_607 is true.
Reachability property qltransition_606 is true.
Reachability property qltransition_605 is true.
Reachability property qltransition_604 is true.
Reachability property qltransition_312 is true.
Reachability property qltransition_12 is true.
SDD proceeding with computation,143 properties remain. new max is 256
SDD size :1.91496e+33 after 1.22616e+36
Reachability property qltransition_603 is true.
Reachability property qltransition_600 is true.
Reachability property qltransition_599 is true.
Reachability property qltransition_598 is true.
Reachability property qltransition_597 is true.
Reachability property qltransition_283 is true.
Reachability property qltransition_13 is true.
SDD proceeding with computation,136 properties remain. new max is 256
SDD size :1.22616e+36 after 7.84366e+38
Reachability property qltransition_596 is true.
Reachability property qltransition_593 is true.
Reachability property qltransition_592 is true.
Reachability property qltransition_591 is true.
Reachability property qltransition_590 is true.
Reachability property qltransition_314 is true.
Reachability property qltransition_14 is true.
SDD proceeding with computation,129 properties remain. new max is 256
SDD size :7.84366e+38 after 5.02236e+41
Reachability property qltransition_589 is true.
Reachability property qltransition_586 is true.
Reachability property qltransition_585 is true.
Reachability property qltransition_584 is true.
Reachability property qltransition_583 is true.
Reachability property qltransition_281 is true.
Reachability property qltransition_15 is true.
SDD proceeding with computation,122 properties remain. new max is 256
SDD size :5.02236e+41 after 3.21276e+44
Reachability property qltransition_582 is true.
Reachability property qltransition_579 is true.
Reachability property qltransition_578 is true.
Reachability property qltransition_577 is true.
Reachability property qltransition_576 is true.
Reachability property qltransition_316 is true.
Reachability property qltransition_16 is true.
SDD proceeding with computation,115 properties remain. new max is 256
SDD size :3.21276e+44 after 2.05716e+47
Reachability property qltransition_575 is true.
Reachability property qltransition_572 is true.
Reachability property qltransition_571 is true.
Reachability property qltransition_570 is true.
Reachability property qltransition_569 is true.
Reachability property qltransition_279 is true.
Reachability property qltransition_17 is true.
SDD proceeding with computation,108 properties remain. new max is 256
SDD size :2.05716e+47 after 1.31595e+50
Reachability property qltransition_568 is true.
Reachability property qltransition_565 is true.
Reachability property qltransition_564 is true.
Reachability property qltransition_563 is true.
Reachability property qltransition_562 is true.
Reachability property qltransition_318 is true.
Reachability property qltransition_18 is true.
SDD proceeding with computation,101 properties remain. new max is 256
SDD size :1.31595e+50 after 8.42612e+52
Reachability property qltransition_561 is true.
Reachability property qltransition_558 is true.
Reachability property qltransition_557 is true.
Reachability property qltransition_556 is true.
Reachability property qltransition_555 is true.
Reachability property qltransition_277 is true.
Reachability property qltransition_19 is true.
SDD proceeding with computation,94 properties remain. new max is 256
SDD size :8.42612e+52 after 5.39012e+55
Reachability property qltransition_554 is true.
Reachability property qltransition_551 is true.
Reachability property qltransition_550 is true.
Reachability property qltransition_549 is true.
Reachability property qltransition_548 is true.
Reachability property qltransition_320 is true.
Reachability property qltransition_20 is true.
SDD proceeding with computation,87 properties remain. new max is 256
SDD size :5.39012e+55 after 3.45134e+58
Reachability property qltransition_547 is true.
Reachability property qltransition_544 is true.
Reachability property qltransition_543 is true.
Reachability property qltransition_542 is true.
Reachability property qltransition_541 is true.
Reachability property qltransition_275 is true.
Reachability property qltransition_21 is true.
SDD proceeding with computation,80 properties remain. new max is 256
SDD size :3.45134e+58 after 2.20779e+61
Reachability property qltransition_540 is true.
Reachability property qltransition_537 is true.
Reachability property qltransition_536 is true.
Reachability property qltransition_535 is true.
Reachability property qltransition_534 is true.
Reachability property qltransition_322 is true.
Reachability property qltransition_22 is true.
SDD proceeding with computation,73 properties remain. new max is 256
SDD size :2.20779e+61 after 1.41367e+64
Reachability property qltransition_533 is true.
Reachability property qltransition_530 is true.
Reachability property qltransition_529 is true.
Reachability property qltransition_528 is true.
Reachability property qltransition_527 is true.
Reachability property qltransition_273 is true.
Reachability property qltransition_23 is true.
SDD proceeding with computation,66 properties remain. new max is 256
SDD size :1.41367e+64 after 9.04313e+66
Reachability property qltransition_526 is true.
Reachability property qltransition_523 is true.
Reachability property qltransition_522 is true.
Reachability property qltransition_521 is true.
Reachability property qltransition_520 is true.
Reachability property qltransition_324 is true.
Reachability property qltransition_24 is true.
SDD proceeding with computation,59 properties remain. new max is 256
SDD size :9.04313e+66 after 5.79039e+69
Reachability property qltransition_519 is true.
Reachability property qltransition_516 is true.
Reachability property qltransition_515 is true.
Reachability property qltransition_514 is true.
Reachability property qltransition_513 is true.
Reachability property qltransition_271 is true.
Reachability property qltransition_25 is true.
SDD proceeding with computation,52 properties remain. new max is 256
SDD size :5.79039e+69 after 3.70406e+72
Reachability property qltransition_512 is true.
Reachability property qltransition_509 is true.
Reachability property qltransition_508 is true.
Reachability property qltransition_507 is true.
Reachability property qltransition_506 is true.
Reachability property qltransition_326 is true.
Reachability property qltransition_26 is true.
SDD proceeding with computation,45 properties remain. new max is 256
SDD size :3.70406e+72 after 2.37174e+75
Reachability property qltransition_505 is true.
Reachability property qltransition_502 is true.
Reachability property qltransition_501 is true.
Reachability property qltransition_500 is true.
Reachability property qltransition_499 is true.
Reachability property qltransition_269 is true.
Reachability property qltransition_27 is true.
SDD proceeding with computation,38 properties remain. new max is 256
SDD size :2.37174e+75 after 1.51718e+78
Reachability property qltransition_498 is true.
Reachability property qltransition_495 is true.
Reachability property qltransition_494 is true.
Reachability property qltransition_493 is true.
Reachability property qltransition_492 is true.
Reachability property qltransition_328 is true.
Reachability property qltransition_28 is true.
SDD proceeding with computation,31 properties remain. new max is 256
SDD size :1.51718e+78 after 9.71466e+80
Reachability property qltransition_491 is true.
Reachability property qltransition_488 is true.
Reachability property qltransition_487 is true.
Reachability property qltransition_486 is true.
Reachability property qltransition_485 is true.
Reachability property qltransition_267 is true.
Reachability property qltransition_29 is true.
SDD proceeding with computation,24 properties remain. new max is 256
SDD size :9.71466e+80 after 6.21439e+83
Reachability property qltransition_484 is true.
Reachability property qltransition_481 is true.
Reachability property qltransition_480 is true.
Reachability property qltransition_479 is true.
Reachability property qltransition_478 is true.
Reachability property qltransition_330 is true.
Reachability property qltransition_30 is true.
SDD proceeding with computation,17 properties remain. new max is 256
SDD size :6.21439e+83 after 3.97912e+86
Reachability property qltransition_477 is true.
Reachability property qltransition_474 is true.
Reachability property qltransition_473 is true.
Reachability property qltransition_472 is true.
Reachability property qltransition_471 is true.
Reachability property qltransition_265 is true.
Reachability property qltransition_31 is true.
SDD proceeding with computation,10 properties remain. new max is 256
SDD size :3.97912e+86 after 2.54541e+89
Reachability property qltransition_470 is true.
SDD proceeding with computation,9 properties remain. new max is 256
SDD size :2.54541e+89 after 1.34926e+92
Reachability property qltransition_463 is true.
SDD proceeding with computation,8 properties remain. new max is 256
SDD size :1.34926e+92 after 2.58315e+94
SDD proceeding with computation,8 properties remain. new max is 512
SDD size :2.58315e+94 after 2.16495e+95
SDD proceeding with computation,8 properties remain. new max is 1024
SDD size :2.16495e+95 after 1.37934e+98
Reachability property qltransition_442 is true.
SDD proceeding with computation,7 properties remain. new max is 1024
SDD size :1.37934e+98 after 2.84256e+102
SDD proceeding with computation,7 properties remain. new max is 2048
SDD size :2.84256e+102 after 1.00013e+106
Reachability property qltransition_428 is true.
Reachability property qltransition_423 is true.
Reachability property qltransition_422 is true.
Reachability property qltransition_338 is true.
Reachability property qltransition_38 is true.
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :1.00013e+106 after 2.7607e+109
Reachability property qltransition_421 is true.
Reachability property qltransition_414 is true.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 2049 fixpoint passes
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,3.81553e+120,7.87551,177204,2,5365,350,485844,6,0,4484,464567,0
Total reachable state count : 3.815534110168214903036101500004380686219e+120

Verifying 327 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,7.87979,177204,2,949,350,485844,7,0,4490,464567,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,2560,7.88175,177204,2,961,350,485844,8,0,4495,464567,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,1.6384e+06,7.88359,177204,2,973,350,485844,9,0,4500,464567,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,1.04858e+09,7.88537,177204,2,985,350,485844,10,0,4505,464567,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,6.71089e+11,7.88708,177204,2,997,350,485844,11,0,4510,464567,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,4.29497e+14,7.88881,177204,2,1009,350,485844,12,0,4515,464567,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,2.74878e+17,7.89045,177204,2,1021,350,485844,13,0,4520,464567,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,1.75922e+20,7.89207,177204,2,1033,350,485844,14,0,4525,464567,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.1259e+23,7.89366,177204,2,1045,350,485844,15,0,4530,464567,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,7.20576e+25,7.89523,177204,2,1057,350,485844,16,0,4535,464567,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,4.61169e+28,7.89677,177204,2,1069,350,485844,17,0,4540,464567,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,2.95148e+31,7.89831,177204,2,1081,350,485844,18,0,4545,464567,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.88895e+34,7.89986,177204,2,1093,350,485844,19,0,4550,464567,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,1.20893e+37,7.90139,177204,2,1105,350,485844,20,0,4555,464567,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,7.73713e+39,7.90289,177204,2,1117,350,485844,21,0,4560,464567,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.95176e+42,7.90437,177204,2,1129,350,485844,22,0,4565,464567,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,3.16913e+45,7.90581,177204,2,1141,350,485844,23,0,4570,464567,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,2.02824e+48,7.90724,177204,2,1153,350,485844,24,0,4575,464567,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.29807e+51,7.90865,177204,2,1165,350,485844,25,0,4580,464567,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.30767e+53,7.91007,177204,2,1177,350,485844,26,0,4585,464567,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,5.31691e+56,7.91146,177204,2,1189,350,485844,27,0,4590,464567,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,3.40282e+59,7.91283,177204,2,1201,350,485844,28,0,4595,464567,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,2.17781e+62,7.91418,177204,2,1213,350,485844,29,0,4600,464567,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.3938e+65,7.91551,177204,2,1225,350,485844,30,0,4605,464567,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,8.9203e+67,7.9168,177204,2,1237,350,485844,31,0,4610,464567,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,5.70899e+70,7.91808,177204,2,1249,350,485844,32,0,4615,464567,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,3.65375e+73,7.91935,177204,2,1261,350,485844,33,0,4620,464567,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,2.3384e+76,7.92058,177204,2,1273,350,485844,34,0,4625,464567,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,1.49658e+79,7.92179,177204,2,1285,350,485844,35,0,4630,464567,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,9.5781e+81,7.923,177204,2,1297,350,485844,36,0,4635,464567,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,6.12998e+84,7.92418,177204,2,1309,350,485844,37,0,4640,464567,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,3.92319e+87,7.92534,177204,2,1321,350,485844,38,0,4645,464567,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.72544e+107,7.92636,177204,2,1405,350,485844,39,0,4650,464567,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.84638e+88,7.92751,177204,2,1328,350,485844,40,0,4655,464567,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.91562e+83,7.92873,177204,2,1304,350,485844,41,0,4660,464567,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,9.5781e+82,7.92996,177204,2,1303,350,485844,42,0,4665,464567,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,4.67681e+77,7.93122,177204,2,1280,350,485844,43,0,4670,464567,0
Reachability property qltransition_270 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_270,2.3384e+77,7.93252,177204,2,1279,350,485844,44,0,4675,464567,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,1.1418e+72,7.93384,177204,2,1256,350,485844,45,0,4680,464567,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,5.70899e+71,7.93516,177204,2,1255,350,485844,46,0,4685,464567,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,2.78759e+66,7.93655,177204,2,1232,350,485844,47,0,4690,464567,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.3938e+66,7.93795,177204,2,1231,350,485844,48,0,4695,464567,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,6.80565e+60,7.93942,177204,2,1208,350,485844,49,0,4700,464567,0
Reachability property qltransition_276 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_276,3.40282e+60,7.94086,177204,2,1207,350,485844,50,0,4705,464567,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.66153e+55,7.94237,177204,2,1184,350,485844,51,0,4710,464567,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,8.30767e+54,7.94391,177204,2,1183,350,485844,52,0,4715,464567,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,4.05648e+49,7.94552,177204,2,1160,350,485844,53,0,4720,464567,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,2.02824e+49,7.94711,177204,2,1159,350,485844,54,0,4725,464567,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,9.90352e+43,7.94877,177204,2,1136,350,485844,55,0,4730,464567,0
Reachability property qltransition_282 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_282,4.95176e+43,7.95041,177204,2,1135,350,485844,56,0,4735,464567,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,2.41785e+38,7.9521,177204,2,1112,350,485844,57,0,4740,464567,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,1.20893e+38,7.95378,177204,2,1111,350,485844,58,0,4745,464567,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,5.90296e+32,7.95555,177204,2,1088,350,485844,59,0,4750,464567,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.95148e+32,7.9573,177204,2,1087,350,485844,60,0,4755,464567,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,1.44115e+27,7.95912,177204,2,1064,350,485844,61,0,4760,464567,0
Reachability property qltransition_288 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_288,7.20576e+26,7.96089,177204,2,1063,350,485844,62,0,4765,464567,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,3.51844e+21,7.96278,177204,2,1040,350,485844,63,0,4770,464567,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.75922e+21,7.96468,177204,2,1039,350,485844,64,0,4775,464567,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,8.58993e+15,7.96666,177204,2,1016,350,485844,65,0,4780,464567,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,4.29497e+15,7.96867,177204,2,1015,350,485844,66,0,4785,464567,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,2.09715e+10,7.97074,177204,2,992,350,485844,67,0,4790,464567,0
Reachability property qltransition_294 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_294,1.04858e+10,7.9728,177204,2,991,350,485844,68,0,4795,464567,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,51200,7.97488,177204,2,968,350,485844,69,0,4800,464567,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,25600,7.977,177204,2,967,350,485844,70,0,4805,464567,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,7.97921,177204,2,947,350,485844,71,0,4810,464567,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,1,7.98141,177204,2,947,350,485844,72,0,4815,464567,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,40,7.98365,177204,2,955,350,485844,73,0,4820,464567,0
Reachability property qltransition_300 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_300,80,7.98589,177204,2,956,350,485844,74,0,4825,464567,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,1.6384e+07,7.98806,177204,2,979,350,485844,75,0,4830,464567,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,3.2768e+07,7.99023,177204,2,980,350,485844,76,0,4835,464567,0
Reachability property qltransition_303 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_303,6.71089e+12,7.99236,177204,2,1003,350,485844,77,0,4840,464567,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.34218e+13,8.00024,177204,2,1004,350,485844,78,0,4845,464567,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.74878e+18,8.00242,177204,2,1027,350,485844,79,0,4850,464567,0
Reachability property qltransition_306 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_306,5.49756e+18,8.00445,177204,2,1028,350,485844,80,0,4855,464567,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.1259e+24,8.00637,177204,2,1051,350,485844,81,0,4860,464567,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,2.2518e+24,8.00829,177204,2,1052,350,485844,82,0,4865,464567,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,4.61169e+29,8.01016,177204,2,1075,350,485844,83,0,4870,464567,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,9.22337e+29,8.01202,177204,2,1076,350,485844,84,0,4875,464567,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,1.88895e+35,8.01384,177204,2,1099,350,485844,85,0,4880,464567,0
Reachability property qltransition_312 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_312,3.77789e+35,8.01562,177204,2,1100,350,485844,86,0,4885,464567,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,7.73713e+40,8.01735,177204,2,1123,350,485844,87,0,4890,464567,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,1.54743e+41,8.01907,177204,2,1124,350,485844,88,0,4895,464567,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,3.16913e+46,8.02074,177204,2,1147,350,485844,89,0,4900,464567,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,6.33825e+46,8.02243,177204,2,1148,350,485844,90,0,4905,464567,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.29807e+52,8.02405,177204,2,1171,350,485844,91,0,4910,464567,0
Reachability property qltransition_318 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_318,2.59615e+52,8.02569,177204,2,1172,350,485844,92,0,4915,464567,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,5.31691e+57,8.02728,177204,2,1195,350,485844,93,0,4920,464567,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.06338e+58,8.02886,177204,2,1196,350,485844,94,0,4925,464567,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,2.17781e+63,8.03038,177204,2,1219,350,485844,95,0,4930,464567,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,4.35561e+63,8.0319,177204,2,1220,350,485844,96,0,4935,464567,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,8.9203e+68,8.03336,177204,2,1243,350,485844,97,0,4940,464567,0
Reachability property qltransition_324 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_324,1.78406e+69,8.03489,177204,2,1244,350,485844,98,0,4945,464567,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,3.65375e+74,8.03629,177204,2,1267,350,485844,99,0,4950,464567,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,7.30751e+74,8.03776,177204,2,1268,350,485844,100,0,4955,464567,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.49658e+80,8.03915,177204,2,1291,350,485844,101,0,4960,464567,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,2.99316e+80,8.04049,177204,2,1292,350,485844,102,0,4965,464567,0
Reachability property qltransition_330 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_330,1.226e+86,8.04189,177204,2,1316,350,485844,103,0,4970,464567,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,3.45087e+108,8.04303,177204,2,1412,350,485844,104,0,4975,464567,0
Reachability property qltransition_414 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_414,2.50892e+114,8.04464,177204,2,2457,350,485844,105,0,4983,464567,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,1.87728e+111,8.04618,177204,2,2307,350,485844,106,0,4991,464567,0
Reachability property qltransition_422 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_422,5.5214e+108,8.04734,177204,2,1410,350,485844,107,0,4996,464567,0
Reachability property qltransition_423 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_423,1.38035e+108,8.04859,177204,2,1408,350,485844,108,0,5001,464567,0
Reachability property qltransition_428 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_428,6.90175e+108,8.04983,177204,2,1413,350,485844,109,0,5007,464567,0
Reachability property qltransition_442 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_442,1.685e+103,8.05113,177204,2,1389,350,485844,110,0,5015,464567,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,6.42775e+94,8.0526,177204,2,1353,350,485844,111,0,5023,464567,0
Reachability property qltransition_470 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_470,1.25542e+91,8.05399,177204,2,1338,350,485844,112,0,5030,464567,0
Reachability property qltransition_471 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_471,1.25542e+89,8.0554,177204,2,1326,350,485844,113,0,5035,464567,0
Reachability property qltransition_472 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_472,3.92319e+87,8.05679,177204,2,1321,350,485844,114,0,5040,464567,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,7.84638e+88,8.05824,177204,2,1328,350,485844,115,0,5045,464567,0
Reachability property qltransition_474 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_474,3.92319e+87,8.05959,177204,2,1321,350,485844,116,0,5050,464567,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,1.56928e+89,8.0611,177204,2,1329,350,485844,117,0,5056,464567,0
Reachability property qltransition_478 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_478,1.226e+85,8.06243,177204,2,1310,350,485844,118,0,5061,464567,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.90399e+85,8.06388,177204,2,1312,350,485844,119,0,5066,464567,0
Reachability property qltransition_480 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_480,1.226e+86,8.06535,177204,2,1316,350,485844,120,0,5071,464567,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,6.12998e+84,8.06674,177204,2,1309,350,485844,121,0,5076,464567,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,3.06499e+84,8.06814,177204,2,1308,350,485844,122,0,5081,464567,0
Reachability property qltransition_484 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_484,2.45199e+86,8.0696,177204,2,1317,350,485844,123,0,5087,464567,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,1.91562e+82,8.07103,177204,2,1298,350,485844,124,0,5092,464567,0
Reachability property qltransition_486 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_486,9.5781e+81,8.07243,177204,2,1297,350,485844,125,0,5097,464567,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,4.78905e+81,8.07384,177204,2,1296,350,485844,126,0,5102,464567,0
Reachability property qltransition_488 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_488,9.5781e+81,8.0753,177204,2,1297,350,485844,127,0,5107,464567,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,3.83124e+83,8.07676,177204,2,1305,350,485844,128,0,5113,464567,0
Reachability property qltransition_490 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_490,4.78905e+81,8.07819,177204,2,1296,350,485844,129,0,5118,464567,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,3.83124e+83,8.07975,177204,2,1305,350,485844,130,0,5122,464567,0
Reachability property qltransition_492 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_492,2.99316e+79,8.08119,177204,2,1286,350,485844,131,0,5127,464567,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,1.19726e+80,8.08273,177204,2,1288,350,485844,132,0,5132,464567,0
Reachability property qltransition_494 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_494,7.48289e+78,8.08416,177204,2,1284,350,485844,133,0,5137,464567,0
Reachability property qltransition_495 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_495,1.49658e+79,8.08566,177204,2,1285,350,485844,134,0,5142,464567,0
Reachability property qltransition_496 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_496,5.98631e+80,8.08722,177204,2,1293,350,485844,135,0,5148,464567,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,7.48289e+78,8.08869,177204,2,1284,350,485844,136,0,5153,464567,0
Reachability property qltransition_498 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_498,5.98631e+80,8.09031,177204,2,1293,350,485844,137,0,5157,464567,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,7.48289e+77,8.09179,177204,2,1278,350,485844,138,0,5162,464567,0
Reachability property qltransition_500 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_500,1.87072e+77,8.09334,177204,2,1276,350,485844,139,0,5167,464567,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,1.1692e+76,8.09481,177204,2,1272,350,485844,140,0,5172,464567,0
Reachability property qltransition_502 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_502,2.3384e+76,8.09629,177204,2,1273,350,485844,141,0,5177,464567,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,9.35361e+77,8.09791,177204,2,1281,350,485844,142,0,5183,464567,0
Reachability property qltransition_504 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_504,1.1692e+76,8.09933,177204,2,1272,350,485844,143,0,5188,464567,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,9.35361e+77,8.10098,177204,2,1281,350,485844,144,0,5192,464567,0
Reachability property qltransition_506 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_506,7.30751e+73,8.10246,177204,2,1262,350,485844,145,0,5197,464567,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,2.923e+74,8.10398,177204,2,1264,350,485844,146,0,5202,464567,0
Reachability property qltransition_508 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_508,7.30751e+74,8.1056,177204,2,1268,350,485844,147,0,5207,464567,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,3.65375e+73,8.10708,177204,2,1261,350,485844,148,0,5212,464567,0
Reachability property qltransition_510 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_510,1.4615e+75,8.10868,177204,2,1269,350,485844,149,0,5218,464567,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,1.82688e+73,8.1102,177204,2,1260,350,485844,150,0,5223,464567,0
Reachability property qltransition_512 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_512,1.4615e+75,8.11181,177204,2,1269,350,485844,151,0,5227,464567,0
Reachability property qltransition_513 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_513,1.82688e+72,8.11345,177204,2,1254,350,485844,152,0,5232,464567,0
Reachability property qltransition_514 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_514,4.56719e+71,8.11511,177204,2,1252,350,485844,153,0,5237,464567,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.8545e+70,8.11673,177204,2,1248,350,485844,154,0,5242,464567,0
Reachability property qltransition_516 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_516,5.70899e+70,8.11828,177204,2,1249,350,485844,155,0,5247,464567,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,2.2836e+72,8.12001,177204,2,1257,350,485844,156,0,5253,464567,0
Reachability property qltransition_518 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_518,2.8545e+70,8.12156,177204,2,1248,350,485844,157,0,5258,464567,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,2.2836e+72,8.12329,177204,2,1257,350,485844,158,0,5262,464567,0
Reachability property qltransition_520 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_520,2.8545e+69,8.12496,177204,2,1242,350,485844,159,0,5267,464567,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,7.13624e+68,8.12656,177204,2,1240,350,485844,160,0,5272,464567,0
Reachability property qltransition_522 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_522,1.78406e+69,8.12828,177204,2,1244,350,485844,161,0,5277,464567,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,8.9203e+67,8.12992,177204,2,1237,350,485844,162,0,5282,464567,0
Reachability property qltransition_524 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_524,3.56812e+69,8.13165,177204,2,1245,350,485844,163,0,5288,464567,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,4.46015e+67,8.13327,177204,2,1236,350,485844,164,0,5293,464567,0
Reachability property qltransition_526 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_526,3.56812e+69,8.13505,177204,2,1245,350,485844,165,0,5297,464567,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,2.78759e+65,8.13673,177204,2,1226,350,485844,166,0,5302,464567,0
Reachability property qltransition_528 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_528,1.11504e+66,8.13842,177204,2,1228,350,485844,167,0,5307,464567,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,6.96898e+64,8.1401,177204,2,1224,350,485844,168,0,5312,464567,0
Reachability property qltransition_530 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_530,1.3938e+65,8.14182,177204,2,1225,350,485844,169,0,5317,464567,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,5.57519e+66,8.14365,177204,2,1233,350,485844,170,0,5323,464567,0
Reachability property qltransition_532 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_532,6.96898e+64,8.14536,177204,2,1224,350,485844,171,0,5328,464567,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,5.57519e+66,8.14717,177204,2,1233,350,485844,172,0,5332,464567,0
Reachability property qltransition_534 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_534,6.96898e+63,8.14896,177204,2,1218,350,485844,173,0,5337,464567,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,2.17781e+62,8.1507,177204,2,1213,350,485844,174,0,5342,464567,0
Reachability property qltransition_536 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_536,4.35561e+63,8.15256,177204,2,1220,350,485844,175,0,5347,464567,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,2.17781e+62,8.15425,177204,2,1213,350,485844,176,0,5352,464567,0
Reachability property qltransition_538 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_538,8.71123e+63,8.15607,177204,2,1221,350,485844,177,0,5358,464567,0
Reachability property qltransition_539 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_539,1.0889e+62,8.15781,177204,2,1212,350,485844,178,0,5363,464567,0
Reachability property qltransition_540 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_540,8.71123e+63,8.1596,177204,2,1221,350,485844,179,0,5367,464567,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,1.0889e+61,8.16142,177204,2,1206,350,485844,180,0,5372,464567,0
Reachability property qltransition_542 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_542,2.72226e+60,8.16319,177204,2,1204,350,485844,181,0,5377,464567,0
Reachability property qltransition_543 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_543,6.80565e+60,8.16507,177204,2,1208,350,485844,182,0,5382,464567,0
Reachability property qltransition_544 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_544,3.40282e+59,8.16681,177204,2,1201,350,485844,183,0,5387,464567,0
Reachability property qltransition_545 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_545,1.36113e+61,8.16866,177204,2,1209,350,485844,184,0,5393,464567,0
Reachability property qltransition_546 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_546,1.70141e+59,8.17039,177204,2,1200,350,485844,185,0,5398,464567,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.36113e+61,8.17232,177204,2,1209,350,485844,186,0,5402,464567,0
Reachability property qltransition_548 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_548,1.06338e+57,8.17417,177204,2,1190,350,485844,187,0,5407,464567,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,4.25353e+57,8.17601,177204,2,1192,350,485844,188,0,5412,464567,0
Reachability property qltransition_550 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_550,1.06338e+58,8.18998,177204,2,1196,350,485844,189,0,5417,464567,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,5.31691e+56,8.19196,177204,2,1189,350,485844,190,0,5422,464567,0
Reachability property qltransition_552 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_552,2.12676e+58,8.19387,177204,2,1197,350,485844,191,0,5428,464567,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,2.65846e+56,8.19559,177204,2,1188,350,485844,192,0,5433,464567,0
Reachability property qltransition_554 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_554,2.12676e+58,8.19744,177204,2,1197,350,485844,193,0,5437,464567,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,2.65846e+55,8.19936,177204,2,1182,350,485844,194,0,5442,464567,0
Reachability property qltransition_556 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_556,8.30767e+53,8.20117,177204,2,1177,350,485844,195,0,5447,464567,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,4.15384e+53,8.20298,177204,2,1176,350,485844,196,0,5452,464567,0
Reachability property qltransition_558 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_558,8.30767e+53,8.20473,177204,2,1177,350,485844,197,0,5457,464567,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,3.32307e+55,8.2066,177204,2,1185,350,485844,198,0,5463,464567,0
Reachability property qltransition_560 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_560,4.15384e+53,8.20833,177204,2,1176,350,485844,199,0,5468,464567,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,3.32307e+55,8.21024,177204,2,1185,350,485844,200,0,5472,464567,0
Reachability property qltransition_562 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_562,4.15384e+52,8.21208,177204,2,1170,350,485844,201,0,5477,464567,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,1.03846e+52,8.21393,177204,2,1168,350,485844,202,0,5482,464567,0
Reachability property qltransition_564 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_564,6.49037e+50,8.21575,177204,2,1164,350,485844,203,0,5487,464567,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,1.29807e+51,8.21757,177204,2,1165,350,485844,204,0,5492,464567,0
Reachability property qltransition_566 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_566,5.1923e+52,8.21951,177204,2,1173,350,485844,205,0,5498,464567,0
Reachability property qltransition_567 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_567,6.49037e+50,8.22141,177204,2,1164,350,485844,206,0,5503,464567,0
Reachability property qltransition_568 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_568,5.1923e+52,8.22336,177204,2,1173,350,485844,207,0,5507,464567,0
Reachability property qltransition_569 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_569,4.05648e+48,8.22523,177204,2,1154,350,485844,208,0,5512,464567,0
Reachability property qltransition_570 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_570,2.02824e+48,8.22706,177204,2,1153,350,485844,209,0,5517,464567,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,4.05648e+49,8.22909,177204,2,1160,350,485844,210,0,5522,464567,0
Reachability property qltransition_572 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_572,2.02824e+48,8.23097,177204,2,1153,350,485844,211,0,5527,464567,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,8.11296e+49,8.23305,177204,2,1161,350,485844,212,0,5533,464567,0
Reachability property qltransition_574 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_574,1.01412e+48,8.23495,177204,2,1152,350,485844,213,0,5538,464567,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,8.11296e+49,8.23726,177204,2,1161,350,485844,214,0,5542,464567,0
Reachability property qltransition_576 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_576,1.01412e+47,8.23918,177204,2,1146,350,485844,215,0,5547,464567,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,3.16913e+45,8.24114,177204,2,1141,350,485844,216,0,5552,464567,0
Reachability property qltransition_578 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_578,6.33825e+46,8.2431,177204,2,1148,350,485844,217,0,5557,464567,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,3.16913e+45,8.24504,177204,2,1141,350,485844,218,0,5562,464567,0
Reachability property qltransition_580 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_580,1.26765e+47,8.24703,177204,2,1149,350,485844,219,0,5568,464567,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,1.58456e+45,8.249,177204,2,1140,350,485844,220,0,5573,464567,0
Reachability property qltransition_582 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_582,1.26765e+47,8.25109,177204,2,1149,350,485844,221,0,5577,464567,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.58456e+44,8.25314,177204,2,1134,350,485844,222,0,5582,464567,0
Reachability property qltransition_584 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_584,3.96141e+43,8.25516,177204,2,1132,350,485844,223,0,5587,464567,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,2.47588e+42,8.25716,177204,2,1128,350,485844,224,0,5592,464567,0
Reachability property qltransition_586 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_586,4.95176e+42,8.25912,177204,2,1129,350,485844,225,0,5597,464567,0
Reachability property qltransition_587 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_587,1.9807e+44,8.26122,177204,2,1137,350,485844,226,0,5603,464567,0
Reachability property qltransition_588 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_588,2.47588e+42,8.26323,177204,2,1128,350,485844,227,0,5608,464567,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,1.9807e+44,8.26532,177204,2,1137,350,485844,228,0,5612,464567,0
Reachability property qltransition_590 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_590,1.54743e+40,8.26738,177204,2,1118,350,485844,229,0,5617,464567,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,6.1897e+40,8.2694,177204,2,1120,350,485844,230,0,5622,464567,0
Reachability property qltransition_592 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_592,3.86856e+39,8.27146,177204,2,1116,350,485844,231,0,5627,464567,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,7.73713e+39,8.27343,177204,2,1117,350,485844,232,0,5632,464567,0
Reachability property qltransition_594 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_594,3.09485e+41,8.27558,177204,2,1125,350,485844,233,0,5638,464567,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,3.86856e+39,8.2776,177204,2,1116,350,485844,234,0,5643,464567,0
Reachability property qltransition_596 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_596,3.09485e+41,8.27978,177204,2,1125,350,485844,235,0,5647,464567,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,3.86856e+38,8.2819,177204,2,1110,350,485844,236,0,5652,464567,0
Reachability property qltransition_598 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_598,1.20893e+37,8.28397,177204,2,1105,350,485844,237,0,5657,464567,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,6.04463e+36,8.28602,177204,2,1104,350,485844,238,0,5662,464567,0
Reachability property qltransition_600 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_600,1.20893e+37,8.28811,177204,2,1105,350,485844,239,0,5667,464567,0
Reachability property qltransition_601 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_601,4.8357e+38,8.2904,177204,2,1113,350,485844,240,0,5673,464567,0
Reachability property qltransition_602 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_602,6.04463e+36,8.29258,177204,2,1104,350,485844,241,0,5678,464567,0
Reachability property qltransition_603 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_603,4.8357e+38,8.29484,177204,2,1113,350,485844,242,0,5682,464567,0
Reachability property qltransition_604 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_604,3.77789e+34,8.29697,177204,2,1094,350,485844,243,0,5687,464567,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,1.51116e+35,8.29924,177204,2,1096,350,485844,244,0,5692,464567,0
Reachability property qltransition_606 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_606,9.44473e+33,8.30142,177204,2,1092,350,485844,245,0,5697,464567,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.88895e+34,8.30361,177204,2,1093,350,485844,246,0,5702,464567,0
Reachability property qltransition_608 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_608,7.55579e+35,8.30589,177204,2,1101,350,485844,247,0,5708,464567,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,9.44473e+33,8.30803,177204,2,1092,350,485844,248,0,5713,464567,0
Reachability property qltransition_610 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_610,7.55579e+35,8.31035,177204,2,1101,350,485844,249,0,5717,464567,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,5.90296e+31,8.31256,177204,2,1082,350,485844,250,0,5722,464567,0
Reachability property qltransition_612 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_612,2.95148e+31,8.31475,177204,2,1081,350,485844,251,0,5727,464567,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,5.90296e+32,8.3171,177204,2,1088,350,485844,252,0,5732,464567,0
Reachability property qltransition_614 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_614,2.95148e+31,8.31931,177204,2,1081,350,485844,253,0,5737,464567,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,1.18059e+33,8.32169,177204,2,1089,350,485844,254,0,5743,464567,0
Reachability property qltransition_616 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_616,1.47574e+31,8.3239,177204,2,1080,350,485844,255,0,5748,464567,0
Reachability property qltransition_617 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_617,1.18059e+33,8.32627,177204,2,1089,350,485844,256,0,5752,464567,0
Reachability property qltransition_618 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_618,1.47574e+30,8.32868,177204,2,1074,350,485844,257,0,5757,464567,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,3.68935e+29,8.33096,177204,2,1072,350,485844,258,0,5762,464567,0
Reachability property qltransition_620 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_620,9.22337e+29,8.33337,177204,2,1076,350,485844,259,0,5767,464567,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,4.61169e+28,8.33574,177204,2,1069,350,485844,260,0,5772,464567,0
Reachability property qltransition_622 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_622,1.84467e+30,8.33813,177204,2,1077,350,485844,261,0,5778,464567,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,2.30584e+28,8.34043,177204,2,1068,350,485844,262,0,5783,464567,0
Reachability property qltransition_624 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_624,1.84467e+30,8.34282,177204,2,1077,350,485844,263,0,5787,464567,0
Reachability property qltransition_625 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_625,1.44115e+26,8.34512,177204,2,1058,350,485844,264,0,5792,464567,0
Reachability property qltransition_626 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_626,5.76461e+26,8.34748,177204,2,1060,350,485844,265,0,5797,464567,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,3.60288e+25,8.34978,177204,2,1056,350,485844,266,0,5802,464567,0
Reachability property qltransition_628 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_628,7.20576e+25,8.35208,177204,2,1057,350,485844,267,0,5807,464567,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,2.8823e+27,8.35453,177204,2,1065,350,485844,268,0,5813,464567,0
Reachability property qltransition_630 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_630,3.60288e+25,8.35688,177204,2,1056,350,485844,269,0,5818,464567,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,2.8823e+27,8.35942,177204,2,1065,350,485844,270,0,5822,464567,0
Reachability property qltransition_632 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_632,3.60288e+24,8.3619,177204,2,1050,350,485844,271,0,5827,464567,0
Reachability property qltransition_633 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_633,1.1259e+23,8.36436,177204,2,1045,350,485844,272,0,5832,464567,0
Reachability property qltransition_634 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_634,5.6295e+22,8.36682,177204,2,1044,350,485844,273,0,5837,464567,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.1259e+23,8.36926,177204,2,1045,350,485844,274,0,5842,464567,0
Reachability property qltransition_636 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_636,4.5036e+24,8.37183,177204,2,1053,350,485844,275,0,5848,464567,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,5.6295e+22,8.37428,177204,2,1044,350,485844,276,0,5853,464567,0
Reachability property qltransition_638 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_638,4.5036e+24,8.37688,177204,2,1053,350,485844,277,0,5857,464567,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,3.51844e+20,8.37938,177204,2,1034,350,485844,278,0,5862,464567,0
Reachability property qltransition_640 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_640,1.75922e+20,8.38192,177204,2,1033,350,485844,279,0,5867,464567,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,3.51844e+21,8.38451,177204,2,1040,350,485844,280,0,5872,464567,0
Reachability property qltransition_642 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_642,1.75922e+20,8.38695,177204,2,1033,350,485844,281,0,5877,464567,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,7.03687e+21,8.3895,177204,2,1041,350,485844,282,0,5883,464567,0
Reachability property qltransition_644 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_644,8.79609e+19,8.392,177204,2,1032,350,485844,283,0,5888,464567,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,7.03687e+21,8.39467,177204,2,1041,350,485844,284,0,5892,464567,0
Reachability property qltransition_646 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_646,5.49756e+17,8.39729,177204,2,1022,350,485844,285,0,5897,464567,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,2.19902e+18,8.39992,177204,2,1024,350,485844,286,0,5902,464567,0
Reachability property qltransition_648 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_648,1.37439e+17,8.40251,177204,2,1020,350,485844,287,0,5907,464567,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,2.74878e+17,8.40502,177204,2,1021,350,485844,288,0,5912,464567,0
Reachability property qltransition_650 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_650,1.09951e+19,8.40765,177204,2,1029,350,485844,289,0,5918,464567,0
Reachability property qltransition_651 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_651,1.37439e+17,8.41018,177204,2,1020,350,485844,290,0,5923,464567,0
Reachability property qltransition_652 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_652,1.09951e+19,8.41294,177204,2,1029,350,485844,291,0,5927,464567,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,8.58993e+14,8.41555,177204,2,1010,350,485844,292,0,5932,464567,0
Reachability property qltransition_654 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_654,4.29497e+14,8.41816,177204,2,1009,350,485844,293,0,5937,464567,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,8.58993e+15,8.42094,177204,2,1016,350,485844,294,0,5942,464567,0
Reachability property qltransition_656 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_656,4.29497e+14,8.42365,177204,2,1009,350,485844,295,0,5947,464567,0
Reachability property qltransition_657 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_657,1.71799e+16,8.42643,177204,2,1017,350,485844,296,0,5953,464567,0
Reachability property qltransition_658 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_658,2.14748e+14,8.42909,177204,2,1008,350,485844,297,0,5958,464567,0
Reachability property qltransition_659 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_659,1.71799e+16,8.43194,177204,2,1017,350,485844,298,0,5962,464567,0
Reachability property qltransition_660 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_660,1.34218e+12,8.43464,177204,2,998,350,485844,299,0,5967,464567,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,6.71089e+11,8.43732,177204,2,997,350,485844,300,0,5972,464567,0
Reachability property qltransition_662 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_662,3.35544e+11,8.44021,177204,2,996,350,485844,301,0,5977,464567,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,6.71089e+11,8.44301,177204,2,997,350,485844,302,0,5982,464567,0
Reachability property qltransition_664 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_664,2.68435e+13,8.44594,177204,2,1005,350,485844,303,0,5988,464567,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,3.35544e+11,8.44873,177204,2,996,350,485844,304,0,5993,464567,0
Reachability property qltransition_666 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_666,2.68435e+13,8.45161,177204,2,1005,350,485844,305,0,5997,464567,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,3.35544e+10,8.4545,177204,2,990,350,485844,306,0,6002,464567,0
Reachability property qltransition_668 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_668,8.38861e+09,8.45747,177204,2,988,350,485844,307,0,6007,464567,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,5.24288e+08,8.46032,177204,2,984,350,485844,308,0,6012,464567,0
Reachability property qltransition_670 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_670,1.04858e+09,8.46319,177204,2,985,350,485844,309,0,6017,464567,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,4.1943e+10,8.46629,177204,2,993,350,485844,310,0,6023,464567,0
Reachability property qltransition_672 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_672,5.24288e+08,8.46921,177204,2,984,350,485844,311,0,6028,464567,0
Reachability property qltransition_673 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_673,4.1943e+10,8.47228,177204,2,993,350,485844,312,0,6032,464567,0
Reachability property qltransition_674 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_674,5.24288e+07,8.47538,177204,2,978,350,485844,313,0,6037,464567,0
Reachability property qltransition_675 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_675,1.6384e+06,8.47837,177204,2,973,350,485844,314,0,6042,464567,0
Reachability property qltransition_676 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_676,819200,8.48125,177204,2,972,350,485844,315,0,6047,464567,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,1.6384e+06,8.48423,177204,2,973,350,485844,316,0,6052,464567,0
Reachability property qltransition_678 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_678,6.5536e+07,8.48737,177204,2,981,350,485844,317,0,6058,464567,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,819200,8.49037,177204,2,972,350,485844,318,0,6063,464567,0
Reachability property qltransition_680 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_680,6.5536e+07,8.49349,177204,2,981,350,485844,319,0,6067,464567,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,81920,8.49652,177204,2,966,350,485844,320,0,6072,464567,0
Reachability property qltransition_682 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_682,20480,8.49953,177204,2,964,350,485844,321,0,6077,464567,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,1280,8.50252,177204,2,960,350,485844,322,0,6082,464567,0
Reachability property qltransition_684 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_684,2560,8.50556,177204,2,961,350,485844,323,0,6087,464567,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,102400,8.50876,177204,2,969,350,485844,324,0,6093,464567,0
Reachability property qltransition_686 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_686,1280,8.51184,177204,2,960,350,485844,325,0,6098,464567,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,102400,8.51512,177204,2,969,350,485844,326,0,6102,464567,0
Reachability property qltransition_688 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_688,8,8.51828,177204,2,950,350,485844,327,0,6107,464567,0
Reachability property qltransition_689 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_689,4,8.5215,177204,2,949,350,485844,328,0,6112,464567,0
Reachability property qltransition_690 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_690,2,8.55058,177204,2,948,350,485844,329,0,6117,464567,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,4,8.55393,177204,2,949,350,485844,330,0,6122,464567,0
Reachability property qltransition_692 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_692,160,8.5572,177204,2,957,350,485844,331,0,6128,464567,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,8.56017,177204,2,948,350,485844,332,0,6133,464567,0
Reachability property qltransition_694 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_694,160,8.56331,177204,2,957,350,485844,333,0,6137,464567,0
ITS tools runner thread asked to quit. Dying gracefully.
Able to resolve query QuasiLiveness after proving 499 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK PARIKH_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE

BK_STOP 1653032939853

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is ShieldIIPt-PT-050A, 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 r234-tall-165286038000202"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;