Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 608K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 28 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 12:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 12:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 18:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 265K May 5 16:52 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1621071568974

Running Version 0
[2021-05-15 09:39:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2021-05-15 09:39:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-15 09:39:31] [INFO ] Load time of PNML (sax parser for PT used): 107 ms
[2021-05-15 09:39:31] [INFO ] Transformed 953 places.
[2021-05-15 09:39:31] [INFO ] Transformed 703 transitions.
[2021-05-15 09:39:31] [INFO ] Found NUPN structural information;
[2021-05-15 09:39:31] [INFO ] Parsed PT model containing 953 places and 703 transitions in 164 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 11 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 259 ms. Remains 951 /953 variables (removed 2) and now considering 700/703 (removed 3) transitions.
// Phase 1: matrix 700 rows 951 cols
[2021-05-15 09:39:31] [INFO ] Computed 451 place invariants in 20 ms
[2021-05-15 09:39:32] [INFO ] Implicit Places using invariants in 772 ms returned [943, 944]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 801 ms to find 2 implicit places.
// Phase 1: matrix 700 rows 949 cols
[2021-05-15 09:39:32] [INFO ] Computed 449 place invariants in 5 ms
[2021-05-15 09:39:32] [INFO ] Dead Transitions using invariants and state equation in 443 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 6 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 78 ms. Remains 948 /949 variables (removed 1) and now considering 699/700 (removed 1) transitions.
// Phase 1: matrix 699 rows 948 cols
[2021-05-15 09:39:32] [INFO ] Computed 449 place invariants in 3 ms
[2021-05-15 09:39:33] [INFO ] Implicit Places using invariants in 486 ms returned [937]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 487 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 3 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 52 ms. Remains 946 /947 variables (removed 1) and now considering 698/699 (removed 1) transitions.
// Phase 1: matrix 698 rows 946 cols
[2021-05-15 09:39:33] [INFO ] Computed 448 place invariants in 3 ms
[2021-05-15 09:39:33] [INFO ] Implicit Places using invariants in 579 ms returned []
// Phase 1: matrix 698 rows 946 cols
[2021-05-15 09:39:33] [INFO ] Computed 448 place invariants in 3 ms
[2021-05-15 09:39:34] [INFO ] Implicit Places using invariants and state equation in 962 ms returned []
Implicit Place search using SMT with State Equation took 1544 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
[2021-05-15 09:39:34] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 451 ms. (steps per millisecond=22 ) properties (out of 498) seen :113
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=33 ) properties (out of 385) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=25 ) properties (out of 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=25 ) properties (out of 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) 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 385) seen :0
Running SMT prover for 385 properties.
// Phase 1: matrix 698 rows 946 cols
[2021-05-15 09:39:35] [INFO ] Computed 448 place invariants in 3 ms
[2021-05-15 09:39:40] [INFO ] [Real]Absence check using 448 positive place invariants in 65 ms returned sat
[2021-05-15 09:39:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 09:39:57] [INFO ] [Real]Absence check using state equation in 10844 ms returned unsat :0 sat :368 real:17
Attempting to minimize the solution found.
Minimization took 3193 ms.
[2021-05-15 09:40:00] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :347 real:38
[2021-05-15 09:40:05] [INFO ] [Nat]Absence check using 448 positive place invariants in 73 ms returned sat
[2021-05-15 09:40:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 09:40:20] [INFO ] [Nat]Absence check using state equation in 10512 ms returned unsat :0 sat :385
Attempting to minimize the solution found.
Minimization took 5340 ms.
[2021-05-15 09:40:25] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :385
Fused 385 Parikh solutions to 320 different solutions.
Incomplete Parikh walk after 1266 steps, including 26 resets, run finished after 57 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1294 steps, including 27 resets, run finished after 58 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1306 steps, including 27 resets, run finished after 58 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1309 steps, including 27 resets, run finished after 61 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1314 steps, including 27 resets, run finished after 58 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1319 steps, including 27 resets, run finished after 58 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1332 steps, including 28 resets, run finished after 59 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 28 resets, run finished after 60 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 28 resets, run finished after 61 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1362 steps, including 29 resets, run finished after 61 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1064 steps, including 11 resets, run finished after 47 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1063 steps, including 11 resets, run finished after 47 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1071 steps, including 11 resets, run finished after 47 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1076 steps, including 11 resets, run finished after 48 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1077 steps, including 11 resets, run finished after 48 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1080 steps, including 11 resets, run finished after 48 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1071 steps, including 11 resets, run finished after 47 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1068 steps, including 11 resets, run finished after 51 ms. (steps per millisecond=20 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1072 steps, including 11 resets, run finished after 47 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1073 steps, including 11 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1068 steps, including 11 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1059 steps, including 11 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 512 steps, including 16 resets, run finished after 22 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 527 steps, including 17 resets, run finished after 23 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 533 steps, including 17 resets, run finished after 24 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 535 steps, including 17 resets, run finished after 24 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 559 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 560 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 562 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 571 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 584 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 586 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 590 steps, including 19 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 584 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 583 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 582 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 582 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 581 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 580 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 579 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 578 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 577 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 576 steps, including 18 resets, run finished after 28 ms. (steps per millisecond=20 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 577 steps, including 18 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 577 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 588 steps, including 18 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 591 steps, including 19 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 594 steps, including 19 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 596 steps, including 19 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 596 steps, including 19 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 601 steps, including 19 resets, run finished after 26 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 595 steps, including 19 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 595 steps, including 19 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 601 steps, including 19 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1083 steps, including 31 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1079 steps, including 31 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1078 steps, including 31 resets, run finished after 45 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1077 steps, including 31 resets, run finished after 45 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1076 steps, including 31 resets, run finished after 45 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1077 steps, including 31 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1076 steps, including 31 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1075 steps, including 31 resets, run finished after 45 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1067 steps, including 31 resets, run finished after 45 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1071 steps, including 31 resets, run finished after 47 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1065 steps, including 31 resets, run finished after 45 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 569 steps, including 27 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 568 steps, including 27 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 957 steps, including 10 resets, run finished after 41 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1184 steps, including 14 resets, run finished after 51 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1098 steps, including 15 resets, run finished after 47 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1089 steps, including 15 resets, run finished after 47 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1091 steps, including 15 resets, run finished after 47 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1091 steps, including 15 resets, run finished after 47 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1090 steps, including 15 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1095 steps, including 15 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1096 steps, including 15 resets, run finished after 46 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1100 steps, including 15 resets, run finished after 47 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 745 steps, including 15 resets, run finished after 33 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 968 steps, including 17 resets, run finished after 43 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 969 steps, including 17 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 970 steps, including 17 resets, run finished after 45 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 719 steps, including 7 resets, run finished after 31 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 788 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 787 steps, including 8 resets, run finished after 35 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 786 steps, including 8 resets, run finished after 35 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 785 steps, including 8 resets, run finished after 35 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 784 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 785 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 781 steps, including 8 resets, run finished after 35 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 786 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 787 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 786 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 783 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 789 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 788 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 784 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 785 steps, including 8 resets, run finished after 35 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 783 steps, including 8 resets, run finished after 34 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 803 steps, including 8 resets, run finished after 35 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 807 steps, including 8 resets, run finished after 36 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 806 steps, including 8 resets, run finished after 35 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 809 steps, including 8 resets, run finished after 36 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 718 steps, including 9 resets, run finished after 35 ms. (steps per millisecond=20 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 569 steps, including 14 resets, run finished after 26 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 573 steps, including 14 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 588 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 586 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 585 steps, including 14 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 595 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 594 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 592 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 612 steps, including 15 resets, run finished after 28 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 613 steps, including 15 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 608 steps, including 15 resets, run finished after 28 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 612 steps, including 15 resets, run finished after 28 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 622 steps, including 15 resets, run finished after 28 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 620 steps, including 15 resets, run finished after 28 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 618 steps, including 15 resets, run finished after 28 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 617 steps, including 15 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 566 steps, including 7 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 569 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 566 steps, including 7 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 566 steps, including 7 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 565 steps, including 7 resets, run finished after 25 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 576 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 575 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 581 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 580 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 583 steps, including 7 resets, run finished after 25 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 582 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 577 steps, including 7 resets, run finished after 31 ms. (steps per millisecond=18 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 615 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 634 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 633 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 639 steps, including 7 resets, run finished after 29 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 638 steps, including 8 resets, run finished after 28 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 614 steps, including 7 resets, run finished after 28 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 609 steps, including 7 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 610 steps, including 7 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 600 steps, including 7 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 599 steps, including 7 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 598 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 596 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 597 steps, including 7 resets, run finished after 27 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 587 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 588 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 587 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 584 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 582 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 585 steps, including 7 resets, run finished after 26 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 47 resets, run finished after 60 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1379 steps, including 47 resets, run finished after 61 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1378 steps, including 47 resets, run finished after 61 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1473 steps, including 50 resets, run finished after 67 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1472 steps, including 50 resets, run finished after 64 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1546 steps, including 53 resets, run finished after 66 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1545 steps, including 53 resets, run finished after 66 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1544 steps, including 53 resets, run finished after 67 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1545 steps, including 54 resets, run finished after 67 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1544 steps, including 52 resets, run finished after 67 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1622 steps, including 55 resets, run finished after 71 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1547 steps, including 53 resets, run finished after 68 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1624 steps, including 56 resets, run finished after 70 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1623 steps, including 55 resets, run finished after 71 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1735 steps, including 60 resets, run finished after 83 ms. (steps per millisecond=20 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1734 steps, including 59 resets, run finished after 75 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1811 steps, including 62 resets, run finished after 79 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1930 steps, including 66 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1931 steps, including 66 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1930 steps, including 66 resets, run finished after 84 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2047 steps, including 70 resets, run finished after 90 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2046 steps, including 70 resets, run finished after 88 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2120 steps, including 72 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2053 steps, including 70 resets, run finished after 92 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2122 steps, including 73 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2121 steps, including 73 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2120 steps, including 72 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2246 steps, including 77 resets, run finished after 98 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2245 steps, including 77 resets, run finished after 102 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2321 steps, including 79 resets, run finished after 100 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2320 steps, including 80 resets, run finished after 104 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2393 steps, including 83 resets, run finished after 103 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2393 steps, including 81 resets, run finished after 103 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2392 steps, including 82 resets, run finished after 106 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2391 steps, including 82 resets, run finished after 124 ms. (steps per millisecond=19 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2464 steps, including 84 resets, run finished after 108 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2396 steps, including 82 resets, run finished after 103 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2466 steps, including 85 resets, run finished after 110 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2465 steps, including 84 resets, run finished after 106 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2463 steps, including 84 resets, run finished after 106 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2533 steps, including 87 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2672 steps, including 92 resets, run finished after 116 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2739 steps, including 94 resets, run finished after 119 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2738 steps, including 94 resets, run finished after 118 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2737 steps, including 94 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3554 steps, including 375 resets, run finished after 157 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3553 steps, including 373 resets, run finished after 156 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3554 steps, including 376 resets, run finished after 157 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3556 steps, including 375 resets, run finished after 157 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3555 steps, including 365 resets, run finished after 160 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3556 steps, including 376 resets, run finished after 157 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3555 steps, including 374 resets, run finished after 157 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3556 steps, including 376 resets, run finished after 158 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3648 steps, including 371 resets, run finished after 162 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3647 steps, including 385 resets, run finished after 166 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3785 steps, including 20 resets, run finished after 160 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3784 steps, including 20 resets, run finished after 160 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3785 steps, including 20 resets, run finished after 162 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3784 steps, including 20 resets, run finished after 160 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3783 steps, including 20 resets, run finished after 163 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3782 steps, including 20 resets, run finished after 159 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3781 steps, including 20 resets, run finished after 160 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3780 steps, including 20 resets, run finished after 160 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3781 steps, including 20 resets, run finished after 164 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3780 steps, including 20 resets, run finished after 160 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3780 steps, including 20 resets, run finished after 159 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3779 steps, including 20 resets, run finished after 160 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2817 steps, including 90 resets, run finished after 119 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2816 steps, including 90 resets, run finished after 119 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2815 steps, including 90 resets, run finished after 120 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2817 steps, including 90 resets, run finished after 118 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2816 steps, including 90 resets, run finished after 119 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2957 steps, including 94 resets, run finished after 124 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2956 steps, including 94 resets, run finished after 126 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2957 steps, including 94 resets, run finished after 124 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2959 steps, including 95 resets, run finished after 128 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2919 steps, including 93 resets, run finished after 122 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2918 steps, including 93 resets, run finished after 122 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2917 steps, including 93 resets, run finished after 123 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3062 steps, including 98 resets, run finished after 129 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3061 steps, including 98 resets, run finished after 129 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3062 steps, including 98 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2912 steps, including 93 resets, run finished after 122 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2911 steps, including 93 resets, run finished after 122 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2910 steps, including 93 resets, run finished after 123 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2909 steps, including 93 resets, run finished after 123 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3058 steps, including 98 resets, run finished after 129 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3057 steps, including 97 resets, run finished after 129 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3058 steps, including 98 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3057 steps, including 98 resets, run finished after 128 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3023 steps, including 97 resets, run finished after 127 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3022 steps, including 97 resets, run finished after 127 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3021 steps, including 96 resets, run finished after 128 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3172 steps, including 101 resets, run finished after 133 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3171 steps, including 102 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3204 steps, including 102 resets, run finished after 134 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3046 steps, including 97 resets, run finished after 129 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3045 steps, including 97 resets, run finished after 128 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3044 steps, including 97 resets, run finished after 129 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3201 steps, including 102 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3200 steps, including 102 resets, run finished after 137 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3203 steps, including 102 resets, run finished after 134 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3204 steps, including 102 resets, run finished after 134 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3203 steps, including 102 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3206 steps, including 102 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3205 steps, including 102 resets, run finished after 137 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3230 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3230 steps, including 103 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3229 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3228 steps, including 103 resets, run finished after 137 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3227 steps, including 103 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3228 steps, including 103 resets, run finished after 139 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3212 steps, including 103 resets, run finished after 134 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3211 steps, including 102 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3214 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3213 steps, including 103 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3228 steps, including 103 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3224 steps, including 103 resets, run finished after 137 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3211 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3210 steps, including 102 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3209 steps, including 102 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3216 steps, including 103 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3215 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3218 steps, including 103 resets, run finished after 138 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3220 steps, including 103 resets, run finished after 134 ms. (steps per millisecond=24 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3212 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3211 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3213 steps, including 103 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3212 steps, including 102 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3213 steps, including 103 resets, run finished after 136 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3215 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3214 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3217 steps, including 103 resets, run finished after 137 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3216 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3217 steps, including 103 resets, run finished after 138 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3218 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3219 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3218 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3222 steps, including 103 resets, run finished after 137 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3221 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3222 steps, including 103 resets, run finished after 137 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3218 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3217 steps, including 103 resets, run finished after 135 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3122 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3121 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3121 steps, including 99 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3120 steps, including 100 resets, run finished after 133 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3119 steps, including 99 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3131 steps, including 100 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3127 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3126 steps, including 100 resets, run finished after 133 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3124 steps, including 100 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3123 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3125 steps, including 100 resets, run finished after 130 ms. (steps per millisecond=24 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3132 steps, including 100 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3130 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3133 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3132 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3130 steps, including 100 resets, run finished after 133 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3129 steps, including 100 resets, run finished after 131 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 3127 steps, including 100 resets, run finished after 132 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1485 steps, including 61 resets, run finished after 63 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1484 steps, including 61 resets, run finished after 64 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1485 steps, including 61 resets, run finished after 64 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1484 steps, including 61 resets, run finished after 64 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1485 steps, including 61 resets, run finished after 63 ms. (steps per millisecond=23 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 693 steps, including 114 resets, run finished after 33 ms. (steps per millisecond=21 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 782 steps, including 15 resets, run finished after 35 ms. (steps per millisecond=22 ) properties (out of 385) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1061 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=23 ) properties (out of 385) seen :40 could not realise parikh vector
Incomplete Parikh walk after 1062 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=25 ) properties (out of 345) seen :0 could not realise parikh vector
Support contains 662 out of 946 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 946/946 places, 698/698 transitions.
Partial Free-agglomeration rule applied 29 times.
Drop transitions removed 29 transitions
Iterating global reduction 0 with 29 rules applied. Total rules applied 29 place count 946 transition count 698
Applied a total of 29 rules in 117 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.
[2021-05-15 09:40:51] [INFO ] Flatten gal took : 170 ms
[2021-05-15 09:40:51] [INFO ] Flatten gal took : 75 ms
[2021-05-15 09:40:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15845978148628655542.gal : 24 ms
[2021-05-15 09:40:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15287255565088625196.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/ReachabilityCardinality15845978148628655542.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15287255565088625196.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/ReachabilityCardinality15845978148628655542.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15287255565088625196.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15287255565088625196.prop.
SDD proceeding with computation,345 properties remain. new max is 4
SDD size :3 after 6
SDD proceeding with computation,345 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,345 properties remain. new max is 16
SDD size :14 after 27
Reachability property qltransition_468 is true.
SDD proceeding with computation,344 properties remain. new max is 16
SDD size :27 after 53
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_482 is true.
Reachability property qltransition_476 is true.
Reachability property qltransition_475 is true.
Reachability property qltransition_469 is true.
Reachability property qltransition_329 is true.
Reachability property qltransition_327 is true.
Reachability property qltransition_325 is true.
Reachability property qltransition_323 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.
Reachability property qltransition_266 is true.
SDD proceeding with computation,318 properties remain. new max is 16
SDD size :53 after 78
Reachability property qltransition_587 is true.
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_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.
SDD proceeding with computation,293 properties remain. new max is 16
SDD size :78 after 104
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_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_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,267 properties remain. new max is 16
SDD size :104 after 129
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_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.
SDD proceeding with computation,245 properties remain. new max is 16
SDD size :129 after 153
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,238 properties remain. new max is 16
SDD size :153 after 190
SDD proceeding with computation,238 properties remain. new max is 32
SDD size :190 after 300
SDD proceeding with computation,238 properties remain. new max is 64
SDD size :300 after 465
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,231 properties remain. new max is 64
SDD size :465 after 13986
SDD proceeding with computation,231 properties remain. new max is 128
SDD size :13986 after 62705
SDD proceeding with computation,231 properties remain. new max is 256
SDD size :62705 after 223537
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,224 properties remain. new max is 256
SDD size :223537 after 1.13459e+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,217 properties remain. new max is 256
SDD size :1.13459e+08 after 8.59832e+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,210 properties remain. new max is 256
SDD size :8.59832e+10 after 7.24776e+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,203 properties remain. new max is 256
SDD size :7.24776e+13 after 5.75526e+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,196 properties remain. new max is 256
SDD size :5.75526e+16 after 4.2881e+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,189 properties remain. new max is 256
SDD size :4.2881e+19 after 2.74438e+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,182 properties remain. new max is 256
SDD size :2.74438e+22 after 1.80144e+25
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,175 properties remain. new max is 256
SDD size :1.80144e+25 after 2.20496e+28
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,168 properties remain. new max is 256
SDD size :2.20496e+28 after 1.47101e+31
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,161 properties remain. new max is 256
SDD size :1.47101e+31 after 9.41522e+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,154 properties remain. new max is 256
SDD size :9.41522e+33 after 6.04463e+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_596 is true.
Reachability property qltransition_592 is true.
Reachability property qltransition_283 is true.
Reachability property qltransition_13 is true.
SDD proceeding with computation,145 properties remain. new max is 256
SDD size :6.04463e+36 after 1.16057e+40
Reachability property qltransition_593 is true.
Reachability property qltransition_591 is true.
Reachability property qltransition_590 is true.
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_314 is true.
Reachability property qltransition_281 is true.
Reachability property qltransition_15 is true.
Reachability property qltransition_14 is true.
SDD proceeding with computation,133 properties remain. new max is 256
SDD size :1.16057e+40 after 2.84726e+43
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,126 properties remain. new max is 256
SDD size :2.84726e+43 after 3.32758e+46
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,119 properties remain. new max is 256
SDD size :3.32758e+46 after 3.79408e+49
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,112 properties remain. new max is 256
SDD size :3.79408e+49 after 2.37872e+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,105 properties remain. new max is 256
SDD size :2.37872e+52 after 1.55405e+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,98 properties remain. new max is 256
SDD size :1.55405e+55 after 9.74324e+57
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,91 properties remain. new max is 256
SDD size :9.74324e+57 after 6.36541e+60
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,84 properties remain. new max is 256
SDD size :6.36541e+60 after 3.99083e+63
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,77 properties remain. new max is 256
SDD size :3.99083e+63 after 2.60727e+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,70 properties remain. new max is 256
SDD size :2.60727e+66 after 1.63464e+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,63 properties remain. new max is 256
SDD size :1.63464e+69 after 1.06794e+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,56 properties remain. new max is 256
SDD size :1.06794e+72 after 6.6955e+74
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,49 properties remain. new max is 256
SDD size :6.6955e+74 after 4.37427e+77
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,42 properties remain. new max is 256
SDD size :4.37427e+77 after 2.74248e+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,35 properties remain. new max is 256
SDD size :2.74248e+80 after 1.7917e+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,28 properties remain. new max is 256
SDD size :1.7917e+83 after 1.12332e+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,21 properties remain. new max is 256
SDD size :1.12332e+86 after 7.33881e+88
Reachability property qltransition_470 is true.
Reachability property qltransition_467 is true.
Reachability property qltransition_466 is true.
Reachability property qltransition_465 is true.
Reachability property qltransition_464 is true.
Reachability property qltransition_332 is true.
Reachability property qltransition_32 is true.
SDD proceeding with computation,14 properties remain. new max is 256
SDD size :7.33881e+88 after 4.60112e+91
Reachability property qltransition_463 is true.
Reachability property qltransition_460 is true.
Reachability property qltransition_458 is true.
Reachability property qltransition_457 is true.
Reachability property qltransition_263 is true.
Reachability property qltransition_33 is true.
SDD proceeding with computation,8 properties remain. new max is 256
SDD size :4.60112e+91 after 3.00598e+94
Reachability property qltransition_456 is true.
SDD proceeding with computation,7 properties remain. new max is 256
SDD size :3.00598e+94 after 1.53945e+97
Reachability property qltransition_449 is true.
SDD proceeding with computation,6 properties remain. new max is 256
SDD size :1.53945e+97 after 7.40477e+99
SDD proceeding with computation,6 properties remain. new max is 512
SDD size :7.40477e+99 after 8.76725e+100
Reachability property qltransition_442 is true.
Reachability property qltransition_36 is true.
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :8.76725e+100 after 6.25871e+103
Reachability property qltransition_435 is true.
Reachability property qltransition_259 is true.
Reachability property qltransition_37 is true.
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :6.25871e+103 after 3.57219e+106
Reachability property qltransition_428 is true.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 513 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,5.24201e+111,7.50201,165608,2,4640,368,397036,6,0,4484,282660,0
Total reachable state count : 5.242005758131435518929020603298278183437e+111

Verifying 345 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.50872,165608,2,949,368,397036,7,0,4490,282660,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.511,165608,2,961,368,397036,8,0,4495,282660,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.51304,165608,2,973,368,397036,9,0,4500,282660,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.51502,165608,2,985,368,397036,10,0,4505,282660,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.51708,165608,2,997,368,397036,11,0,4510,282660,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.51894,165608,2,1009,368,397036,12,0,4515,282660,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.52079,165608,2,1021,368,397036,13,0,4520,282660,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.52256,165608,2,1033,368,397036,14,0,4525,282660,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.52434,165608,2,1045,368,397036,15,0,4530,282660,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.52607,165608,2,1057,368,397036,16,0,4535,282660,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.52778,165608,2,1069,368,397036,17,0,4540,282660,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.52946,165608,2,1081,368,397036,18,0,4545,282660,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.53117,165608,2,1093,368,397036,19,0,4550,282660,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.53279,165608,2,1105,368,397036,20,0,4555,282660,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.5344,165608,2,1117,368,397036,21,0,4560,282660,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.536,165608,2,1129,368,397036,22,0,4565,282660,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.53759,165608,2,1141,368,397036,23,0,4570,282660,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.53913,165608,2,1153,368,397036,24,0,4575,282660,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.54067,165608,2,1165,368,397036,25,0,4580,282660,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.5422,165608,2,1177,368,397036,26,0,4585,282660,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.54371,165608,2,1189,368,397036,27,0,4590,282660,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.54522,165608,2,1201,368,397036,28,0,4595,282660,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.54667,165608,2,1213,368,397036,29,0,4600,282660,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.54809,165608,2,1225,368,397036,30,0,4605,282660,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.54951,165608,2,1237,368,397036,31,0,4610,282660,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.55089,165608,2,1249,368,397036,32,0,4615,282660,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.55227,165608,2,1261,368,397036,33,0,4620,282660,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.55361,165608,2,1273,368,397036,34,0,4625,282660,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.55495,165608,2,1285,368,397036,35,0,4630,282660,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.55625,165608,2,1297,368,397036,36,0,4635,282660,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.5575,165608,2,1309,368,397036,37,0,4640,282660,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.55874,165608,2,1321,368,397036,38,0,4645,282660,0
Reachability property qltransition_32 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_32,2.51084e+90,7.55992,165608,2,1333,368,397036,39,0,4650,282660,0
Reachability property qltransition_33 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_33,1.60694e+93,7.56107,165608,2,1345,368,397036,40,0,4655,282660,0
Reachability property qltransition_36 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_36,4.21249e+101,7.56216,165608,2,1381,368,397036,41,0,4660,282660,0
Reachability property qltransition_37 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_37,2.69599e+104,7.56329,165608,2,1393,368,397036,42,0,4665,282660,0
Reachability property qltransition_259 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_259,5.39199e+105,7.56434,165608,2,1400,368,397036,43,0,4670,282660,0
Reachability property qltransition_263 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_263,3.21388e+94,7.56549,165608,2,1352,368,397036,44,0,4675,282660,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.5667,165608,2,1328,368,397036,45,0,4680,282660,0
Reachability property qltransition_266 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_266,3.92319e+88,7.56791,165608,2,1327,368,397036,46,0,4685,282660,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.56914,165608,2,1304,368,397036,47,0,4690,282660,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.57037,165608,2,1303,368,397036,48,0,4695,282660,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.57167,165608,2,1280,368,397036,49,0,4700,282660,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.57296,165608,2,1279,368,397036,50,0,4705,282660,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.57432,165608,2,1256,368,397036,51,0,4710,282660,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.57568,165608,2,1255,368,397036,52,0,4715,282660,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.57708,165608,2,1232,368,397036,53,0,4720,282660,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.57851,165608,2,1231,368,397036,54,0,4725,282660,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.58026,165608,2,1208,368,397036,55,0,4730,282660,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.5818,165608,2,1207,368,397036,56,0,4735,282660,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.58343,165608,2,1184,368,397036,57,0,4740,282660,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.58506,165608,2,1183,368,397036,58,0,4745,282660,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.60006,165608,2,1160,368,397036,59,0,4750,282660,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.60217,165608,2,1159,368,397036,60,0,4755,282660,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.60413,165608,2,1136,368,397036,61,0,4760,282660,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.606,165608,2,1135,368,397036,62,0,4765,282660,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.60792,165608,2,1112,368,397036,63,0,4770,282660,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.60977,165608,2,1111,368,397036,64,0,4775,282660,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.61172,165608,2,1088,368,397036,65,0,4780,282660,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.61366,165608,2,1087,368,397036,66,0,4785,282660,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.61566,165608,2,1064,368,397036,67,0,4790,282660,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.61761,165608,2,1063,368,397036,68,0,4795,282660,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.61964,165608,2,1040,368,397036,69,0,4800,282660,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.62172,165608,2,1039,368,397036,70,0,4805,282660,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.62382,165608,2,1016,368,397036,71,0,4810,282660,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.62597,165608,2,1015,368,397036,72,0,4815,282660,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.62825,165608,2,992,368,397036,73,0,4820,282660,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.63052,165608,2,991,368,397036,74,0,4825,282660,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.63287,165608,2,968,368,397036,75,0,4830,282660,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.63522,165608,2,967,368,397036,76,0,4835,282660,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.63765,165608,2,947,368,397036,77,0,4840,282660,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.64009,165608,2,947,368,397036,78,0,4845,282660,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.64253,165608,2,955,368,397036,79,0,4850,282660,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.64495,165608,2,956,368,397036,80,0,4855,282660,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.64728,165608,2,979,368,397036,81,0,4860,282660,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.65564,165608,2,980,368,397036,82,0,4865,282660,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.65777,165608,2,1003,368,397036,83,0,4870,282660,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,7.65988,165608,2,1004,368,397036,84,0,4875,282660,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,7.66199,165608,2,1027,368,397036,85,0,4880,282660,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,7.66407,165608,2,1028,368,397036,86,0,4885,282660,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,7.66612,165608,2,1051,368,397036,87,0,4890,282660,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,7.66812,165608,2,1052,368,397036,88,0,4895,282660,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,7.6701,165608,2,1075,368,397036,89,0,4900,282660,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,7.67209,165608,2,1076,368,397036,90,0,4905,282660,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,7.67404,165608,2,1099,368,397036,91,0,4910,282660,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,7.67597,165608,2,1100,368,397036,92,0,4915,282660,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,7.67783,165608,2,1123,368,397036,93,0,4920,282660,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,7.67965,165608,2,1124,368,397036,94,0,4925,282660,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,7.68144,165608,2,1147,368,397036,95,0,4930,282660,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,7.68323,165608,2,1148,368,397036,96,0,4935,282660,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,7.68494,165608,2,1171,368,397036,97,0,4940,282660,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,7.6867,165608,2,1172,368,397036,98,0,4945,282660,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,7.6884,165608,2,1195,368,397036,99,0,4950,282660,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,7.69011,165608,2,1196,368,397036,100,0,4955,282660,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,7.69171,165608,2,1219,368,397036,101,0,4960,282660,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,7.6933,165608,2,1220,368,397036,102,0,4965,282660,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,7.69488,165608,2,1243,368,397036,103,0,4970,282660,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,7.69644,165608,2,1244,368,397036,104,0,4975,282660,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,7.69792,165608,2,1267,368,397036,105,0,4980,282660,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,7.69937,165608,2,1268,368,397036,106,0,4985,282660,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,7.70074,165608,2,1291,368,397036,107,0,4990,282660,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,7.70216,165608,2,1292,368,397036,108,0,4995,282660,0
Reachability property qltransition_329 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_329,6.12998e+85,7.7035,165608,2,1315,368,397036,109,0,5000,282660,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,7.70486,165608,2,1316,368,397036,110,0,5005,282660,0
Reachability property qltransition_332 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_332,5.02168e+91,7.70615,165608,2,1340,368,397036,111,0,5010,282660,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+107,7.70735,165608,2,1407,368,397036,112,0,5017,282660,0
Reachability property qltransition_435 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_435,1.0784e+106,7.70863,165608,2,1401,368,397036,113,0,5025,282660,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,2.10625e+102,7.70989,165608,2,1386,368,397036,114,0,5032,282660,0
Reachability property qltransition_449 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_449,2.63281e+100,7.71122,165608,2,1377,368,397036,115,0,5040,282660,0
Reachability property qltransition_456 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_456,4.11376e+97,7.7126,165608,2,1365,368,397036,116,0,5048,282660,0
Reachability property qltransition_457 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_457,5.1422e+94,7.71393,165608,2,1350,368,397036,117,0,5053,282660,0
Reachability property qltransition_458 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_458,1.28555e+94,7.71523,165608,2,1348,368,397036,118,0,5058,282660,0
Reachability property qltransition_460 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_460,1.60694e+93,7.71654,165608,2,1345,368,397036,119,0,5063,282660,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,7.71798,165608,2,1353,368,397036,120,0,5069,282660,0
Reachability property qltransition_464 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_464,5.02168e+90,7.71931,165608,2,1334,368,397036,121,0,5074,282660,0
Reachability property qltransition_465 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_465,2.51084e+90,7.72065,165608,2,1333,368,397036,122,0,5079,282660,0
Reachability property qltransition_466 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_466,1.25542e+90,7.72198,165608,2,1332,368,397036,123,0,5084,282660,0
Reachability property qltransition_467 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_467,2.51084e+90,7.72333,165608,2,1333,368,397036,124,0,5089,282660,0
Reachability property qltransition_468 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_468,1.00434e+92,7.72476,165608,2,1341,368,397036,125,0,5095,282660,0
Reachability property qltransition_469 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_469,1.25542e+90,7.7261,165608,2,1332,368,397036,126,0,5100,282660,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.00434e+92,7.72928,165608,2,1341,368,397036,127,0,5104,282660,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,7.84638e+87,7.73062,165608,2,1322,368,397036,128,0,5109,282660,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.13855e+88,7.73203,165608,2,1324,368,397036,129,0,5114,282660,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,7.73353,165608,2,1328,368,397036,130,0,5119,282660,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,7.73487,165608,2,1321,368,397036,131,0,5124,282660,0
Reachability property qltransition_475 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_475,1.56928e+89,7.73633,165608,2,1329,368,397036,132,0,5130,282660,0
Reachability property qltransition_476 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_476,1.96159e+87,7.73765,165608,2,1320,368,397036,133,0,5135,282660,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,7.73914,165608,2,1329,368,397036,134,0,5139,282660,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.96159e+86,7.7406,165608,2,1314,368,397036,135,0,5144,282660,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,6.12998e+84,7.74197,165608,2,1309,368,397036,136,0,5149,282660,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,3.06499e+84,7.74336,165608,2,1308,368,397036,137,0,5154,282660,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,7.74473,165608,2,1309,368,397036,138,0,5159,282660,0
Reachability property qltransition_482 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_482,2.45199e+86,7.74619,165608,2,1317,368,397036,139,0,5165,282660,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,7.74757,165608,2,1308,368,397036,140,0,5170,282660,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,7.74907,165608,2,1317,368,397036,141,0,5174,282660,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,7.75046,165608,2,1298,368,397036,142,0,5179,282660,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,7.66248e+82,7.75191,165608,2,1300,368,397036,143,0,5184,282660,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,7.7533,165608,2,1296,368,397036,144,0,5189,282660,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,7.75469,165608,2,1297,368,397036,145,0,5194,282660,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,7.7562,165608,2,1305,368,397036,146,0,5200,282660,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,7.7576,165608,2,1296,368,397036,147,0,5205,282660,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,7.75914,165608,2,1305,368,397036,148,0,5209,282660,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,4.78905e+80,7.76064,165608,2,1290,368,397036,149,0,5214,282660,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,7.7621,165608,2,1288,368,397036,150,0,5219,282660,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,7.76357,165608,2,1284,368,397036,151,0,5224,282660,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,7.76503,165608,2,1285,368,397036,152,0,5229,282660,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,7.76657,165608,2,1293,368,397036,153,0,5235,282660,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,7.76807,165608,2,1284,368,397036,154,0,5240,282660,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,7.76969,165608,2,1293,368,397036,155,0,5244,282660,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,7.7713,165608,2,1278,368,397036,156,0,5249,282660,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,7.77287,165608,2,1276,368,397036,157,0,5254,282660,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,4.67681e+77,7.77452,165608,2,1280,368,397036,158,0,5259,282660,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,7.77605,165608,2,1273,368,397036,159,0,5264,282660,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,7.77765,165608,2,1281,368,397036,160,0,5270,282660,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,7.7792,165608,2,1272,368,397036,161,0,5275,282660,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,7.78086,165608,2,1281,368,397036,162,0,5279,282660,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,7.78241,165608,2,1262,368,397036,163,0,5284,282660,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,3.65375e+73,7.78397,165608,2,1261,368,397036,164,0,5289,282660,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,7.78565,165608,2,1268,368,397036,165,0,5294,282660,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,7.78721,165608,2,1261,368,397036,166,0,5299,282660,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,7.78886,165608,2,1269,368,397036,167,0,5305,282660,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,7.7904,165608,2,1260,368,397036,168,0,5310,282660,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,7.79208,165608,2,1269,368,397036,169,0,5314,282660,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.1418e+71,7.79365,165608,2,1250,368,397036,170,0,5319,282660,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,5.70899e+70,7.79523,165608,2,1249,368,397036,171,0,5324,282660,0
Reachability property qltransition_515 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_515,1.1418e+72,7.79695,165608,2,1256,368,397036,172,0,5329,282660,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,7.79852,165608,2,1249,368,397036,173,0,5334,282660,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,7.80025,165608,2,1257,368,397036,174,0,5340,282660,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,7.80183,165608,2,1248,368,397036,175,0,5345,282660,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,7.80354,165608,2,1257,368,397036,176,0,5349,282660,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,1.78406e+68,7.80513,165608,2,1238,368,397036,177,0,5354,282660,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,7.80679,165608,2,1240,368,397036,178,0,5359,282660,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,4.46015e+67,7.80841,165608,2,1236,368,397036,179,0,5364,282660,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,7.81002,165608,2,1237,368,397036,180,0,5369,282660,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,7.81176,165608,2,1245,368,397036,181,0,5375,282660,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,7.81342,165608,2,1236,368,397036,182,0,5380,282660,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,7.81523,165608,2,1245,368,397036,183,0,5384,282660,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,4.46015e+66,7.81703,165608,2,1230,368,397036,184,0,5389,282660,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,7.8188,165608,2,1228,368,397036,185,0,5394,282660,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,7.82056,165608,2,1224,368,397036,186,0,5399,282660,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,7.82228,165608,2,1225,368,397036,187,0,5404,282660,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,7.82412,165608,2,1233,368,397036,188,0,5410,282660,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,7.82582,165608,2,1224,368,397036,189,0,5415,282660,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,7.82769,165608,2,1233,368,397036,190,0,5419,282660,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,4.35561e+62,7.82946,165608,2,1214,368,397036,191,0,5424,282660,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,7.83121,165608,2,1213,368,397036,192,0,5429,282660,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,7.83312,165608,2,1220,368,397036,193,0,5434,282660,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,7.83487,165608,2,1213,368,397036,194,0,5439,282660,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,7.83674,165608,2,1221,368,397036,195,0,5445,282660,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,7.83852,165608,2,1212,368,397036,196,0,5450,282660,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,7.8529,165608,2,1221,368,397036,197,0,5454,282660,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,6.80565e+59,7.85464,165608,2,1202,368,397036,198,0,5459,282660,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,3.40282e+59,7.85636,165608,2,1201,368,397036,199,0,5464,282660,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,1.70141e+59,7.85804,165608,2,1200,368,397036,200,0,5469,282660,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,7.85973,165608,2,1201,368,397036,201,0,5474,282660,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,7.86152,165608,2,1209,368,397036,202,0,5480,282660,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,7.86327,165608,2,1200,368,397036,203,0,5485,282660,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,7.86512,165608,2,1209,368,397036,204,0,5489,282660,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.70141e+58,7.86703,165608,2,1194,368,397036,205,0,5494,282660,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,5.31691e+56,7.86886,165608,2,1189,368,397036,206,0,5499,282660,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,2.65846e+56,7.87063,165608,2,1188,368,397036,207,0,5504,282660,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,7.87239,165608,2,1189,368,397036,208,0,5509,282660,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,7.87423,165608,2,1197,368,397036,209,0,5515,282660,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,7.87602,165608,2,1188,368,397036,210,0,5520,282660,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,7.8779,165608,2,1197,368,397036,211,0,5524,282660,0
Reachability property qltransition_555 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_555,1.66153e+54,7.87968,165608,2,1178,368,397036,212,0,5529,282660,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,6.64614e+54,7.88151,165608,2,1180,368,397036,213,0,5534,282660,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,1.66153e+55,7.88346,165608,2,1184,368,397036,214,0,5539,282660,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,7.88523,165608,2,1177,368,397036,215,0,5544,282660,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,7.88714,165608,2,1185,368,397036,216,0,5550,282660,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,7.8889,165608,2,1176,368,397036,217,0,5555,282660,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,7.89078,165608,2,1185,368,397036,218,0,5559,282660,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,2.59615e+51,7.89259,165608,2,1166,368,397036,219,0,5564,282660,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.29807e+51,7.89443,165608,2,1165,368,397036,220,0,5569,282660,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,2.59615e+52,7.89641,165608,2,1172,368,397036,221,0,5574,282660,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,7.89823,165608,2,1165,368,397036,222,0,5579,282660,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,7.90019,165608,2,1173,368,397036,223,0,5585,282660,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,7.90202,165608,2,1164,368,397036,224,0,5590,282660,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,7.90402,165608,2,1173,368,397036,225,0,5594,282660,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,7.90588,165608,2,1154,368,397036,226,0,5599,282660,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,1.62259e+49,7.9078,165608,2,1156,368,397036,227,0,5604,282660,0
Reachability property qltransition_571 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_571,1.01412e+48,7.90968,165608,2,1152,368,397036,228,0,5609,282660,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,7.91161,165608,2,1153,368,397036,229,0,5614,282660,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,7.91363,165608,2,1161,368,397036,230,0,5620,282660,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,7.91557,165608,2,1152,368,397036,231,0,5625,282660,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,7.91763,165608,2,1161,368,397036,232,0,5629,282660,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,6.33825e+45,7.91958,165608,2,1142,368,397036,233,0,5634,282660,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,7.92153,165608,2,1141,368,397036,234,0,5639,282660,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,1.58456e+45,7.92348,165608,2,1140,368,397036,235,0,5644,282660,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,7.92542,165608,2,1141,368,397036,236,0,5649,282660,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,7.92749,165608,2,1149,368,397036,237,0,5655,282660,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,7.92948,165608,2,1140,368,397036,238,0,5660,282660,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,7.93157,165608,2,1149,368,397036,239,0,5664,282660,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,9.90352e+42,7.93354,165608,2,1130,368,397036,240,0,5669,282660,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,7.93561,165608,2,1132,368,397036,241,0,5674,282660,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,7.93763,165608,2,1128,368,397036,242,0,5679,282660,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,7.93965,165608,2,1129,368,397036,243,0,5684,282660,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,7.94196,165608,2,1137,368,397036,244,0,5690,282660,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,7.94398,165608,2,1128,368,397036,245,0,5695,282660,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,7.9461,165608,2,1137,368,397036,246,0,5699,282660,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,2.47588e+41,7.94822,165608,2,1122,368,397036,247,0,5704,282660,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,7.95028,165608,2,1120,368,397036,248,0,5709,282660,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,1.54743e+41,7.95246,165608,2,1124,368,397036,249,0,5714,282660,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,7.9545,165608,2,1117,368,397036,250,0,5719,282660,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,7.95667,165608,2,1125,368,397036,251,0,5725,282660,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,7.95871,165608,2,1116,368,397036,252,0,5730,282660,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,7.96097,165608,2,1125,368,397036,253,0,5734,282660,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,2.41785e+37,7.96313,165608,2,1106,368,397036,254,0,5739,282660,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,7.96529,165608,2,1105,368,397036,255,0,5744,282660,0
Reachability property qltransition_599 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_599,2.41785e+38,7.96759,165608,2,1112,368,397036,256,0,5749,282660,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,7.96972,165608,2,1105,368,397036,257,0,5754,282660,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,7.972,165608,2,1113,368,397036,258,0,5760,282660,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,7.97416,165608,2,1104,368,397036,259,0,5765,282660,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,7.97647,165608,2,1113,368,397036,260,0,5769,282660,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,6.04463e+35,7.97871,165608,2,1098,368,397036,261,0,5774,282660,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,7.98096,165608,2,1096,368,397036,262,0,5779,282660,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,7.98316,165608,2,1092,368,397036,263,0,5784,282660,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,7.98532,165608,2,1093,368,397036,264,0,5789,282660,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,7.98761,165608,2,1101,368,397036,265,0,5795,282660,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,7.98976,165608,2,1092,368,397036,266,0,5800,282660,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,7.99209,165608,2,1101,368,397036,267,0,5804,282660,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,9.44473e+32,7.99435,165608,2,1086,368,397036,268,0,5809,282660,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.36118e+32,7.9966,165608,2,1084,368,397036,269,0,5814,282660,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,1.47574e+31,7.99877,165608,2,1080,368,397036,270,0,5819,282660,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.00095,165608,2,1081,368,397036,271,0,5824,282660,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.00325,165608,2,1089,368,397036,272,0,5830,282660,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.00546,165608,2,1080,368,397036,273,0,5835,282660,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.00784,165608,2,1089,368,397036,274,0,5839,282660,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,9.22337e+28,8.01013,165608,2,1070,368,397036,275,0,5844,282660,0
Reachability property qltransition_619 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_619,4.61169e+28,8.01245,165608,2,1069,368,397036,276,0,5849,282660,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,2.30584e+28,8.01478,165608,2,1068,368,397036,277,0,5854,282660,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.01714,165608,2,1069,368,397036,278,0,5859,282660,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.01965,165608,2,1077,368,397036,279,0,5865,282660,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.02203,165608,2,1068,368,397036,280,0,5870,282660,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.02456,165608,2,1077,368,397036,281,0,5874,282660,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.02697,165608,2,1058,368,397036,282,0,5879,282660,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,7.20576e+25,8.02939,165608,2,1057,368,397036,283,0,5884,282660,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.03179,165608,2,1056,368,397036,284,0,5889,282660,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.03417,165608,2,1057,368,397036,285,0,5894,282660,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.03667,165608,2,1065,368,397036,286,0,5900,282660,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.03903,165608,2,1056,368,397036,287,0,5905,282660,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.04151,165608,2,1065,368,397036,288,0,5909,282660,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,2.2518e+23,8.04391,165608,2,1046,368,397036,289,0,5914,282660,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.0463,165608,2,1045,368,397036,290,0,5919,282660,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,2.2518e+24,8.04888,165608,2,1052,368,397036,291,0,5924,282660,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.05134,165608,2,1045,368,397036,292,0,5929,282660,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.05394,165608,2,1053,368,397036,293,0,5935,282660,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.05641,165608,2,1044,368,397036,294,0,5940,282660,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.05907,165608,2,1053,368,397036,295,0,5944,282660,0
Reachability property qltransition_639 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_639,5.6295e+21,8.06172,165608,2,1038,368,397036,296,0,5949,282660,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.40737e+21,8.0644,165608,2,1036,368,397036,297,0,5954,282660,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.0671,165608,2,1040,368,397036,298,0,5959,282660,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.0697,165608,2,1033,368,397036,299,0,5964,282660,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.07241,165608,2,1041,368,397036,300,0,5970,282660,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.07493,165608,2,1032,368,397036,301,0,5975,282660,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.0776,165608,2,1041,368,397036,302,0,5979,282660,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.08018,165608,2,1022,368,397036,303,0,5984,282660,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.0828,165608,2,1024,368,397036,304,0,5989,282660,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.08538,165608,2,1020,368,397036,305,0,5994,282660,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.08798,165608,2,1021,368,397036,306,0,5999,282660,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.09067,165608,2,1029,368,397036,307,0,6005,282660,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.09328,165608,2,1020,368,397036,308,0,6010,282660,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.09603,165608,2,1029,368,397036,309,0,6014,282660,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,1.37439e+16,8.09877,165608,2,1014,368,397036,310,0,6019,282660,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,3.43597e+15,8.10153,165608,2,1012,368,397036,311,0,6024,282660,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.10437,165608,2,1016,368,397036,312,0,6029,282660,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.10706,165608,2,1009,368,397036,313,0,6034,282660,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.10991,165608,2,1017,368,397036,314,0,6040,282660,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.11269,165608,2,1008,368,397036,315,0,6045,282660,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.11556,165608,2,1017,368,397036,316,0,6049,282660,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,2.14748e+13,8.1184,165608,2,1002,368,397036,317,0,6054,282660,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,5.36871e+12,8.12125,165608,2,1000,368,397036,318,0,6059,282660,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.12406,165608,2,996,368,397036,319,0,6064,282660,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.12682,165608,2,997,368,397036,320,0,6069,282660,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.12974,165608,2,1005,368,397036,321,0,6075,282660,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.1325,165608,2,996,368,397036,322,0,6080,282660,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.1354,165608,2,1005,368,397036,323,0,6084,282660,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.13824,165608,2,990,368,397036,324,0,6089,282660,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,1.04858e+09,8.14104,165608,2,985,368,397036,325,0,6094,282660,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.14385,165608,2,984,368,397036,326,0,6099,282660,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.14664,165608,2,985,368,397036,327,0,6104,282660,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.14966,165608,2,993,368,397036,328,0,6110,282660,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.15256,165608,2,984,368,397036,329,0,6115,282660,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.15557,165608,2,993,368,397036,330,0,6119,282660,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,3.2768e+06,8.15847,165608,2,974,368,397036,331,0,6124,282660,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.16148,165608,2,973,368,397036,332,0,6129,282660,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,3.2768e+07,8.16465,165608,2,980,368,397036,333,0,6134,282660,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.16766,165608,2,973,368,397036,334,0,6139,282660,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.17077,165608,2,981,368,397036,335,0,6145,282660,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.17383,165608,2,972,368,397036,336,0,6150,282660,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.177,165608,2,981,368,397036,337,0,6154,282660,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,5120,8.18005,165608,2,962,368,397036,338,0,6159,282660,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.18315,165608,2,964,368,397036,339,0,6164,282660,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,51200,8.18633,165608,2,968,368,397036,340,0,6169,282660,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.21504,165608,2,961,368,397036,341,0,6174,282660,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.21846,165608,2,969,368,397036,342,0,6180,282660,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.22149,165608,2,960,368,397036,343,0,6185,282660,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.22462,165608,2,969,368,397036,344,0,6189,282660,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.22755,165608,2,950,368,397036,345,0,6194,282660,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,32,8.2305,165608,2,952,368,397036,346,0,6199,282660,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.23336,165608,2,948,368,397036,347,0,6204,282660,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.23616,165608,2,949,368,397036,348,0,6209,282660,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.23912,165608,2,957,368,397036,349,0,6215,282660,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.24193,165608,2,948,368,397036,350,0,6220,282660,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.24491,165608,2,957,368,397036,351,0,6224,282660,0
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 1621071660732

--------------------
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
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
++ cut -d . -f 9
+ 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="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is 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 r223-tall-162098216100302"
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 ;