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-162098216400512.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 ShieldPPPt-PT-040A, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r223-tall-162098216400512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 8.6K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 104K 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.5K Mar 28 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 12:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 27 12:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 18:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:36 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 268K 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 1621073892539

Running Version 0
[2021-05-15 10:18:14] [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 10:18:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-15 10:18:14] [INFO ] Load time of PNML (sax parser for PT used): 98 ms
[2021-05-15 10:18:14] [INFO ] Transformed 1003 places.
[2021-05-15 10:18:14] [INFO ] Transformed 723 transitions.
[2021-05-15 10:18:14] [INFO ] Found NUPN structural information;
[2021-05-15 10:18:14] [INFO ] Parsed PT model containing 1003 places and 723 transitions in 169 ms.
Starting structural reductions, iteration 0 : 1003/1003 places, 723/723 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 1003 transition count 722
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 5 place count 1001 transition count 720
Applied a total of 5 rules in 212 ms. Remains 1001 /1003 variables (removed 2) and now considering 720/723 (removed 3) transitions.
// Phase 1: matrix 720 rows 1001 cols
[2021-05-15 10:18:14] [INFO ] Computed 441 place invariants in 15 ms
[2021-05-15 10:18:15] [INFO ] Implicit Places using invariants in 769 ms returned [994]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 801 ms to find 1 implicit places.
// Phase 1: matrix 720 rows 1000 cols
[2021-05-15 10:18:15] [INFO ] Computed 440 place invariants in 6 ms
[2021-05-15 10:18:15] [INFO ] Dead Transitions using invariants and state equation in 508 ms returned []
Starting structural reductions, iteration 1 : 1000/1003 places, 720/723 transitions.
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 0 place count 1000 transition count 718
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 998 transition count 718
Applied a total of 4 rules in 75 ms. Remains 998 /1000 variables (removed 2) and now considering 718/720 (removed 2) transitions.
// Phase 1: matrix 718 rows 998 cols
[2021-05-15 10:18:16] [INFO ] Computed 440 place invariants in 4 ms
[2021-05-15 10:18:16] [INFO ] Implicit Places using invariants in 620 ms returned [981, 985]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 623 ms to find 2 implicit places.
Starting structural reductions, iteration 2 : 996/1003 places, 718/723 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 994 transition count 716
Applied a total of 4 rules in 48 ms. Remains 994 /996 variables (removed 2) and now considering 716/718 (removed 2) transitions.
// Phase 1: matrix 716 rows 994 cols
[2021-05-15 10:18:16] [INFO ] Computed 438 place invariants in 27 ms
[2021-05-15 10:18:17] [INFO ] Implicit Places using invariants in 593 ms returned []
// Phase 1: matrix 716 rows 994 cols
[2021-05-15 10:18:17] [INFO ] Computed 438 place invariants in 3 ms
[2021-05-15 10:18:18] [INFO ] Implicit Places using invariants and state equation in 1006 ms returned []
Implicit Place search using SMT with State Equation took 1602 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 994/1003 places, 716/723 transitions.
Discarding 159 transitions out of 716. Remains 557
[2021-05-15 10:18:18] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 405 ms. (steps per millisecond=24 ) properties (out of 556) seen :170
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) 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 386) seen :0
Running SMT prover for 386 properties.
// Phase 1: matrix 716 rows 994 cols
[2021-05-15 10:18:18] [INFO ] Computed 438 place invariants in 3 ms
[2021-05-15 10:18:23] [INFO ] [Real]Absence check using 438 positive place invariants in 68 ms returned sat
[2021-05-15 10:18:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 10:18:39] [INFO ] [Real]Absence check using state equation in 10620 ms returned unsat :0 sat :201 real:185
Attempting to minimize the solution found.
Minimization took 4324 ms.
[2021-05-15 10:18:43] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :50 real:336
[2021-05-15 10:18:48] [INFO ] [Nat]Absence check using 438 positive place invariants in 72 ms returned sat
[2021-05-15 10:18:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 10:19:04] [INFO ] [Nat]Absence check using state equation in 11208 ms returned unsat :0 sat :386
Attempting to minimize the solution found.
Minimization took 4288 ms.
[2021-05-15 10:19:08] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :386
Fused 386 Parikh solutions to 341 different solutions.
Incomplete Parikh walk after 777 steps, including 35 resets, run finished after 39 ms. (steps per millisecond=19 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 791 steps, including 35 resets, run finished after 31 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 793 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 792 steps, including 35 resets, run finished after 31 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 804 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 808 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 807 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 820 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 818 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 815 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 808 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 802 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 804 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 803 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 797 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 791 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 793 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 795 steps, including 37 resets, run finished after 32 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 791 steps, including 35 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 790 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 777 steps, including 35 resets, run finished after 30 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 774 steps, including 35 resets, run finished after 30 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 551 steps, including 17 resets, run finished after 22 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 561 steps, including 17 resets, run finished after 22 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 463 steps, including 17 resets, run finished after 18 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 502 steps, including 18 resets, run finished after 20 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 428 steps, including 15 resets, run finished after 17 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 462 steps, including 17 resets, run finished after 18 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 466 steps, including 17 resets, run finished after 18 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 468 steps, including 17 resets, run finished after 17 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 491 steps, including 18 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 490 steps, including 18 resets, run finished after 19 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 496 steps, including 18 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 496 steps, including 18 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 500 steps, including 18 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 502 steps, including 18 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 518 steps, including 19 resets, run finished after 19 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 522 steps, including 19 resets, run finished after 19 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 524 steps, including 19 resets, run finished after 19 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 528 steps, including 19 resets, run finished after 19 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 533 steps, including 19 resets, run finished after 19 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 535 steps, including 19 resets, run finished after 20 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 537 steps, including 19 resets, run finished after 20 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 541 steps, including 20 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 543 steps, including 20 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 545 steps, including 20 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 557 steps, including 20 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 557 steps, including 20 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 568 steps, including 21 resets, run finished after 23 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 569 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 571 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 573 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 577 steps, including 21 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 579 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 583 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 581 steps, including 21 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 583 steps, including 21 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 590 steps, including 21 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 590 steps, including 21 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 595 steps, including 22 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 599 steps, including 22 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 593 steps, including 21 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 588 steps, including 21 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 584 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 575 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 573 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 569 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 565 steps, including 21 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 559 steps, including 20 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 560 steps, including 20 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 555 steps, including 20 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 551 steps, including 20 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 546 steps, including 20 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 539 steps, including 19 resets, run finished after 20 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 540 steps, including 20 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 533 steps, including 19 resets, run finished after 20 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 582 steps, including 41 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 581 steps, including 41 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 466 steps, including 26 resets, run finished after 17 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 463 steps, including 30 resets, run finished after 19 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 459 steps, including 30 resets, run finished after 17 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 460 steps, including 30 resets, run finished after 17 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 465 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 476 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 479 steps, including 31 resets, run finished after 17 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 497 steps, including 33 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 496 steps, including 32 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 497 steps, including 33 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 498 steps, including 33 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 474 steps, including 31 resets, run finished after 17 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 473 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 466 steps, including 31 resets, run finished after 17 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 479 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 478 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 479 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 471 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 470 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 469 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 474 steps, including 31 resets, run finished after 19 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 468 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 466 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 473 steps, including 31 resets, run finished after 18 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 497 steps, including 33 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 496 steps, including 33 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 490 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 494 steps, including 33 resets, run finished after 20 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 495 steps, including 33 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 492 steps, including 32 resets, run finished after 19 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 496 steps, including 33 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 497 steps, including 33 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 490 steps, including 32 resets, run finished after 19 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 487 steps, including 32 resets, run finished after 19 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 490 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 488 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 488 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 486 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 487 steps, including 32 resets, run finished after 20 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 489 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 488 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 492 steps, including 32 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 490 steps, including 32 resets, run finished after 19 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 496 steps, including 33 resets, run finished after 18 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 510 steps, including 34 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 510 steps, including 33 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 514 steps, including 34 resets, run finished after 20 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 512 steps, including 34 resets, run finished after 19 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 513 steps, including 34 resets, run finished after 19 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 532 steps, including 35 resets, run finished after 20 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 528 steps, including 35 resets, run finished after 20 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 542 steps, including 35 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 541 steps, including 36 resets, run finished after 21 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 555 steps, including 37 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 554 steps, including 37 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 721 steps, including 14 resets, run finished after 26 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 734 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 724 steps, including 15 resets, run finished after 26 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 721 steps, including 14 resets, run finished after 26 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 722 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 723 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 724 steps, including 14 resets, run finished after 27 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 723 steps, including 14 resets, run finished after 26 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 721 steps, including 14 resets, run finished after 26 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 720 steps, including 15 resets, run finished after 27 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 911 steps, including 20 resets, run finished after 33 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 894 steps, including 19 resets, run finished after 33 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 864 steps, including 18 resets, run finished after 33 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 866 steps, including 19 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 865 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 863 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 861 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 860 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 912 steps, including 19 resets, run finished after 33 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 872 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 916 steps, including 19 resets, run finished after 34 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 915 steps, including 19 resets, run finished after 34 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 960 steps, including 20 resets, run finished after 35 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 959 steps, including 21 resets, run finished after 35 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 958 steps, including 21 resets, run finished after 35 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 960 steps, including 21 resets, run finished after 35 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 925 steps, including 20 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 925 steps, including 20 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 924 steps, including 20 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 923 steps, including 20 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 921 steps, including 21 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 920 steps, including 20 resets, run finished after 33 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 919 steps, including 20 resets, run finished after 35 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 906 steps, including 19 resets, run finished after 33 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 893 steps, including 19 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 891 steps, including 19 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 874 steps, including 19 resets, run finished after 31 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 873 steps, including 19 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 857 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 856 steps, including 19 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 855 steps, including 18 resets, run finished after 32 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 854 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 835 steps, including 19 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 833 steps, including 19 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 832 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 828 steps, including 17 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 827 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 826 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 827 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 829 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 832 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 19 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 833 steps, including 18 resets, run finished after 35 ms. (steps per millisecond=23 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 830 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 829 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 827 steps, including 17 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 835 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 833 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 830 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 829 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 828 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 827 steps, including 17 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 825 steps, including 17 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 824 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 834 steps, including 18 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 833 steps, including 19 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 831 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 850 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 849 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 848 steps, including 18 resets, run finished after 31 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 684 steps, including 154 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 677 steps, including 167 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 690 steps, including 164 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 691 steps, including 140 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 688 steps, including 158 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 687 steps, including 161 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 686 steps, including 171 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 685 steps, including 159 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 684 steps, including 166 resets, run finished after 28 ms. (steps per millisecond=24 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 557 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 556 steps, including 8 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 554 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 553 steps, including 8 resets, run finished after 20 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 564 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 574 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 573 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 572 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 565 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 559 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 569 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 585 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 585 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 584 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 583 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 582 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 588 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 600 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 599 steps, including 8 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 598 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 594 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 593 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 596 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 605 steps, including 8 resets, run finished after 24 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 609 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 612 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 616 steps, including 9 resets, run finished after 22 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 616 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 618 steps, including 9 resets, run finished after 22 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 617 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 616 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 615 steps, including 9 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 613 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 631 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 624 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 619 steps, including 9 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 609 steps, including 8 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 608 steps, including 8 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 601 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 600 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 599 steps, including 8 resets, run finished after 23 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 596 steps, including 8 resets, run finished after 22 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 566 steps, including 8 resets, run finished after 21 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 793 steps, including 16 resets, run finished after 29 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 709 steps, including 24 resets, run finished after 25 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 937 steps, including 34 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 923 steps, including 5 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 921 steps, including 5 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 922 steps, including 5 resets, run finished after 34 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 782 steps, including 13 resets, run finished after 29 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 810 steps, including 36 resets, run finished after 32 ms. (steps per millisecond=25 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 818 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 817 steps, including 38 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 37 resets, run finished after 29 ms. (steps per millisecond=28 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 876 steps, including 40 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 876 steps, including 39 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 875 steps, including 39 resets, run finished after 33 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 872 steps, including 39 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 872 steps, including 39 resets, run finished after 33 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 871 steps, including 39 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 870 steps, including 39 resets, run finished after 33 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 869 steps, including 40 resets, run finished after 32 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 837 steps, including 39 resets, run finished after 32 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 823 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 815 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 812 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 810 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 818 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 817 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 812 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 811 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 817 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 818 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 817 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 815 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 36 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 812 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 816 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 817 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 815 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 37 resets, run finished after 37 ms. (steps per millisecond=21 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 823 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 829 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 822 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 814 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 812 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 810 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 809 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 810 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 809 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 821 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 811 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 802 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 801 steps, including 36 resets, run finished after 29 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 811 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 810 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 809 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 829 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 830 steps, including 37 resets, run finished after 38 ms. (steps per millisecond=21 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 813 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 802 steps, including 36 resets, run finished after 30 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 786 steps, including 35 resets, run finished after 29 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 783 steps, including 35 resets, run finished after 29 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 780 steps, including 35 resets, run finished after 28 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 779 steps, including 35 resets, run finished after 28 ms. (steps per millisecond=27 ) properties (out of 386) seen :0 could not realise parikh vector
Incomplete Parikh walk after 778 steps, including 35 resets, run finished after 29 ms. (steps per millisecond=26 ) properties (out of 386) seen :0 could not realise parikh vector
Support contains 692 out of 994 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 994/994 places, 716/716 transitions.
Partial Free-agglomeration rule applied 46 times.
Drop transitions removed 46 transitions
Iterating global reduction 0 with 46 rules applied. Total rules applied 46 place count 994 transition count 716
Applied a total of 46 rules in 58 ms. Remains 994 /994 variables (removed 0) and now considering 716/716 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 994/994 places, 716/716 transitions.
[2021-05-15 10:19:17] [INFO ] Flatten gal took : 176 ms
[2021-05-15 10:19:17] [INFO ] Flatten gal took : 73 ms
[2021-05-15 10:19:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16906645879486401064.gal : 24 ms
[2021-05-15 10:19:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8226012353172744747.prop : 4 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/ReachabilityCardinality16906645879486401064.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8226012353172744747.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/ReachabilityCardinality16906645879486401064.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8226012353172744747.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality8226012353172744747.prop.
SDD proceeding with computation,386 properties remain. new max is 4
SDD size :2 after 6
SDD proceeding with computation,386 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,386 properties remain. new max is 16
SDD size :14 after 27
Reachability property qltransition_511 is true.
Reachability property qltransition_506 is true.
Reachability property qltransition_502 is true.
Reachability property qltransition_497 is true.
Reachability property qltransition_493 is true.
Reachability property qltransition_488 is true.
Reachability property qltransition_484 is true.
Reachability property qltransition_479 is true.
Reachability property qltransition_340 is true.
Reachability property qltransition_338 is true.
Reachability property qltransition_291 is true.
SDD proceeding with computation,375 properties remain. new max is 16
SDD size :27 after 53
Reachability property qltransition_583 is true.
Reachability property qltransition_578 is true.
Reachability property qltransition_574 is true.
Reachability property qltransition_569 is true.
Reachability property qltransition_565 is true.
Reachability property qltransition_560 is true.
Reachability property qltransition_556 is true.
Reachability property qltransition_551 is true.
Reachability property qltransition_547 is true.
Reachability property qltransition_542 is true.
Reachability property qltransition_538 is true.
Reachability property qltransition_533 is true.
Reachability property qltransition_529 is true.
Reachability property qltransition_524 is true.
Reachability property qltransition_520 is true.
Reachability property qltransition_515 is true.
Reachability property qltransition_336 is true.
Reachability property qltransition_334 is true.
Reachability property qltransition_332 is true.
Reachability property qltransition_330 is true.
Reachability property qltransition_301 is true.
Reachability property qltransition_299 is true.
Reachability property qltransition_297 is true.
Reachability property qltransition_295 is true.
Reachability property qltransition_293 is true.
SDD proceeding with computation,350 properties remain. new max is 16
SDD size :53 after 78
Reachability property qltransition_664 is true.
Reachability property qltransition_659 is true.
Reachability property qltransition_655 is true.
Reachability property qltransition_650 is true.
Reachability property qltransition_646 is true.
Reachability property qltransition_641 is true.
Reachability property qltransition_637 is true.
Reachability property qltransition_632 is true.
Reachability property qltransition_628 is true.
Reachability property qltransition_623 is true.
Reachability property qltransition_619 is true.
Reachability property qltransition_614 is true.
Reachability property qltransition_610 is true.
Reachability property qltransition_605 is true.
Reachability property qltransition_601 is true.
Reachability property qltransition_596 is true.
Reachability property qltransition_592 is true.
Reachability property qltransition_587 is true.
Reachability property qltransition_328 is true.
Reachability property qltransition_326 is true.
Reachability property qltransition_324 is true.
Reachability property qltransition_322 is true.
Reachability property qltransition_309 is true.
Reachability property qltransition_307 is true.
Reachability property qltransition_305 is true.
Reachability property qltransition_303 is true.
SDD proceeding with computation,324 properties remain. new max is 16
SDD size :78 after 104
Reachability property qltransition_711 is true.
Reachability property qltransition_709 is true.
Reachability property qltransition_706 is true.
Reachability property qltransition_704 is true.
Reachability property qltransition_700 is true.
Reachability property qltransition_695 is true.
Reachability property qltransition_691 is true.
Reachability property qltransition_686 is true.
Reachability property qltransition_682 is true.
Reachability property qltransition_677 is true.
Reachability property qltransition_673 is true.
Reachability property qltransition_668 is true.
Reachability property qltransition_320 is true.
Reachability property qltransition_318 is true.
Reachability property qltransition_317 is true.
Reachability property qltransition_316 is true.
Reachability property qltransition_315 is true.
Reachability property qltransition_314 is true.
Reachability property qltransition_313 is true.
Reachability property qltransition_311 is true.
SDD proceeding with computation,304 properties remain. new max is 16
SDD size :104 after 125
Reachability property qltransition_710 is true.
Reachability property qltransition_708 is true.
Reachability property qltransition_707 is true.
Reachability property qltransition_705 is true.
Reachability property qltransition_2 is true.
Reachability property qltransition_1 is true.
SDD proceeding with computation,298 properties remain. new max is 16
SDD size :125 after 185
Reachability property qltransition_703 is true.
Reachability property qltransition_0 is true.
SDD proceeding with computation,296 properties remain. new max is 16
SDD size :185 after 300
SDD proceeding with computation,296 properties remain. new max is 32
SDD size :300 after 403
SDD proceeding with computation,296 properties remain. new max is 64
SDD size :403 after 1091
Reachability property qltransition_702 is true.
Reachability property qltransition_697 is true.
SDD proceeding with computation,294 properties remain. new max is 64
SDD size :1091 after 2400
Reachability property qltransition_701 is true.
Reachability property qltransition_699 is true.
Reachability property qltransition_698 is true.
Reachability property qltransition_696 is true.
Reachability property qltransition_694 is true.
Reachability property qltransition_312 is true.
Reachability property qltransition_5 is true.
Reachability property qltransition_4 is true.
Reachability property qltransition_3 is true.
SDD proceeding with computation,285 properties remain. new max is 64
SDD size :2400 after 192356
SDD proceeding with computation,285 properties remain. new max is 128
SDD size :192356 after 469374
SDD proceeding with computation,285 properties remain. new max is 256
SDD size :469374 after 1.01744e+06
SDD proceeding with computation,285 properties remain. new max is 512
SDD size :1.01744e+06 after 1.66774e+07
Reachability property qltransition_693 is true.
Reachability property qltransition_692 is true.
Reachability property qltransition_690 is true.
Reachability property qltransition_689 is true.
Reachability property qltransition_688 is true.
Reachability property qltransition_687 is true.
Reachability property qltransition_685 is true.
Reachability property qltransition_319 is true.
Reachability property qltransition_8 is true.
Reachability property qltransition_7 is true.
Reachability property qltransition_6 is true.
SDD proceeding with computation,274 properties remain. new max is 512
SDD size :1.66774e+07 after 8.59392e+10
Reachability property qltransition_684 is true.
Reachability property qltransition_683 is true.
Reachability property qltransition_681 is true.
Reachability property qltransition_680 is true.
Reachability property qltransition_679 is true.
Reachability property qltransition_678 is true.
Reachability property qltransition_676 is true.
Reachability property qltransition_675 is true.
Reachability property qltransition_674 is true.
Reachability property qltransition_670 is true.
Reachability property qltransition_321 is true.
Reachability property qltransition_310 is true.
Reachability property qltransition_14 is true.
Reachability property qltransition_13 is true.
Reachability property qltransition_11 is true.
Reachability property qltransition_10 is true.
Reachability property qltransition_9 is true.
SDD proceeding with computation,257 properties remain. new max is 512
SDD size :8.59392e+10 after 6.5536e+15
Reachability property qltransition_672 is true.
Reachability property qltransition_671 is true.
Reachability property qltransition_669 is true.
Reachability property qltransition_667 is true.
Reachability property qltransition_666 is true.
Reachability property qltransition_665 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_658 is true.
Reachability property qltransition_308 is true.
Reachability property qltransition_17 is true.
Reachability property qltransition_16 is true.
Reachability property qltransition_15 is true.
Reachability property qltransition_12 is true.
SDD proceeding with computation,241 properties remain. new max is 512
SDD size :6.5536e+15 after 8.19814e+20
Reachability property qltransition_657 is true.
Reachability property qltransition_656 is true.
Reachability property qltransition_654 is true.
Reachability property qltransition_653 is true.
Reachability property qltransition_652 is true.
Reachability property qltransition_651 is true.
Reachability property qltransition_649 is true.
Reachability property qltransition_323 is true.
Reachability property qltransition_20 is true.
Reachability property qltransition_19 is true.
Reachability property qltransition_18 is true.
SDD proceeding with computation,230 properties remain. new max is 512
SDD size :8.19814e+20 after 1.3815e+25
Reachability property qltransition_648 is true.
Reachability property qltransition_647 is true.
Reachability property qltransition_645 is true.
Reachability property qltransition_644 is true.
Reachability property qltransition_643 is true.
Reachability property qltransition_642 is true.
Reachability property qltransition_640 is true.
Reachability property qltransition_639 is true.
Reachability property qltransition_634 is true.
Reachability property qltransition_306 is true.
Reachability property qltransition_23 is true.
Reachability property qltransition_22 is true.
Reachability property qltransition_21 is true.
SDD proceeding with computation,217 properties remain. new max is 512
SDD size :1.3815e+25 after 2.0788e+29
Reachability property qltransition_638 is true.
Reachability property qltransition_636 is true.
Reachability property qltransition_635 is true.
Reachability property qltransition_633 is true.
Reachability property qltransition_631 is true.
Reachability property qltransition_630 is true.
Reachability property qltransition_629 is true.
Reachability property qltransition_627 is true.
Reachability property qltransition_626 is true.
Reachability property qltransition_625 is true.
Reachability property qltransition_624 is true.
Reachability property qltransition_622 is true.
Reachability property qltransition_325 is true.
Reachability property qltransition_304 is true.
Reachability property qltransition_29 is true.
Reachability property qltransition_28 is true.
Reachability property qltransition_27 is true.
Reachability property qltransition_26 is true.
Reachability property qltransition_25 is true.
Reachability property qltransition_24 is true.
SDD proceeding with computation,197 properties remain. new max is 512
SDD size :2.0788e+29 after 9.82516e+34
Reachability property qltransition_621 is true.
Reachability property qltransition_620 is true.
Reachability property qltransition_618 is true.
Reachability property qltransition_617 is true.
Reachability property qltransition_616 is true.
Reachability property qltransition_615 is true.
Reachability property qltransition_613 is true.
Reachability property qltransition_327 is true.
Reachability property qltransition_32 is true.
Reachability property qltransition_31 is true.
Reachability property qltransition_30 is true.
SDD proceeding with computation,186 properties remain. new max is 512
SDD size :9.82516e+34 after 2.32616e+39
Reachability property qltransition_612 is true.
Reachability property qltransition_611 is true.
Reachability property qltransition_609 is true.
Reachability property qltransition_608 is true.
Reachability property qltransition_607 is true.
Reachability property qltransition_606 is true.
Reachability property qltransition_604 is true.
Reachability property qltransition_302 is true.
Reachability property qltransition_35 is true.
Reachability property qltransition_34 is true.
Reachability property qltransition_33 is true.
SDD proceeding with computation,175 properties remain. new max is 512
SDD size :2.32616e+39 after 2.68435e+43
Reachability property qltransition_603 is true.
Reachability property qltransition_602 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_595 is true.
Reachability property qltransition_594 is true.
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_588 is true.
Reachability property qltransition_586 is true.
Reachability property qltransition_329 is true.
Reachability property qltransition_300 is true.
Reachability property qltransition_41 is true.
Reachability property qltransition_40 is true.
Reachability property qltransition_39 is true.
Reachability property qltransition_38 is true.
Reachability property qltransition_37 is true.
Reachability property qltransition_36 is true.
SDD proceeding with computation,153 properties remain. new max is 512
SDD size :2.68435e+43 after 2.44495e+49
Reachability property qltransition_585 is true.
Reachability property qltransition_584 is true.
Reachability property qltransition_582 is true.
Reachability property qltransition_581 is true.
Reachability property qltransition_580 is true.
Reachability property qltransition_579 is true.
Reachability property qltransition_577 is true.
Reachability property qltransition_331 is true.
Reachability property qltransition_44 is true.
Reachability property qltransition_43 is true.
Reachability property qltransition_42 is true.
SDD proceeding with computation,142 properties remain. new max is 512
SDD size :2.44495e+49 after 2.21296e+53
Reachability property qltransition_576 is true.
Reachability property qltransition_575 is true.
Reachability property qltransition_573 is true.
Reachability property qltransition_572 is true.
Reachability property qltransition_571 is true.
Reachability property qltransition_570 is true.
Reachability property qltransition_568 is true.
Reachability property qltransition_298 is true.
Reachability property qltransition_47 is true.
Reachability property qltransition_46 is true.
Reachability property qltransition_45 is true.
SDD proceeding with computation,131 properties remain. new max is 512
SDD size :2.21296e+53 after 5.66163e+57
Reachability property qltransition_567 is true.
Reachability property qltransition_566 is true.
Reachability property qltransition_564 is true.
Reachability property qltransition_563 is true.
Reachability property qltransition_562 is true.
Reachability property qltransition_561 is true.
Reachability property qltransition_559 is true.
Reachability property qltransition_558 is true.
Reachability property qltransition_553 is true.
Reachability property qltransition_333 is true.
Reachability property qltransition_50 is true.
Reachability property qltransition_49 is true.
Reachability property qltransition_48 is true.
SDD proceeding with computation,118 properties remain. new max is 512
SDD size :5.66163e+57 after 5.49756e+61
Reachability property qltransition_557 is true.
Reachability property qltransition_555 is true.
Reachability property qltransition_554 is true.
Reachability property qltransition_552 is true.
Reachability property qltransition_550 is true.
Reachability property qltransition_549 is true.
Reachability property qltransition_548 is true.
Reachability property qltransition_546 is true.
Reachability property qltransition_545 is true.
Reachability property qltransition_544 is true.
Reachability property qltransition_543 is true.
Reachability property qltransition_541 is true.
Reachability property qltransition_335 is true.
Reachability property qltransition_296 is true.
Reachability property qltransition_56 is true.
Reachability property qltransition_55 is true.
Reachability property qltransition_54 is true.
Reachability property qltransition_53 is true.
Reachability property qltransition_52 is true.
Reachability property qltransition_51 is true.
SDD proceeding with computation,98 properties remain. new max is 512
SDD size :5.49756e+61 after 5.31339e+67
Reachability property qltransition_540 is true.
Reachability property qltransition_539 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_532 is true.
Reachability property qltransition_294 is true.
Reachability property qltransition_59 is true.
Reachability property qltransition_58 is true.
Reachability property qltransition_57 is true.
SDD proceeding with computation,87 properties remain. new max is 512
SDD size :5.31339e+67 after 8.98961e+71
Reachability property qltransition_531 is true.
Reachability property qltransition_530 is true.
Reachability property qltransition_528 is true.
Reachability property qltransition_527 is true.
Reachability property qltransition_526 is true.
Reachability property qltransition_525 is true.
Reachability property qltransition_523 is true.
Reachability property qltransition_522 is true.
Reachability property qltransition_517 is true.
Reachability property qltransition_337 is true.
Reachability property qltransition_62 is true.
Reachability property qltransition_61 is true.
Reachability property qltransition_60 is true.
SDD proceeding with computation,74 properties remain. new max is 512
SDD size :8.98961e+71 after 1.09247e+76
Reachability property qltransition_521 is true.
Reachability property qltransition_519 is true.
Reachability property qltransition_518 is true.
Reachability property qltransition_516 is true.
Reachability property qltransition_514 is true.
Reachability property qltransition_513 is true.
Reachability property qltransition_512 is true.
Reachability property qltransition_510 is true.
Reachability property qltransition_509 is true.
Reachability property qltransition_508 is true.
Reachability property qltransition_507 is true.
Reachability property qltransition_505 is true.
Reachability property qltransition_339 is true.
Reachability property qltransition_292 is true.
Reachability property qltransition_68 is true.
Reachability property qltransition_67 is true.
Reachability property qltransition_66 is true.
Reachability property qltransition_65 is true.
Reachability property qltransition_64 is true.
Reachability property qltransition_63 is true.
SDD proceeding with computation,54 properties remain. new max is 512
SDD size :1.09247e+76 after 6.40344e+81
Reachability property qltransition_504 is true.
Reachability property qltransition_503 is true.
Reachability property qltransition_501 is true.
Reachability property qltransition_500 is true.
Reachability property qltransition_499 is true.
Reachability property qltransition_498 is true.
Reachability property qltransition_496 is true.
Reachability property qltransition_290 is true.
Reachability property qltransition_71 is true.
Reachability property qltransition_70 is true.
Reachability property qltransition_69 is true.
SDD proceeding with computation,43 properties remain. new max is 512
SDD size :6.40344e+81 after 5.80111e+85
Reachability property qltransition_495 is true.
Reachability property qltransition_494 is true.
Reachability property qltransition_492 is true.
Reachability property qltransition_491 is true.
Reachability property qltransition_490 is true.
Reachability property qltransition_489 is true.
Reachability property qltransition_487 is true.
Reachability property qltransition_341 is true.
Reachability property qltransition_74 is true.
Reachability property qltransition_73 is true.
Reachability property qltransition_72 is true.
SDD proceeding with computation,32 properties remain. new max is 512
SDD size :5.80111e+85 after 1.23624e+90
Reachability property qltransition_486 is true.
Reachability property qltransition_485 is true.
Reachability property qltransition_483 is true.
Reachability property qltransition_482 is true.
Reachability property qltransition_481 is true.
Reachability property qltransition_480 is true.
Reachability property qltransition_478 is true.
Reachability property qltransition_477 is true.
Reachability property qltransition_472 is true.
Reachability property qltransition_343 is true.
Reachability property qltransition_288 is true.
Reachability property qltransition_79 is true.
Reachability property qltransition_77 is true.
Reachability property qltransition_76 is true.
Reachability property qltransition_75 is true.
SDD proceeding with computation,17 properties remain. new max is 512
SDD size :1.23624e+90 after 7.92634e+94
Reachability property qltransition_474 is true.
Reachability property qltransition_473 is true.
Reachability property qltransition_471 is true.
Reachability property qltransition_469 is true.
Reachability property qltransition_468 is true.
Reachability property qltransition_465 is true.
Reachability property qltransition_464 is true.
Reachability property qltransition_463 is true.
Reachability property qltransition_462 is true.
Reachability property qltransition_460 is true.
Reachability property qltransition_286 is true.
Reachability property qltransition_82 is true.
Reachability property qltransition_81 is true.
Reachability property qltransition_78 is true.
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :7.92634e+94 after 2.1711e+100
Reachability property qltransition_459 is true.
Reachability property qltransition_454 is true.
Reachability property qltransition_85 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,1.4287e+104,7.96118,198028,2,5126,394,510987,6,0,4694,392267,0
Total reachable state count : 1.428700328508804772442004540144780095661e+104

Verifying 386 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.96635,198028,2,997,394,510987,7,0,4700,392267,0
Reachability property qltransition_1 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_1,20,7.96852,198028,2,1002,394,510987,8,0,4705,392267,0
Reachability property qltransition_2 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2,100,7.97048,198028,2,1007,394,510987,9,0,4710,392267,0
Reachability property qltransition_3 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3,16000,7.97237,198028,2,1017,394,510987,10,0,4715,392267,0
Reachability property qltransition_4 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4,80000,7.97426,198028,2,1022,394,510987,11,0,4720,392267,0
Reachability property qltransition_5 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5,400000,7.97613,198028,2,1027,394,510987,12,0,4725,392267,0
Reachability property qltransition_6 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6,6.4e+07,7.978,198028,2,1037,394,510987,13,0,4730,392267,0
Reachability property qltransition_7 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7,3.2e+08,7.97985,198028,2,1042,394,510987,14,0,4735,392267,0
Reachability property qltransition_8 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_8,1.6e+09,7.98173,198028,2,1047,394,510987,15,0,4740,392267,0
Reachability property qltransition_9 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_9,2.56e+11,7.98354,198028,2,1057,394,510987,16,0,4745,392267,0
Reachability property qltransition_10 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_10,1.28e+12,7.98538,198028,2,1062,394,510987,17,0,4750,392267,0
Reachability property qltransition_11 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_11,6.4e+12,7.98724,198028,2,1067,394,510987,18,0,4755,392267,0
Reachability property qltransition_12 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_12,1.024e+15,7.98909,198028,2,1077,394,510987,19,0,4760,392267,0
Reachability property qltransition_13 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_13,5.12e+15,7.99096,198028,2,1082,394,510987,20,0,4765,392267,0
Reachability property qltransition_14 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_14,2.56e+16,7.99281,198028,2,1087,394,510987,21,0,4770,392267,0
Reachability property qltransition_15 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_15,4.096e+18,7.99467,198028,2,1097,394,510987,22,0,4775,392267,0
Reachability property qltransition_16 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_16,2.048e+19,7.99649,198028,2,1102,394,510987,23,0,4780,392267,0
Reachability property qltransition_17 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_17,1.024e+20,7.99835,198028,2,1107,394,510987,24,0,4785,392267,0
Reachability property qltransition_18 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_18,1.6384e+22,8.00014,198028,2,1117,394,510987,25,0,4790,392267,0
Reachability property qltransition_19 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_19,8.192e+22,8.00198,198028,2,1122,394,510987,26,0,4795,392267,0
Reachability property qltransition_20 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_20,4.096e+23,8.0038,198028,2,1127,394,510987,27,0,4800,392267,0
Reachability property qltransition_21 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_21,6.5536e+25,8.00562,198028,2,1137,394,510987,28,0,4805,392267,0
Reachability property qltransition_22 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_22,3.2768e+26,8.00746,198028,2,1142,394,510987,29,0,4810,392267,0
Reachability property qltransition_23 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_23,1.6384e+27,8.00932,198028,2,1147,394,510987,30,0,4815,392267,0
Reachability property qltransition_24 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_24,2.62144e+29,8.01111,198028,2,1157,394,510987,31,0,4820,392267,0
Reachability property qltransition_25 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_25,1.31072e+30,8.01292,198028,2,1162,394,510987,32,0,4825,392267,0
Reachability property qltransition_26 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_26,6.5536e+30,8.01477,198028,2,1167,394,510987,33,0,4830,392267,0
Reachability property qltransition_27 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_27,1.04858e+33,8.01656,198028,2,1177,394,510987,34,0,4835,392267,0
Reachability property qltransition_28 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_28,5.24288e+33,8.01843,198028,2,1182,394,510987,35,0,4840,392267,0
Reachability property qltransition_29 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_29,2.62144e+34,8.02027,198028,2,1187,394,510987,36,0,4845,392267,0
Reachability property qltransition_30 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_30,4.1943e+36,8.0221,198028,2,1197,394,510987,37,0,4850,392267,0
Reachability property qltransition_31 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_31,2.09715e+37,8.02389,198028,2,1202,394,510987,38,0,4855,392267,0
Reachability property qltransition_32 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_32,1.04858e+38,8.02567,198028,2,1207,394,510987,39,0,4860,392267,0
Reachability property qltransition_33 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_33,1.67772e+40,8.02741,198028,2,1217,394,510987,40,0,4865,392267,0
Reachability property qltransition_34 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_34,8.38861e+40,8.02918,198028,2,1222,394,510987,41,0,4870,392267,0
Reachability property qltransition_35 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_35,4.1943e+41,8.03097,198028,2,1227,394,510987,42,0,4875,392267,0
Reachability property qltransition_36 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_36,6.71089e+43,8.03274,198028,2,1237,394,510987,43,0,4880,392267,0
Reachability property qltransition_37 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_37,3.35544e+44,8.03452,198028,2,1242,394,510987,44,0,4885,392267,0
Reachability property qltransition_38 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_38,1.67772e+45,8.03627,198028,2,1247,394,510987,45,0,4890,392267,0
Reachability property qltransition_39 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_39,2.68435e+47,8.03803,198028,2,1257,394,510987,46,0,4895,392267,0
Reachability property qltransition_40 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_40,1.34218e+48,8.03977,198028,2,1262,394,510987,47,0,4900,392267,0
Reachability property qltransition_41 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_41,6.71089e+48,8.04156,198028,2,1267,394,510987,48,0,4905,392267,0
Reachability property qltransition_42 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_42,1.07374e+51,8.0433,198028,2,1277,394,510987,49,0,4910,392267,0
Reachability property qltransition_43 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_43,5.36871e+51,8.04507,198028,2,1282,394,510987,50,0,4915,392267,0
Reachability property qltransition_44 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_44,2.68435e+52,8.04683,198028,2,1287,394,510987,51,0,4920,392267,0
Reachability property qltransition_45 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_45,4.29497e+54,8.04855,198028,2,1297,394,510987,52,0,4925,392267,0
Reachability property qltransition_46 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_46,2.14748e+55,8.05029,198028,2,1302,394,510987,53,0,4930,392267,0
Reachability property qltransition_47 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_47,1.07374e+56,8.05198,198028,2,1307,394,510987,54,0,4935,392267,0
Reachability property qltransition_48 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_48,1.71799e+58,8.05368,198028,2,1317,394,510987,55,0,4940,392267,0
Reachability property qltransition_49 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_49,8.58993e+58,8.05535,198028,2,1322,394,510987,56,0,4945,392267,0
Reachability property qltransition_50 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_50,4.29497e+59,8.05702,198028,2,1327,394,510987,57,0,4950,392267,0
Reachability property qltransition_51 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_51,6.87195e+61,8.05867,198028,2,1337,394,510987,58,0,4955,392267,0
Reachability property qltransition_52 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_52,3.43597e+62,8.06036,198028,2,1342,394,510987,59,0,4960,392267,0
Reachability property qltransition_53 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_53,1.71799e+63,8.06203,198028,2,1347,394,510987,60,0,4965,392267,0
Reachability property qltransition_54 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_54,2.74878e+65,8.06364,198028,2,1357,394,510987,61,0,4970,392267,0
Reachability property qltransition_55 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_55,1.37439e+66,8.06525,198028,2,1362,394,510987,62,0,4975,392267,0
Reachability property qltransition_56 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_56,6.87195e+66,8.06693,198028,2,1367,394,510987,63,0,4980,392267,0
Reachability property qltransition_57 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_57,1.09951e+69,8.06858,198028,2,1377,394,510987,64,0,4985,392267,0
Reachability property qltransition_58 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_58,5.49756e+69,8.07024,198028,2,1382,394,510987,65,0,4990,392267,0
Reachability property qltransition_59 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_59,2.74878e+70,8.07187,198028,2,1387,394,510987,66,0,4995,392267,0
Reachability property qltransition_60 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_60,4.39805e+72,8.07347,198028,2,1397,394,510987,67,0,5000,392267,0
Reachability property qltransition_61 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_61,2.19902e+73,8.07506,198028,2,1402,394,510987,68,0,5005,392267,0
Reachability property qltransition_62 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_62,1.09951e+74,8.07666,198028,2,1407,394,510987,69,0,5010,392267,0
Reachability property qltransition_63 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_63,1.75922e+76,8.0782,198028,2,1417,394,510987,70,0,5015,392267,0
Reachability property qltransition_64 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_64,8.79609e+76,8.07976,198028,2,1422,394,510987,71,0,5020,392267,0
Reachability property qltransition_65 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_65,4.39805e+77,8.08758,198028,2,1427,394,510987,72,0,5025,392267,0
Reachability property qltransition_66 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_66,7.03687e+79,8.08905,198028,2,1437,394,510987,73,0,5030,392267,0
Reachability property qltransition_67 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_67,3.51844e+80,8.09049,198028,2,1442,394,510987,74,0,5035,392267,0
Reachability property qltransition_68 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_68,1.75922e+81,8.09191,198028,2,1447,394,510987,75,0,5040,392267,0
Reachability property qltransition_69 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_69,2.81475e+83,8.09334,198028,2,1457,394,510987,76,0,5045,392267,0
Reachability property qltransition_70 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_70,1.40737e+84,8.09478,198028,2,1462,394,510987,77,0,5050,392267,0
Reachability property qltransition_71 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_71,7.03687e+84,8.09619,198028,2,1467,394,510987,78,0,5055,392267,0
Reachability property qltransition_72 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_72,1.1259e+87,8.09761,198028,2,1477,394,510987,79,0,5060,392267,0
Reachability property qltransition_73 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_73,5.6295e+87,8.099,198028,2,1482,394,510987,80,0,5065,392267,0
Reachability property qltransition_74 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_74,2.81475e+88,8.10037,198028,2,1487,394,510987,81,0,5070,392267,0
Reachability property qltransition_75 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_75,4.5036e+90,8.10174,198028,2,1497,394,510987,82,0,5075,392267,0
Reachability property qltransition_76 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_76,2.2518e+91,8.10309,198028,2,1502,394,510987,83,0,5080,392267,0
Reachability property qltransition_77 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_77,1.1259e+92,8.10445,198028,2,1507,394,510987,84,0,5085,392267,0
Reachability property qltransition_78 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_78,1.80144e+94,8.10579,198028,2,1517,394,510987,85,0,5090,392267,0
Reachability property qltransition_79 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_79,9.0072e+94,8.10711,198028,2,1522,394,510987,86,0,5095,392267,0
Reachability property qltransition_81 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_81,5.76461e+97,8.10839,198028,2,1534,394,510987,87,0,5100,392267,0
Reachability property qltransition_82 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_82,2.8823e+98,8.10968,198028,2,1539,394,510987,88,0,5105,392267,0
Reachability property qltransition_85 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_85,1.38351e+101,8.11124,198028,2,2257,394,510987,89,0,5110,392267,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,4.32346e+99,8.11277,198028,2,2239,394,510987,90,0,5115,392267,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,5.6295e+92,8.11413,198028,2,1512,394,510987,91,0,5120,392267,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,3.51844e+85,8.11557,198028,2,1472,394,510987,92,0,5125,392267,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,7.03687e+84,8.11699,198028,2,1467,394,510987,93,0,5130,392267,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,2.19902e+78,8.11851,198028,2,1432,394,510987,94,0,5135,392267,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,4.39805e+77,8.12003,198028,2,1427,394,510987,95,0,5140,392267,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.37439e+71,8.12165,198028,2,1392,394,510987,96,0,5145,392267,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,2.74878e+70,8.12323,198028,2,1387,394,510987,97,0,5150,392267,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,8.58993e+63,8.1249,198028,2,1352,394,510987,98,0,5155,392267,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.71799e+63,8.12657,198028,2,1347,394,510987,99,0,5160,392267,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,5.36871e+56,8.12831,198028,2,1312,394,510987,100,0,5165,392267,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,1.07374e+56,8.13005,198028,2,1307,394,510987,101,0,5170,392267,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,3.35544e+49,8.13188,198028,2,1272,394,510987,102,0,5175,392267,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,6.71089e+48,8.13374,198028,2,1267,394,510987,103,0,5180,392267,0
Reachability property qltransition_302 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_302,2.09715e+42,8.13568,198028,2,1232,394,510987,104,0,5185,392267,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,4.1943e+41,8.1376,198028,2,1227,394,510987,105,0,5190,392267,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.31072e+35,8.13959,198028,2,1192,394,510987,106,0,5195,392267,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.62144e+34,8.14161,198028,2,1187,394,510987,107,0,5200,392267,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,8.192e+27,8.14368,198028,2,1152,394,510987,108,0,5205,392267,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.6384e+27,8.14581,198028,2,1147,394,510987,109,0,5210,392267,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,5.12e+20,8.14802,198028,2,1112,394,510987,110,0,5215,392267,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,1.024e+20,8.15027,198028,2,1107,394,510987,111,0,5220,392267,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,3.2e+13,8.15254,198028,2,1072,394,510987,112,0,5225,392267,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,6.4e+12,8.15483,198028,2,1067,394,510987,113,0,5230,392267,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,2e+06,8.15719,198028,2,1032,394,510987,114,0,5235,392267,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,400000,8.1595,198028,2,1027,394,510987,115,0,5240,392267,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,8.16195,198028,2,995,394,510987,116,0,5245,392267,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,1,8.16431,198028,2,995,394,510987,117,0,5250,392267,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,100,8.16675,198028,2,1007,394,510987,118,0,5255,392267,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,500,8.16916,198028,2,1012,394,510987,119,0,5260,392267,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,1.6e+09,8.17153,198028,2,1047,394,510987,120,0,5265,392267,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,8e+09,8.17393,198028,2,1052,394,510987,121,0,5270,392267,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,2.56e+16,8.17624,198028,2,1087,394,510987,122,0,5275,392267,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,1.28e+17,8.1786,198028,2,1092,394,510987,123,0,5280,392267,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.096e+23,8.18085,198028,2,1127,394,510987,124,0,5285,392267,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,2.048e+24,8.1831,198028,2,1132,394,510987,125,0,5290,392267,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,6.5536e+30,8.18524,198028,2,1167,394,510987,126,0,5295,392267,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.2768e+31,8.18739,198028,2,1172,394,510987,127,0,5300,392267,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,1.04858e+38,8.18942,198028,2,1207,394,510987,128,0,5305,392267,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,5.24288e+38,8.19148,198028,2,1212,394,510987,129,0,5310,392267,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,1.67772e+45,8.19346,198028,2,1247,394,510987,130,0,5315,392267,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,8.38861e+45,8.19545,198028,2,1252,394,510987,131,0,5320,392267,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,2.68435e+52,8.19738,198028,2,1287,394,510987,132,0,5325,392267,0
Reachability property qltransition_331 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_331,1.34218e+53,8.19931,198028,2,1292,394,510987,133,0,5330,392267,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,4.29497e+59,8.20115,198028,2,1327,394,510987,134,0,5335,392267,0
Reachability property qltransition_333 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_333,2.14748e+60,8.20302,198028,2,1332,394,510987,135,0,5340,392267,0
Reachability property qltransition_334 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_334,6.87195e+66,8.20479,198028,2,1367,394,510987,136,0,5345,392267,0
Reachability property qltransition_335 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_335,3.43597e+67,8.20654,198028,2,1372,394,510987,137,0,5350,392267,0
Reachability property qltransition_336 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_336,1.09951e+74,8.20822,198028,2,1407,394,510987,138,0,5355,392267,0
Reachability property qltransition_337 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_337,5.49756e+74,8.20991,198028,2,1412,394,510987,139,0,5360,392267,0
Reachability property qltransition_338 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_338,1.75922e+81,8.2115,198028,2,1447,394,510987,140,0,5365,392267,0
Reachability property qltransition_339 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_339,8.79609e+81,8.21305,198028,2,1452,394,510987,141,0,5370,392267,0
Reachability property qltransition_340 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_340,2.81475e+88,8.21455,198028,2,1487,394,510987,142,0,5375,392267,0
Reachability property qltransition_341 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_341,1.40737e+89,8.21601,198028,2,1492,394,510987,143,0,5380,392267,0
Reachability property qltransition_343 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_343,1.80144e+96,8.21741,198028,2,1529,394,510987,144,0,5385,392267,0
Reachability property qltransition_454 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_454,2.12138e+102,8.21912,198028,2,2328,394,510987,145,0,5390,392267,0
Reachability property qltransition_459 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_459,2.98837e+103,8.22124,198028,2,3218,394,510987,146,0,5395,392267,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,6.91753e+99,8.22299,198028,2,1545,394,510987,147,0,5400,392267,0
Reachability property qltransition_462 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_462,5.76461e+97,8.22441,198028,2,1534,394,510987,148,0,5405,392267,0
Reachability property qltransition_463 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_463,1.72938e+99,8.2261,198028,2,2234,394,510987,149,0,5408,392267,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,4.32346e+99,8.22803,198028,2,1547,394,510987,150,0,5413,392267,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,5.76461e+97,8.22946,198028,2,1534,394,510987,151,0,5418,392267,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.38351e+100,8.231,198028,2,1546,394,510987,152,0,5423,392267,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,2.8823e+96,8.23284,198028,2,1527,394,510987,153,0,5428,392267,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.20576e+95,8.23447,198028,2,1525,394,510987,154,0,5433,392267,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,7.20576e+95,8.23594,198028,2,1525,394,510987,155,0,5436,392267,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,9.0072e+93,8.23739,198028,2,1516,394,510987,156,0,5441,392267,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,1.80144e+94,8.23884,198028,2,1517,394,510987,157,0,5446,392267,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.80144e+95,8.24028,198028,2,1523,394,510987,158,0,5451,392267,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,9.0072e+90,8.24178,198028,2,1498,394,510987,159,0,5456,392267,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,9.0072e+92,8.24326,198028,2,1510,394,510987,160,0,5459,392267,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,4.5036e+90,8.24475,198028,2,1497,394,510987,161,0,5464,392267,0
Reachability property qltransition_481 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_481,2.2518e+92,8.24631,198028,2,1508,394,510987,162,0,5467,392267,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,5.6295e+92,8.24865,198028,2,1512,394,510987,163,0,5472,392267,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,4.5036e+90,8.25015,198028,2,1497,394,510987,164,0,5477,392267,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,1.80144e+93,8.25171,198028,2,1511,394,510987,165,0,5482,392267,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,2.2518e+90,8.25324,198028,2,1496,394,510987,166,0,5487,392267,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,1.80144e+93,8.25496,198028,2,1511,394,510987,167,0,5490,392267,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,2.2518e+89,8.25699,198028,2,1490,394,510987,168,0,5495,392267,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,2.2518e+89,8.25858,198028,2,1490,394,510987,169,0,5498,392267,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,5.6295e+88,8.26037,198028,2,1488,394,510987,170,0,5503,392267,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,5.6295e+88,8.27444,198028,2,1488,394,510987,171,0,5506,392267,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,1.40737e+89,8.27681,198028,2,1492,394,510987,172,0,5511,392267,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,1.1259e+87,8.27834,198028,2,1477,394,510987,173,0,5516,392267,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,2.81475e+88,8.2798,198028,2,1487,394,510987,174,0,5521,392267,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,5.6295e+86,8.2813,198028,2,1476,394,510987,175,0,5526,392267,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,4.5036e+89,8.28301,198028,2,1491,394,510987,176,0,5529,392267,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.6295e+83,8.28454,198028,2,1458,394,510987,177,0,5534,392267,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,5.6295e+85,8.2861,198028,2,1470,394,510987,178,0,5537,392267,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,2.81475e+83,8.28761,198028,2,1457,394,510987,179,0,5542,392267,0
Reachability property qltransition_499 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_499,1.40737e+85,8.28919,198028,2,1468,394,510987,180,0,5545,392267,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.40737e+83,8.29073,198028,2,1456,394,510987,181,0,5550,392267,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,2.81475e+83,8.29225,198028,2,1457,394,510987,182,0,5555,392267,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,7.03687e+84,8.29378,198028,2,1467,394,510987,183,0,5560,392267,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,1.40737e+83,8.29531,198028,2,1456,394,510987,184,0,5565,392267,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.1259e+86,8.29702,198028,2,1471,394,510987,185,0,5568,392267,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,1.40737e+80,8.29859,198028,2,1438,394,510987,186,0,5573,392267,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,1.40737e+82,8.30016,198028,2,1450,394,510987,187,0,5576,392267,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.51844e+81,8.30197,198028,2,1448,394,510987,188,0,5581,392267,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,3.51844e+81,8.3036,198028,2,1448,394,510987,189,0,5584,392267,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,8.79609e+81,8.30604,198028,2,1452,394,510987,190,0,5589,392267,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,7.03687e+79,8.30764,198028,2,1437,394,510987,191,0,5594,392267,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.75922e+81,8.30921,198028,2,1447,394,510987,192,0,5599,392267,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,3.51844e+79,8.31081,198028,2,1436,394,510987,193,0,5604,392267,0
Reachability property qltransition_513 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_513,2.81475e+82,8.31257,198028,2,1451,394,510987,194,0,5607,392267,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,3.51844e+78,8.31468,198028,2,1430,394,510987,195,0,5612,392267,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,3.51844e+78,8.31632,198028,2,1430,394,510987,196,0,5615,392267,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,8.79609e+77,8.31817,198028,2,1428,394,510987,197,0,5620,392267,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,8.79609e+77,8.31984,198028,2,1428,394,510987,198,0,5623,392267,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,8.79609e+75,8.3215,198028,2,1416,394,510987,199,0,5628,392267,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,1.75922e+76,8.3231,198028,2,1417,394,510987,200,0,5633,392267,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,7.03687e+78,8.32479,198028,2,1431,394,510987,201,0,5638,392267,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,8.79609e+75,8.32642,198028,2,1416,394,510987,202,0,5643,392267,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,7.03687e+78,8.32822,198028,2,1431,394,510987,203,0,5646,392267,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.79609e+74,8.33037,198028,2,1410,394,510987,204,0,5651,392267,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,8.79609e+74,8.33207,198028,2,1410,394,510987,205,0,5654,392267,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.39805e+72,8.33385,198028,2,1397,394,510987,206,0,5659,392267,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,2.19902e+74,8.33558,198028,2,1408,394,510987,207,0,5662,392267,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,5.49756e+74,8.33819,198028,2,1412,394,510987,208,0,5667,392267,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,4.39805e+72,8.33986,198028,2,1397,394,510987,209,0,5672,392267,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,1.75922e+75,8.34167,198028,2,1411,394,510987,210,0,5677,392267,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,2.19902e+72,8.34336,198028,2,1396,394,510987,211,0,5682,392267,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,1.75922e+75,8.34522,198028,2,1411,394,510987,212,0,5685,392267,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,2.19902e+69,8.34694,198028,2,1378,394,510987,213,0,5690,392267,0
Reachability property qltransition_533 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_533,2.19902e+71,8.34867,198028,2,1390,394,510987,214,0,5693,392267,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,1.09951e+69,8.3504,198028,2,1377,394,510987,215,0,5698,392267,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,5.49756e+70,8.35218,198028,2,1388,394,510987,216,0,5701,392267,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,1.37439e+71,8.35481,198028,2,1392,394,510987,217,0,5706,392267,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,1.09951e+69,8.35653,198028,2,1377,394,510987,218,0,5711,392267,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,4.39805e+71,8.35838,198028,2,1391,394,510987,219,0,5716,392267,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,5.49756e+68,8.36015,198028,2,1376,394,510987,220,0,5721,392267,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,4.39805e+71,8.36212,198028,2,1391,394,510987,221,0,5724,392267,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,5.49756e+67,8.36441,198028,2,1370,394,510987,222,0,5729,392267,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,5.49756e+67,8.36628,198028,2,1370,394,510987,223,0,5732,392267,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,2.74878e+65,8.36808,198028,2,1357,394,510987,224,0,5737,392267,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,1.37439e+67,8.36994,198028,2,1368,394,510987,225,0,5740,392267,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.37439e+65,8.37174,198028,2,1356,394,510987,226,0,5745,392267,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,2.74878e+65,8.37356,198028,2,1357,394,510987,227,0,5750,392267,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,6.87195e+66,8.37535,198028,2,1367,394,510987,228,0,5755,392267,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.37439e+65,8.37718,198028,2,1356,394,510987,229,0,5760,392267,0
Reachability property qltransition_549 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_549,1.09951e+68,8.37919,198028,2,1371,394,510987,230,0,5763,392267,0
Reachability property qltransition_550 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_550,1.37439e+62,8.38103,198028,2,1338,394,510987,231,0,5768,392267,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,1.37439e+64,8.38291,198028,2,1350,394,510987,232,0,5771,392267,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,6.87195e+61,8.3848,198028,2,1337,394,510987,233,0,5776,392267,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,3.43597e+63,8.38672,198028,2,1348,394,510987,234,0,5779,392267,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,3.43597e+61,8.38858,198028,2,1336,394,510987,235,0,5784,392267,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,6.87195e+61,8.39045,198028,2,1337,394,510987,236,0,5789,392267,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,2.74878e+64,8.39235,198028,2,1351,394,510987,237,0,5794,392267,0
Reachability property qltransition_557 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_557,3.43597e+61,8.39424,198028,2,1336,394,510987,238,0,5799,392267,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,2.74878e+64,8.39655,198028,2,1351,394,510987,239,0,5802,392267,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.43597e+60,8.39896,198028,2,1330,394,510987,240,0,5807,392267,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,3.43597e+60,8.40088,198028,2,1330,394,510987,241,0,5810,392267,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,1.71799e+58,8.40277,198028,2,1317,394,510987,242,0,5815,392267,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,8.58993e+59,8.40474,198028,2,1328,394,510987,243,0,5818,392267,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,2.14748e+60,8.4075,198028,2,1332,394,510987,244,0,5823,392267,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,1.71799e+58,8.40941,198028,2,1317,394,510987,245,0,5828,392267,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,6.87195e+60,8.41143,198028,2,1331,394,510987,246,0,5833,392267,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,8.58993e+57,8.41334,198028,2,1316,394,510987,247,0,5838,392267,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.87195e+60,8.41545,198028,2,1331,394,510987,248,0,5841,392267,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,8.58993e+56,8.41792,198028,2,1310,394,510987,249,0,5846,392267,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,8.58993e+56,8.41988,198028,2,1310,394,510987,250,0,5849,392267,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,4.29497e+54,8.42191,198028,2,1297,394,510987,251,0,5854,392267,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,2.14748e+56,8.42391,198028,2,1308,394,510987,252,0,5857,392267,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,5.36871e+56,8.42673,198028,2,1312,394,510987,253,0,5862,392267,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,4.29497e+54,8.42871,198028,2,1297,394,510987,254,0,5867,392267,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.07374e+56,8.43067,198028,2,1307,394,510987,255,0,5872,392267,0
Reachability property qltransition_575 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_575,2.14748e+54,8.43267,198028,2,1296,394,510987,256,0,5877,392267,0
Reachability property qltransition_576 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_576,1.71799e+57,8.43485,198028,2,1311,394,510987,257,0,5880,392267,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,2.14748e+53,8.43742,198028,2,1290,394,510987,258,0,5885,392267,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,2.14748e+53,8.43951,198028,2,1290,394,510987,259,0,5888,392267,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,1.07374e+51,8.4416,198028,2,1277,394,510987,260,0,5893,392267,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,5.36871e+52,8.44373,198028,2,1288,394,510987,261,0,5896,392267,0
Reachability property qltransition_581 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_581,5.36871e+50,8.44583,198028,2,1276,394,510987,262,0,5901,392267,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.07374e+51,8.44787,198028,2,1277,394,510987,263,0,5906,392267,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,4.29497e+53,8.45001,198028,2,1291,394,510987,264,0,5911,392267,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,5.36871e+50,8.45203,198028,2,1276,394,510987,265,0,5916,392267,0
Reachability property qltransition_585 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_585,4.29497e+53,8.45429,198028,2,1291,394,510987,266,0,5919,392267,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,5.36871e+47,8.45638,198028,2,1258,394,510987,267,0,5924,392267,0
Reachability property qltransition_587 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_587,5.36871e+49,8.4585,198028,2,1270,394,510987,268,0,5927,392267,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,1.34218e+49,8.46088,198028,2,1268,394,510987,269,0,5932,392267,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.34218e+49,8.46307,198028,2,1268,394,510987,270,0,5935,392267,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,3.35544e+49,8.46611,198028,2,1272,394,510987,271,0,5940,392267,0
Reachability property qltransition_591 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_591,2.68435e+47,8.46823,198028,2,1257,394,510987,272,0,5945,392267,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,6.71089e+48,8.47039,198028,2,1267,394,510987,273,0,5950,392267,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,1.34218e+47,8.47253,198028,2,1256,394,510987,274,0,5955,392267,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,1.07374e+50,8.47489,198028,2,1271,394,510987,275,0,5958,392267,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,1.34218e+44,8.47706,198028,2,1238,394,510987,276,0,5963,392267,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,1.34218e+46,8.47924,198028,2,1250,394,510987,277,0,5966,392267,0
Reachability property qltransition_597 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_597,3.35544e+45,8.48164,198028,2,1248,394,510987,278,0,5971,392267,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,3.35544e+45,8.48387,198028,2,1248,394,510987,279,0,5974,392267,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,3.35544e+43,8.48612,198028,2,1236,394,510987,280,0,5979,392267,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,6.71089e+43,8.48828,198028,2,1237,394,510987,281,0,5984,392267,0
Reachability property qltransition_601 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_601,2.68435e+46,8.49056,198028,2,1251,394,510987,282,0,5989,392267,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,3.35544e+43,8.49278,198028,2,1236,394,510987,283,0,5994,392267,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,2.68435e+46,8.49521,198028,2,1251,394,510987,284,0,5997,392267,0
Reachability property qltransition_604 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_604,3.35544e+40,8.4975,198028,2,1218,394,510987,285,0,6002,392267,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,3.35544e+42,8.49977,198028,2,1230,394,510987,286,0,6005,392267,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,8.38861e+41,8.50227,198028,2,1228,394,510987,287,0,6010,392267,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,8.38861e+41,8.5046,198028,2,1228,394,510987,288,0,6013,392267,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,8.38861e+39,8.50685,198028,2,1216,394,510987,289,0,6018,392267,0
Reachability property qltransition_609 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_609,1.67772e+40,8.50911,198028,2,1217,394,510987,290,0,6023,392267,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,6.71089e+42,8.51145,198028,2,1231,394,510987,291,0,6028,392267,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,8.38861e+39,8.51378,198028,2,1216,394,510987,292,0,6033,392267,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,6.71089e+42,8.51626,198028,2,1231,394,510987,293,0,6036,392267,0
Reachability property qltransition_613 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_613,8.38861e+36,8.51865,198028,2,1198,394,510987,294,0,6041,392267,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,8.38861e+38,8.52103,198028,2,1210,394,510987,295,0,6044,392267,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,4.1943e+36,8.52339,198028,2,1197,394,510987,296,0,6049,392267,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,2.09715e+38,8.52584,198028,2,1208,394,510987,297,0,6052,392267,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,2.09715e+36,8.52818,198028,2,1196,394,510987,298,0,6057,392267,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,4.1943e+36,8.53055,198028,2,1197,394,510987,299,0,6062,392267,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,1.04858e+38,8.53286,198028,2,1207,394,510987,300,0,6067,392267,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.09715e+36,8.53522,198028,2,1196,394,510987,301,0,6072,392267,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,1.67772e+39,8.53779,198028,2,1211,394,510987,302,0,6075,392267,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,2.09715e+33,8.54019,198028,2,1178,394,510987,303,0,6080,392267,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.09715e+35,8.54266,198028,2,1190,394,510987,304,0,6083,392267,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.04858e+33,8.54511,198028,2,1177,394,510987,305,0,6088,392267,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,5.24288e+34,8.54761,198028,2,1188,394,510987,306,0,6091,392267,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,1.31072e+35,8.5509,198028,2,1192,394,510987,307,0,6096,392267,0
Reachability property qltransition_627 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_627,1.04858e+33,8.55337,198028,2,1177,394,510987,308,0,6101,392267,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,2.62144e+34,8.55581,198028,2,1187,394,510987,309,0,6106,392267,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,5.24288e+32,8.55829,198028,2,1176,394,510987,310,0,6111,392267,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,4.1943e+35,8.56092,198028,2,1191,394,510987,311,0,6114,392267,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,5.24288e+29,8.56344,198028,2,1158,394,510987,312,0,6119,392267,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,5.24288e+31,8.56595,198028,2,1170,394,510987,313,0,6122,392267,0
Reachability property qltransition_633 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_633,2.62144e+29,8.56845,198028,2,1157,394,510987,314,0,6127,392267,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,1.31072e+31,8.57106,198028,2,1168,394,510987,315,0,6130,392267,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,3.2768e+31,8.57454,198028,2,1172,394,510987,316,0,6135,392267,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,2.62144e+29,8.57714,198028,2,1157,394,510987,317,0,6140,392267,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,6.5536e+30,8.57969,198028,2,1167,394,510987,318,0,6145,392267,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,1.31072e+29,8.58224,198028,2,1156,394,510987,319,0,6150,392267,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,1.04858e+32,8.58495,198028,2,1171,394,510987,320,0,6153,392267,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.31072e+26,8.58756,198028,2,1138,394,510987,321,0,6158,392267,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,1.31072e+28,8.59021,198028,2,1150,394,510987,322,0,6161,392267,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,6.5536e+25,8.59283,198028,2,1137,394,510987,323,0,6166,392267,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,3.2768e+27,8.59549,198028,2,1148,394,510987,324,0,6169,392267,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,3.2768e+25,8.59817,198028,2,1136,394,510987,325,0,6174,392267,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,6.5536e+25,8.60084,198028,2,1137,394,510987,326,0,6179,392267,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,1.6384e+27,8.60345,198028,2,1147,394,510987,327,0,6184,392267,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,3.2768e+25,8.60613,198028,2,1136,394,510987,328,0,6189,392267,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,2.62144e+28,8.60895,198028,2,1151,394,510987,329,0,6192,392267,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,3.2768e+22,8.61167,198028,2,1118,394,510987,330,0,6197,392267,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,3.2768e+24,8.61436,198028,2,1130,394,510987,331,0,6200,392267,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.6384e+22,8.6171,198028,2,1117,394,510987,332,0,6205,392267,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,8.192e+23,8.61991,198028,2,1128,394,510987,333,0,6208,392267,0
Reachability property qltransition_653 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_653,2.048e+24,8.62368,198028,2,1132,394,510987,334,0,6213,392267,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,1.6384e+22,8.62654,198028,2,1117,394,510987,335,0,6218,392267,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,6.5536e+24,8.6294,198028,2,1131,394,510987,336,0,6223,392267,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,8.192e+21,8.63216,198028,2,1116,394,510987,337,0,6228,392267,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,6.5536e+24,8.63514,198028,2,1131,394,510987,338,0,6231,392267,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,8.192e+20,8.6385,198028,2,1110,394,510987,339,0,6236,392267,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,8.192e+20,8.66709,198028,2,1110,394,510987,340,0,6239,392267,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,4.096e+18,8.67008,198028,2,1097,394,510987,341,0,6244,392267,0
Reachability property qltransition_661 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_661,2.048e+20,8.67286,198028,2,1108,394,510987,342,0,6247,392267,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,5.12e+20,8.67648,198028,2,1112,394,510987,343,0,6252,392267,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,4.096e+18,8.67912,198028,2,1097,394,510987,344,0,6257,392267,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,1.6384e+21,8.68183,198028,2,1111,394,510987,345,0,6262,392267,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,2.048e+18,8.68442,198028,2,1096,394,510987,346,0,6267,392267,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,1.6384e+21,8.68723,198028,2,1111,394,510987,347,0,6270,392267,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,2.048e+17,8.69041,198028,2,1090,394,510987,348,0,6275,392267,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,2.048e+17,8.69308,198028,2,1090,394,510987,349,0,6278,392267,0
Reachability property qltransition_669 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_669,1.024e+15,8.69574,198028,2,1077,394,510987,350,0,6283,392267,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,5.12e+16,8.69846,198028,2,1088,394,510987,351,0,6286,392267,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,5.12e+14,8.70119,198028,2,1076,394,510987,352,0,6291,392267,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,1.024e+15,8.70392,198028,2,1077,394,510987,353,0,6296,392267,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,2.56e+16,8.70661,198028,2,1087,394,510987,354,0,6301,392267,0
Reachability property qltransition_674 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_674,5.12e+14,8.70927,198028,2,1076,394,510987,355,0,6306,392267,0
Reachability property qltransition_675 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_675,4.096e+17,8.71213,198028,2,1091,394,510987,356,0,6309,392267,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,5.12e+13,8.71542,198028,2,1070,394,510987,357,0,6314,392267,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,5.12e+13,8.71817,198028,2,1070,394,510987,358,0,6317,392267,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,2.56e+11,8.72093,198028,2,1057,394,510987,359,0,6322,392267,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,1.28e+13,8.72373,198028,2,1068,394,510987,360,0,6325,392267,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,1.28e+11,8.72652,198028,2,1056,394,510987,361,0,6330,392267,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,2.56e+11,8.72933,198028,2,1057,394,510987,362,0,6335,392267,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,6.4e+12,8.7321,198028,2,1067,394,510987,363,0,6340,392267,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,1.28e+11,8.73496,198028,2,1056,394,510987,364,0,6345,392267,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,1.024e+14,8.73794,198028,2,1071,394,510987,365,0,6348,392267,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,1.28e+08,8.74077,198028,2,1038,394,510987,366,0,6353,392267,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,1.28e+10,8.74359,198028,2,1050,394,510987,367,0,6356,392267,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,3.2e+09,8.74667,198028,2,1048,394,510987,368,0,6361,392267,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,3.2e+09,8.74956,198028,2,1048,394,510987,369,0,6364,392267,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,3.2e+07,8.75236,198028,2,1036,394,510987,370,0,6369,392267,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,6.4e+07,8.75517,198028,2,1037,394,510987,371,0,6374,392267,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,1.6e+09,8.75803,198028,2,1047,394,510987,372,0,6379,392267,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,3.2e+07,8.76086,198028,2,1036,394,510987,373,0,6384,392267,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.56e+10,8.7639,198028,2,1051,394,510987,374,0,6387,392267,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,32000,8.76682,198028,2,1018,394,510987,375,0,6392,392267,0
Reachability property qltransition_695 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_695,3.2e+06,8.76972,198028,2,1030,394,510987,376,0,6395,392267,0
Reachability property qltransition_696 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_696,16000,8.77264,198028,2,1017,394,510987,377,0,6400,392267,0
Reachability property qltransition_697 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_697,800000,8.77554,198028,2,1028,394,510987,378,0,6403,392267,0
Reachability property qltransition_698 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_698,2e+06,8.77936,198028,2,1032,394,510987,379,0,6408,392267,0
Reachability property qltransition_699 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_699,16000,8.78234,198028,2,1017,394,510987,380,0,6413,392267,0
Reachability property qltransition_700 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_700,400000,8.78526,198028,2,1027,394,510987,381,0,6418,392267,0
Reachability property qltransition_701 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_701,8000,8.78822,198028,2,1016,394,510987,382,0,6423,392267,0
Reachability property qltransition_702 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_702,6.4e+06,8.79135,198028,2,1031,394,510987,383,0,6426,392267,0
Reachability property qltransition_703 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_703,800,8.79484,198028,2,1010,394,510987,384,0,6431,392267,0
Reachability property qltransition_704 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_704,800,8.79782,198028,2,1010,394,510987,385,0,6434,392267,0
Reachability property qltransition_705 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_705,200,8.80102,198028,2,1008,394,510987,386,0,6439,392267,0
Reachability property qltransition_706 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_706,200,8.8041,198028,2,1008,394,510987,387,0,6442,392267,0
Reachability property qltransition_707 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_707,2,8.80711,198028,2,996,394,510987,388,0,6447,392267,0
Reachability property qltransition_708 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_708,4,8.81014,198028,2,997,394,510987,389,0,6452,392267,0
Reachability property qltransition_709 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_709,1600,8.81321,198028,2,1011,394,510987,390,0,6457,392267,0
Reachability property qltransition_710 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_710,2,8.81625,198028,2,996,394,510987,391,0,6462,392267,0
Reachability property qltransition_711 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_711,1600,8.81944,198028,2,1011,394,510987,392,0,6465,392267,0
Able to resolve query QuasiLiveness after proving 557 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE

BK_STOP 1621073967717

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-040A"
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 ShieldPPPt-PT-040A, 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-162098216400512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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