Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 11K Apr 29 12:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Apr 29 12:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Apr 29 12:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 29 12:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K May 9 09:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 09:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 9 09:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 09:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 9 09:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 9 09:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 11 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 3.1M May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1653214757251

Running Version 0
[2022-05-22 10:19:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-22 10:19:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-22 10:19:20] [INFO ] Load time of PNML (sax parser for PT used): 590 ms
[2022-05-22 10:19:20] [INFO ] Transformed 5466 places.
[2022-05-22 10:19:20] [INFO ] Transformed 7651 transitions.
[2022-05-22 10:19:20] [INFO ] Parsed PT model containing 5466 places and 7651 transitions in 716 ms.
Starting structural reductions, iteration 0 : 5466/5466 places, 7651/7651 transitions.
Applied a total of 0 rules in 601 ms. Remains 5466 /5466 variables (removed 0) and now considering 7651/7651 (removed 0) transitions.
// Phase 1: matrix 7651 rows 5466 cols
[2022-05-22 10:19:23] [INFO ] Invariants computation overflowed in 1642 ms
[2022-05-22 10:19:24] [INFO ] Implicit Places using invariants in 3046 ms returned []
// Phase 1: matrix 7651 rows 5466 cols
[2022-05-22 10:19:25] [INFO ] Invariants computation overflowed in 1281 ms
[2022-05-22 10:19:28] [INFO ] Implicit Places using invariants and state equation in 3421 ms returned []
Implicit Place search using SMT with State Equation took 6508 ms to find 0 implicit places.
// Phase 1: matrix 7651 rows 5466 cols
[2022-05-22 10:19:29] [INFO ] Invariants computation overflowed in 1417 ms
[2022-05-22 10:19:30] [INFO ] Dead Transitions using invariants and state equation in 2253 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5466/5466 places, 7651/7651 transitions.
Discarding 1092 transitions out of 7651. Remains 6559
[2022-05-22 10:19:30] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 149 resets, run finished after 4336 ms. (steps per millisecond=2 ) properties (out of 6558) seen :5622
Running SMT prover for 936 properties.
// Phase 1: matrix 7651 rows 5466 cols
[2022-05-22 10:19:36] [INFO ] Invariants computation overflowed in 1219 ms
[2022-05-22 10:20:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-22 10:20:01] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 936 Parikh solutions to 1 different solutions.
Support contains 780 out of 5466 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5466/5466 places, 7651/7651 transitions.
Graph (complete) has 3279 edges and 5466 vertex of which 1111 are kept as prefixes of interest. Removing 4355 places using SCC suffix rule.33 ms
Discarding 4355 places :
Also discarding 5697 output transitions
Drop transitions removed 5697 transitions
Drop transitions removed 660 transitions
Reduce isomorphic transitions removed 660 transitions.
Drop transitions removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 694 rules applied. Total rules applied 695 place count 1111 transition count 1260
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 729 place count 1077 transition count 1260
Performed 73 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 73 Pre rules applied. Total rules applied 729 place count 1077 transition count 1187
Deduced a syphon composed of 73 places in 2 ms
Reduce places removed 73 places and 0 transitions.
Iterating global reduction 2 with 146 rules applied. Total rules applied 875 place count 1004 transition count 1187
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 0 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 2 with 188 rules applied. Total rules applied 1063 place count 910 transition count 1093
Renaming transitions due to excessive name length > 1024 char.
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 1064 place count 909 transition count 1092
Applied a total of 1064 rules in 418 ms. Remains 909 /5466 variables (removed 4557) and now considering 1092/7651 (removed 6559) transitions.
Finished structural reductions, in 1 iterations. Remains : 909/5466 places, 1092/7651 transitions.
[2022-05-22 10:20:02] [INFO ] Flatten gal took : 170 ms
[2022-05-22 10:20:02] [INFO ] Flatten gal took : 95 ms
[2022-05-22 10:20:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9762484129437830256.gal : 41 ms
[2022-05-22 10:20:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16821723941624538406.prop : 9 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/ReachabilityCardinality9762484129437830256.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16821723941624538406.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/ReachabilityCardinality9762484129437830256.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16821723941624538406.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality16821723941624538406.prop.
Reachability property qltransition_30 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.
SDD proceeding with computation,930 properties remain. new max is 2
SDD size :1 after 5
Reachability property qltransition_123 is true.
Reachability property qltransition_122 is true.
Reachability property qltransition_121 is true.
Reachability property qltransition_120 is true.
Reachability property qltransition_119 is true.
Reachability property qltransition_118 is true.
SDD proceeding with computation,924 properties remain. new max is 2
SDD size :5 after 22
SDD proceeding with computation,924 properties remain. new max is 4
SDD size :22 after 121
Reachability property qltransition_170 is true.
Reachability property qltransition_169 is true.
Reachability property qltransition_168 is true.
Reachability property qltransition_167 is true.
Reachability property qltransition_166 is true.
Reachability property qltransition_165 is true.
SDD proceeding with computation,918 properties remain. new max is 4
SDD size :121 after 1331
Reachability property qltransition_254 is true.
Reachability property qltransition_253 is true.
Reachability property qltransition_252 is true.
Reachability property qltransition_251 is true.
Reachability property qltransition_250 is true.
Reachability property qltransition_249 is true.
SDD proceeding with computation,912 properties remain. new max is 4
SDD size :1331 after 14641
Reachability property qltransition_291 is true.
Reachability property qltransition_290 is true.
Reachability property qltransition_289 is true.
Reachability property qltransition_288 is true.
Reachability property qltransition_287 is true.
Reachability property qltransition_286 is true.
SDD proceeding with computation,906 properties remain. new max is 4
SDD size :14641 after 161051
Reachability property qltransition_445 is true.
Reachability property qltransition_437 is true.
Reachability property qltransition_436 is true.
Reachability property qltransition_435 is true.
Reachability property qltransition_434 is true.
Reachability property qltransition_433 is true.
Reachability property qltransition_432 is true.
Reachability property qltransition_431 is true.
Reachability property qltransition_430 is true.
Reachability property qltransition_428 is true.
Reachability property qltransition_427 is true.
Reachability property qltransition_426 is true.
SDD proceeding with computation,894 properties remain. new max is 4
SDD size :161051 after 1.61051e+06
SDD proceeding with computation,894 properties remain. new max is 8
SDD size :1.61051e+06 after 1.14346e+07
Reachability property qltransition_452 is true.
Reachability property qltransition_451 is true.
Reachability property qltransition_450 is true.
Reachability property qltransition_449 is true.
Reachability property qltransition_448 is true.
Reachability property qltransition_447 is true.
Reachability property qltransition_444 is true.
Reachability property qltransition_443 is true.
Reachability property qltransition_442 is true.
Reachability property qltransition_441 is true.
Reachability property qltransition_440 is true.
Reachability property qltransition_439 is true.
Reachability property qltransition_329 is true.
Reachability property qltransition_328 is true.
Reachability property qltransition_327 is true.
Reachability property qltransition_326 is true.
Reachability property qltransition_325 is true.
Reachability property qltransition_324 is true.
SDD proceeding with computation,876 properties remain. new max is 8
SDD size :1.14346e+07 after 1.05762e+09
Reachability property qltransition_474 is true.
Reachability property qltransition_466 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_461 is true.
Reachability property qltransition_460 is true.
Reachability property qltransition_459 is true.
Reachability property qltransition_457 is true.
Reachability property qltransition_456 is true.
Reachability property qltransition_455 is true.
SDD proceeding with computation,864 properties remain. new max is 8
SDD size :1.05762e+09 after 6.29737e+10
Reachability property qltransition_481 is true.
Reachability property qltransition_480 is true.
Reachability property qltransition_479 is true.
Reachability property qltransition_478 is true.
Reachability property qltransition_477 is true.
Reachability property qltransition_476 is true.
Reachability property qltransition_473 is true.
Reachability property qltransition_472 is true.
Reachability property qltransition_471 is true.
Reachability property qltransition_470 is true.
Reachability property qltransition_469 is true.
Reachability property qltransition_468 is true.
SDD proceeding with computation,852 properties remain. new max is 8
SDD size :6.29737e+10 after 7.74576e+12
Reachability property qltransition_652 is true.
Reachability property qltransition_651 is true.
Reachability property qltransition_650 is true.
Reachability property qltransition_649 is true.
Reachability property qltransition_648 is true.
Reachability property qltransition_647 is true.
Reachability property qltransition_536 is true.
Reachability property qltransition_535 is true.
Reachability property qltransition_534 is true.
Reachability property qltransition_533 is true.
Reachability property qltransition_532 is true.
Reachability property qltransition_531 is true.
SDD proceeding with computation,840 properties remain. new max is 8
SDD size :7.74576e+12 after 2.5561e+14
Reachability property qltransition_787 is true.
Reachability property qltransition_786 is true.
Reachability property qltransition_785 is true.
Reachability property qltransition_784 is true.
Reachability property qltransition_783 is true.
Reachability property qltransition_782 is true.
SDD proceeding with computation,834 properties remain. new max is 8
SDD size :2.5561e+14 after 4.68619e+15
Reachability property qltransition_837 is true.
Reachability property qltransition_836 is true.
Reachability property qltransition_835 is true.
Reachability property qltransition_834 is true.
Reachability property qltransition_833 is true.
Reachability property qltransition_832 is true.
Reachability property qltransition_795 is true.
Reachability property qltransition_794 is true.
Reachability property qltransition_793 is true.
Reachability property qltransition_792 is true.
Reachability property qltransition_791 is true.
Reachability property qltransition_790 is true.
SDD proceeding with computation,822 properties remain. new max is 8
SDD size :4.68619e+15 after 2.26811e+17
Reachability property qltransition_926 is true.
Reachability property qltransition_925 is true.
Reachability property qltransition_924 is true.
Reachability property qltransition_923 is true.
Reachability property qltransition_922 is true.
Reachability property qltransition_921 is true.
SDD proceeding with computation,816 properties remain. new max is 8
SDD size :2.26811e+17 after 1.37221e+19
Reachability property qltransition_1031 is true.
Reachability property qltransition_1030 is true.
Reachability property qltransition_1029 is true.
Reachability property qltransition_1028 is true.
Reachability property qltransition_1027 is true.
Reachability property qltransition_1026 is true.
Reachability property qltransition_854 is true.
Reachability property qltransition_853 is true.
Reachability property qltransition_852 is true.
Reachability property qltransition_851 is true.
Reachability property qltransition_850 is true.
Reachability property qltransition_849 is true.
SDD proceeding with computation,804 properties remain. new max is 8
SDD size :1.37221e+19 after 4.52829e+20
Reachability property qltransition_1103 is true.
Reachability property qltransition_1102 is true.
Reachability property qltransition_1101 is true.
Reachability property qltransition_1100 is true.
Reachability property qltransition_1099 is true.
Reachability property qltransition_1098 is true.
SDD proceeding with computation,798 properties remain. new max is 8
SDD size :4.52829e+20 after 6.64149e+21
Reachability property qltransition_1386 is true.
Reachability property qltransition_1378 is true.
Reachability property qltransition_1377 is true.
Reachability property qltransition_1369 is true.
Reachability property qltransition_1368 is true.
Reachability property qltransition_1367 is true.
SDD proceeding with computation,792 properties remain. new max is 8
SDD size :6.64149e+21 after 7.30564e+22
Reachability property qltransition_1376 is true.
Reachability property qltransition_1375 is true.
Reachability property qltransition_1374 is true.
Reachability property qltransition_1373 is true.
Reachability property qltransition_1372 is true.
Reachability property qltransition_1371 is true.
SDD proceeding with computation,786 properties remain. new max is 8
SDD size :7.30564e+22 after 1.29675e+24
Reachability property qltransition_1393 is true.
Reachability property qltransition_1392 is true.
Reachability property qltransition_1391 is true.
Reachability property qltransition_1390 is true.
Reachability property qltransition_1389 is true.
Reachability property qltransition_1388 is true.
Reachability property qltransition_1385 is true.
Reachability property qltransition_1384 is true.
Reachability property qltransition_1383 is true.
Reachability property qltransition_1382 is true.
Reachability property qltransition_1381 is true.
Reachability property qltransition_1380 is true.
Reachability property qltransition_1123 is true.
Reachability property qltransition_1122 is true.
Reachability property qltransition_1121 is true.
Reachability property qltransition_1120 is true.
Reachability property qltransition_1119 is true.
Reachability property qltransition_1118 is true.
SDD proceeding with computation,768 properties remain. new max is 8
SDD size :1.29675e+24 after 1.1994e+26
Reachability property qltransition_1170 is true.
Reachability property qltransition_1169 is true.
Reachability property qltransition_1168 is true.
Reachability property qltransition_1167 is true.
Reachability property qltransition_1166 is true.
Reachability property qltransition_1165 is true.
SDD proceeding with computation,762 properties remain. new max is 8
SDD size :1.1994e+26 after 4.62102e+27
Reachability property qltransition_1575 is true.
Reachability property qltransition_1567 is true.
Reachability property qltransition_1566 is true.
Reachability property qltransition_1558 is true.
Reachability property qltransition_1557 is true.
Reachability property qltransition_1556 is true.
Reachability property qltransition_1132 is true.
Reachability property qltransition_1131 is true.
Reachability property qltransition_1130 is true.
Reachability property qltransition_1129 is true.
Reachability property qltransition_1128 is true.
Reachability property qltransition_1127 is true.
SDD proceeding with computation,750 properties remain. new max is 8
SDD size :4.62102e+27 after 2.03325e+29
Reachability property qltransition_1582 is true.
Reachability property qltransition_1581 is true.
Reachability property qltransition_1580 is true.
Reachability property qltransition_1579 is true.
Reachability property qltransition_1578 is true.
Reachability property qltransition_1577 is true.
Reachability property qltransition_1574 is true.
Reachability property qltransition_1573 is true.
Reachability property qltransition_1572 is true.
Reachability property qltransition_1571 is true.
Reachability property qltransition_1570 is true.
Reachability property qltransition_1569 is true.
Reachability property qltransition_1565 is true.
Reachability property qltransition_1564 is true.
Reachability property qltransition_1563 is true.
Reachability property qltransition_1562 is true.
Reachability property qltransition_1561 is true.
Reachability property qltransition_1560 is true.
SDD proceeding with computation,732 properties remain. new max is 8
SDD size :2.03325e+29 after 3.03462e+31
Reachability property qltransition_1237 is true.
Reachability property qltransition_1236 is true.
Reachability property qltransition_1235 is true.
Reachability property qltransition_1234 is true.
Reachability property qltransition_1233 is true.
Reachability property qltransition_1232 is true.
SDD proceeding with computation,726 properties remain. new max is 8
SDD size :3.03462e+31 after 1.16917e+33
Reachability property qltransition_1451 is true.
Reachability property qltransition_1450 is true.
Reachability property qltransition_1449 is true.
Reachability property qltransition_1448 is true.
Reachability property qltransition_1447 is true.
Reachability property qltransition_1446 is true.
Reachability property qltransition_1293 is true.
Reachability property qltransition_1292 is true.
Reachability property qltransition_1291 is true.
Reachability property qltransition_1290 is true.
Reachability property qltransition_1289 is true.
Reachability property qltransition_1288 is true.
SDD proceeding with computation,714 properties remain. new max is 8
SDD size :1.16917e+33 after 2.57217e+34
Reachability property qltransition_2085 is true.
Reachability property qltransition_2084 is true.
Reachability property qltransition_2083 is true.
Reachability property qltransition_2082 is true.
Reachability property qltransition_2081 is true.
Reachability property qltransition_2080 is true.
SDD proceeding with computation,708 properties remain. new max is 8
SDD size :2.57217e+34 after 4.24408e+35
Reachability property qltransition_2628 is true.
Reachability property qltransition_2599 is true.
Reachability property qltransition_2598 is true.
Reachability property qltransition_2569 is true.
Reachability property qltransition_2568 is true.
Reachability property qltransition_2567 is true.
SDD proceeding with computation,702 properties remain. new max is 8
SDD size :4.24408e+35 after 6.22465e+36
SDD proceeding with computation,702 properties remain. new max is 16
SDD size :6.22465e+36 after 1.08931e+37
Reachability property qltransition_2590 is true.
Reachability property qltransition_2582 is true.
Reachability property qltransition_2581 is true.
Reachability property qltransition_2573 is true.
Reachability property qltransition_2572 is true.
Reachability property qltransition_2571 is true.
Reachability property qltransition_1786 is true.
Reachability property qltransition_1785 is true.
Reachability property qltransition_1784 is true.
Reachability property qltransition_1783 is true.
Reachability property qltransition_1782 is true.
Reachability property qltransition_1781 is true.
SDD proceeding with computation,690 properties remain. new max is 16
SDD size :1.08931e+37 after 4.4195e+38
Reachability property qltransition_2580 is true.
Reachability property qltransition_2579 is true.
Reachability property qltransition_2578 is true.
Reachability property qltransition_2577 is true.
Reachability property qltransition_2576 is true.
Reachability property qltransition_2575 is true.
Reachability property qltransition_2132 is true.
Reachability property qltransition_2131 is true.
Reachability property qltransition_2130 is true.
Reachability property qltransition_2129 is true.
Reachability property qltransition_2128 is true.
Reachability property qltransition_2127 is true.
Reachability property qltransition_1803 is true.
Reachability property qltransition_1802 is true.
Reachability property qltransition_1801 is true.
Reachability property qltransition_1800 is true.
Reachability property qltransition_1799 is true.
Reachability property qltransition_1798 is true.
SDD proceeding with computation,672 properties remain. new max is 16
SDD size :4.4195e+38 after 2.21624e+41
Reachability property qltransition_2620 is true.
Reachability property qltransition_2612 is true.
Reachability property qltransition_2611 is true.
Reachability property qltransition_2603 is true.
Reachability property qltransition_2602 is true.
Reachability property qltransition_2601 is true.
Reachability property qltransition_2597 is true.
Reachability property qltransition_2596 is true.
Reachability property qltransition_2595 is true.
Reachability property qltransition_2594 is true.
Reachability property qltransition_2593 is true.
Reachability property qltransition_2592 is true.
Reachability property qltransition_2589 is true.
Reachability property qltransition_2588 is true.
Reachability property qltransition_2587 is true.
Reachability property qltransition_2586 is true.
Reachability property qltransition_2585 is true.
Reachability property qltransition_2584 is true.
SDD proceeding with computation,654 properties remain. new max is 16
SDD size :2.21624e+41 after 5.96252e+43
Reachability property qltransition_2610 is true.
Reachability property qltransition_2609 is true.
Reachability property qltransition_2608 is true.
Reachability property qltransition_2607 is true.
Reachability property qltransition_2606 is true.
Reachability property qltransition_2605 is true.
Reachability property qltransition_2194 is true.
Reachability property qltransition_2193 is true.
Reachability property qltransition_2192 is true.
Reachability property qltransition_2191 is true.
Reachability property qltransition_2190 is true.
Reachability property qltransition_2189 is true.
SDD proceeding with computation,642 properties remain. new max is 16
SDD size :5.96252e+43 after 1.02953e+46
Reachability property qltransition_2649 is true.
Reachability property qltransition_2641 is true.
Reachability property qltransition_2640 is true.
Reachability property qltransition_2632 is true.
Reachability property qltransition_2631 is true.
Reachability property qltransition_2630 is true.
Detected timeout of ITS tools.
[2022-05-22 10:20:17] [INFO ] Flatten gal took : 78 ms
[2022-05-22 10:20:17] [INFO ] Applying decomposition
[2022-05-22 10:20:18] [INFO ] Flatten gal took : 82 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2910839067780639866.txt, -o, /tmp/graph2910839067780639866.bin, -w, /tmp/graph2910839067780639866.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2910839067780639866.bin, -l, -1, -v, -w, /tmp/graph2910839067780639866.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-22 10:20:18] [INFO ] Decomposing Gal with order
[2022-05-22 10:20:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-22 10:20:18] [INFO ] Removed a total of 1094 redundant transitions.
[2022-05-22 10:20:18] [INFO ] Flatten gal took : 204 ms
[2022-05-22 10:20:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 539 labels/synchronizations in 62 ms.
[2022-05-22 10:20:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4296120134869955338.gal : 15 ms
[2022-05-22 10:20:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4061758535736553599.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/ReachabilityCardinality4296120134869955338.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4061758535736553599.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4296120134869955338.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4061758535736553599.prop --nowitness
Loading property file /tmp/ReachabilityCardinality4061758535736553599.prop.
SDD proceeding with computation,636 properties remain. new max is 4
SDD size :1 after 8.8578e+06
SDD proceeding with computation,636 properties remain. new max is 8
SDD size :8.8578e+06 after 1.1113e+10
SDD proceeding with computation,636 properties remain. new max is 16
SDD size :1.1113e+10 after 6.08907e+32
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,4.52249e+154,1.38608,37500,5877,25,28553,849,2366,64173,44,446,0
Total reachable state count : 4.522486007487698860276918678969285975701e+154

Verifying 636 reachability properties.
Reachability property qltransition_2198 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2198,5.84858e+71,1.39159,37500,856,26,28553,849,2367,64173,47,446,3
Reachability property qltransition_2199 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2199,5.84858e+71,1.39305,37500,856,26,28553,849,2368,64173,47,446,6
Reachability property qltransition_2200 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2200,5.84858e+71,1.39426,37500,856,26,28553,849,2369,64173,48,446,9
Reachability property qltransition_2201 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2201,5.84858e+71,1.39529,37500,856,26,28553,849,2370,64173,48,446,9
Reachability property qltransition_2202 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2202,5.84858e+71,1.39632,37500,856,26,28553,849,2371,64173,49,446,12
Reachability property qltransition_2203 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2203,5.84858e+71,1.39734,37500,856,26,28553,849,2372,64173,49,446,12
Reachability property qltransition_2219 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2219,3.21672e+72,1.39901,37500,858,26,28553,849,2373,64173,49,446,13
Reachability property qltransition_2220 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2220,3.21672e+72,1.40003,37500,858,26,28553,849,2374,64173,49,446,14
Reachability property qltransition_2221 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2221,3.21672e+72,1.40106,37500,858,26,28553,849,2375,64173,49,446,15
Reachability property qltransition_2222 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2222,3.21672e+72,1.4021,37500,858,26,28553,849,2376,64173,49,446,15
Reachability property qltransition_2223 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2223,3.21672e+72,1.40312,37500,858,26,28553,849,2377,64173,49,446,16
Reachability property qltransition_2224 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2224,3.21672e+72,1.40412,37500,858,26,28553,849,2378,64173,49,446,16
Reachability property qltransition_2228 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2228,1.7692e+73,1.40794,37500,860,26,28553,849,2379,64173,49,446,17
Reachability property qltransition_2229 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2229,1.7692e+73,1.40897,37500,860,26,28553,849,2380,64173,49,446,18
Reachability property qltransition_2230 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2230,1.7692e+73,1.41004,37500,860,26,28553,849,2381,64173,49,446,19
Reachability property qltransition_2231 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2231,1.7692e+73,1.41102,37500,860,26,28553,849,2382,64173,49,446,19
Reachability property qltransition_2232 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2232,1.7692e+73,1.41201,37500,860,26,28553,849,2383,64173,49,446,20
Reachability property qltransition_2233 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2233,1.7692e+73,1.413,37500,860,26,28553,849,2384,64173,49,446,20
Reachability property qltransition_2248 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2248,9.73058e+73,1.41441,37500,862,26,28553,849,2385,64173,49,446,21
Reachability property qltransition_2249 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2249,9.73058e+73,1.41538,37500,862,26,28553,849,2386,64173,49,446,22
Reachability property qltransition_2250 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2250,9.73058e+73,1.41639,37500,862,26,28553,849,2387,64173,49,446,23
Reachability property qltransition_2251 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2251,9.73058e+73,1.41741,37500,862,26,28553,849,2388,64173,49,446,23
Reachability property qltransition_2252 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2252,9.73058e+73,1.41843,37500,862,26,28553,849,2389,64173,49,446,24
Reachability property qltransition_2253 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2253,9.73058e+73,1.41941,37500,862,26,28553,849,2390,64173,49,446,24
Reachability property qltransition_2265 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2265,5.35182e+74,1.42084,37500,864,26,28553,849,2391,64173,49,446,25
Reachability property qltransition_2266 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2266,5.35182e+74,1.42189,37500,864,26,28553,849,2392,64173,49,446,26
Reachability property qltransition_2267 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2267,5.35182e+74,1.42287,37500,864,26,28553,849,2393,64173,49,446,27
Reachability property qltransition_2268 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2268,5.35182e+74,1.42383,37500,864,26,28553,849,2394,64173,49,446,27
Reachability property qltransition_2269 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2269,5.35182e+74,1.42482,37500,864,26,28553,849,2395,64173,49,446,28
Reachability property qltransition_2270 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2270,5.35182e+74,1.42586,37500,864,26,28553,849,2396,64173,49,446,28
Reachability property qltransition_2285 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2285,2.9435e+75,1.42727,37500,866,26,28553,849,2397,64173,49,446,29
Reachability property qltransition_2286 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2286,2.9435e+75,1.42898,37500,866,26,28553,849,2398,64173,49,446,30
Reachability property qltransition_2287 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2287,2.9435e+75,1.43057,37500,866,26,28553,849,2399,64173,49,446,31
Reachability property qltransition_2288 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2288,2.9435e+75,1.43211,37500,866,26,28553,849,2400,64173,49,446,31
Reachability property qltransition_2289 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2289,2.9435e+75,1.43368,37500,866,26,28553,849,2401,64173,49,446,32
Reachability property qltransition_2290 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2290,2.9435e+75,1.43525,37500,866,26,28553,849,2402,64173,49,446,32
Reachability property qltransition_2387 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2387,1.61892e+76,1.43739,37500,868,26,28553,849,2403,64173,49,446,33
Reachability property qltransition_2388 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2388,1.61892e+76,1.43896,37500,868,26,28553,849,2404,64173,49,446,34
Reachability property qltransition_2389 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2389,1.61892e+76,1.44051,37500,868,26,28553,849,2405,64173,49,446,35
Reachability property qltransition_2390 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2390,1.61892e+76,1.44209,37500,868,26,28553,849,2406,64173,49,446,35
Reachability property qltransition_2391 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2391,1.61892e+76,1.44363,37500,868,26,28553,849,2407,64173,49,446,36
Reachability property qltransition_2392 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2392,1.61892e+76,1.44518,37500,868,26,28553,849,2408,64173,49,446,36
Reachability property qltransition_2470 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2470,8.90409e+76,1.44732,37500,870,26,28553,849,2409,64173,49,446,37
Reachability property qltransition_2471 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2471,8.90409e+76,1.4489,37500,870,26,28553,849,2410,64173,49,446,38
Reachability property qltransition_2472 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2472,8.90409e+76,1.45053,37500,870,26,28553,849,2411,64173,49,446,39
Reachability property qltransition_2473 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2473,8.90409e+76,1.45207,37500,870,26,28553,849,2412,64173,49,446,39
Reachability property qltransition_2474 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2474,8.90409e+76,1.45365,37500,870,26,28553,849,2413,64173,49,446,40
Reachability property qltransition_2475 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2475,8.90409e+76,1.45521,37500,870,26,28553,849,2414,64173,49,446,40
Reachability property qltransition_2529 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2529,4.89725e+77,1.45735,37500,872,26,28553,849,2415,64173,49,446,41
Reachability property qltransition_2530 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2530,4.89725e+77,1.45894,37500,872,26,28553,849,2416,64173,49,446,42
Reachability property qltransition_2531 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2531,4.89725e+77,1.46048,37500,872,26,28553,849,2417,64173,49,446,43
Reachability property qltransition_2532 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2532,4.89725e+77,1.46207,37500,872,26,28553,849,2418,64173,49,446,43
Reachability property qltransition_2533 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2533,4.89725e+77,1.46364,37500,872,26,28553,849,2419,64173,49,446,44
Reachability property qltransition_2534 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2534,4.89725e+77,1.46522,37500,872,26,28553,849,2420,64173,49,446,44
Reachability property qltransition_2614 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2614,5.00749e+81,1.47212,37500,922,26,28553,849,2421,64173,49,446,337
Reachability property qltransition_2615 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2615,5.00749e+81,1.47436,37500,922,26,28553,849,2422,64173,49,446,337
Reachability property qltransition_2616 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2616,1.25187e+81,1.4809,37500,921,26,28553,849,2423,64173,49,446,630
Reachability property qltransition_2617 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2617,1.25187e+81,1.48264,37500,921,26,28553,849,2424,64173,49,446,630
Reachability property qltransition_2618 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2618,5.00749e+81,1.48934,37500,921,26,28553,849,2425,64173,49,446,923
Reachability property qltransition_2619 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2619,5.00749e+81,1.4916,37500,921,26,28553,849,2426,64173,49,446,923
Reachability property qltransition_2622 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2622,2.50375e+81,1.49385,37500,920,26,28553,849,2427,64173,49,446,924
Reachability property qltransition_2623 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2623,2.50375e+81,1.49548,37500,920,26,28553,849,2428,64173,49,446,925
Reachability property qltransition_2624 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2624,2.50375e+81,1.49712,37500,920,26,28553,849,2429,64173,49,446,925
Reachability property qltransition_2625 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2625,2.50375e+81,1.4988,37500,920,26,28553,849,2430,64173,49,446,925
Reachability property qltransition_2626 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2626,2.50375e+81,1.50042,37500,920,26,28553,849,2431,64173,49,446,925
Reachability property qltransition_2627 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2627,2.50375e+81,1.50211,37500,920,26,28553,849,2432,64173,49,446,925
Reachability property qltransition_2634 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2634,1.50332e+82,1.5044,37500,920,26,28553,849,2433,64173,49,446,926
Reachability property qltransition_2635 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2635,1.50332e+82,1.50609,37500,920,26,28553,849,2434,64173,49,446,927
Reachability property qltransition_2636 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2636,1.50332e+82,1.50778,37500,920,26,28553,849,2435,64173,49,446,927
Reachability property qltransition_2637 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2637,1.50332e+82,1.50944,37500,920,26,28553,849,2436,64173,49,446,927
Reachability property qltransition_2638 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2638,1.50332e+82,1.51117,37500,920,26,28553,849,2437,64173,49,446,927
Reachability property qltransition_2639 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2639,1.50332e+82,1.51281,37500,920,26,28553,849,2438,64173,49,446,927
Reachability property qltransition_2643 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2643,1.50332e+82,1.51514,37500,920,26,28553,849,2439,64173,49,446,928
Reachability property qltransition_2644 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2644,1.50332e+82,1.51678,37500,920,26,28553,849,2440,64173,49,446,929
Reachability property qltransition_2645 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2645,1.50332e+82,1.51851,37500,920,26,28553,849,2441,64173,49,446,929
Reachability property qltransition_2646 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2646,1.50332e+82,1.52015,37500,920,26,28553,849,2442,64173,49,446,929
Reachability property qltransition_2647 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2647,1.50332e+82,1.5219,37500,920,26,28553,849,2443,64173,49,446,929
Reachability property qltransition_2648 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2648,1.50332e+82,1.52353,37500,920,26,28553,849,2444,64173,49,446,929
Reachability property qltransition_2651 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2651,1.50332e+82,1.52584,37500,920,26,28553,849,2445,64173,49,446,930
Reachability property qltransition_2652 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2652,1.50332e+82,1.52747,37500,920,26,28553,849,2446,64173,49,446,931
Reachability property qltransition_2653 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2653,1.50332e+82,1.52917,37500,920,26,28553,849,2447,64173,49,446,931
Reachability property qltransition_2654 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2654,1.50332e+82,1.53086,37500,920,26,28553,849,2448,64173,49,446,931
Reachability property qltransition_2655 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2655,1.50332e+82,1.53253,37500,920,26,28553,849,2449,64173,49,446,931
Reachability property qltransition_2656 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2656,1.50332e+82,1.53422,37500,920,26,28553,849,2450,64173,49,446,931
Reachability property qltransition_2685 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2685,2.28664e+86,1.54555,37500,5661,26,28553,849,2451,64173,49,446,932
Reachability property qltransition_2686 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2686,2.28664e+86,1.55667,37500,5661,26,28553,849,2452,64173,49,446,933
Reachability property qltransition_2687 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2687,2.28664e+86,1.56766,37500,5661,26,28553,849,2453,64173,49,446,934
Reachability property qltransition_2688 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2688,2.28664e+86,1.57866,37500,5661,26,28553,849,2454,64173,49,446,934
Reachability property qltransition_2689 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2689,2.28664e+86,1.58955,37500,5661,26,28553,849,2455,64173,49,446,935
Reachability property qltransition_2690 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2690,2.28664e+86,1.60044,37500,5661,26,28553,849,2456,64173,49,446,935
Reachability property qltransition_2727 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2727,1.25765e+87,1.61219,37500,5663,26,28553,849,2457,64173,49,446,936
Reachability property qltransition_2728 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2728,1.25765e+87,1.62312,37500,5663,26,28553,849,2458,64173,49,446,937
Reachability property qltransition_2729 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2729,1.25765e+87,1.63404,37500,5663,26,28553,849,2459,64173,49,446,938
Reachability property qltransition_2730 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2730,1.25765e+87,1.64495,37500,5663,26,28553,849,2460,64173,49,446,938
Reachability property qltransition_2731 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2731,1.25765e+87,1.65585,37500,5663,26,28553,849,2461,64173,49,446,939
Reachability property qltransition_2732 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2732,1.25765e+87,1.66645,37500,5663,26,28553,849,2462,64173,49,446,939
Reachability property qltransition_2736 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2736,6.91709e+87,1.68277,37500,5665,26,28553,849,2463,64173,49,446,940
Reachability property qltransition_2737 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2737,6.91709e+87,1.69341,37500,5665,26,28553,849,2464,64173,49,446,941
Reachability property qltransition_2738 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2738,6.91709e+87,1.70398,37500,5665,26,28553,849,2465,64173,49,446,942
Reachability property qltransition_2739 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2739,6.91709e+87,1.71454,37500,5665,26,28553,849,2466,64173,49,446,942
Reachability property qltransition_2740 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2740,6.91709e+87,1.72505,37500,5665,26,28553,849,2467,64173,49,446,943
Reachability property qltransition_2741 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2741,6.91709e+87,1.73552,37500,5665,26,28553,849,2468,64173,49,446,943
Reachability property qltransition_2799 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2799,3.8044e+88,1.74686,37500,5667,26,28553,849,2469,64173,49,446,944
Reachability property qltransition_2800 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2800,3.8044e+88,1.75765,37500,5667,26,28553,849,2470,64173,49,446,945
Reachability property qltransition_2801 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2801,3.8044e+88,1.7684,37500,5667,26,28553,849,2471,64173,49,446,946
Reachability property qltransition_2802 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2802,3.8044e+88,1.77933,37500,5667,26,28553,849,2472,64173,49,446,946
Reachability property qltransition_2803 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2803,3.8044e+88,1.79035,37500,5667,26,28553,849,2473,64173,49,446,947
Reachability property qltransition_2804 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2804,3.8044e+88,1.80127,37500,5667,26,28553,849,2474,64173,49,446,947
Reachability property qltransition_2896 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2896,2.09242e+89,1.81309,37500,5669,26,28553,849,2475,64173,49,446,948
Reachability property qltransition_2897 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2897,2.09242e+89,1.82399,37500,5669,26,28553,849,2476,64173,49,446,949
Reachability property qltransition_2898 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2898,2.09242e+89,1.83495,37500,5669,26,28553,849,2477,64173,49,446,950
Reachability property qltransition_2899 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2899,2.09242e+89,1.84592,37500,5669,26,28553,849,2478,64173,49,446,950
Reachability property qltransition_2900 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2900,2.09242e+89,1.85715,37500,5669,26,28553,849,2479,64173,49,446,951
Reachability property qltransition_2901 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2901,2.09242e+89,1.86803,37500,5669,26,28553,849,2480,64173,49,446,951
Reachability property qltransition_2916 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2916,1.15083e+90,1.87958,37500,5671,26,28553,849,2481,64173,49,446,952
Reachability property qltransition_2917 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2917,1.15083e+90,1.89066,37500,5671,26,28553,849,2482,64173,49,446,953
Reachability property qltransition_2918 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2918,1.15083e+90,1.90177,37500,5671,26,28553,849,2483,64173,49,446,954
Reachability property qltransition_2919 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2919,1.15083e+90,1.91291,37500,5671,26,28553,849,2484,64173,49,446,954
Reachability property qltransition_2920 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2920,1.15083e+90,1.9237,37500,5671,26,28553,849,2485,64173,49,446,955
Reachability property qltransition_2921 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2921,1.15083e+90,1.93174,37500,5671,26,28553,849,2486,64173,49,446,955
Reachability property qltransition_2933 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2933,6.32957e+90,1.94162,37500,5673,26,28553,849,2487,64173,49,446,956
Reachability property qltransition_2934 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2934,6.32957e+90,1.94813,37500,5673,26,28553,849,2488,64173,49,446,957
Reachability property qltransition_2935 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2935,6.32957e+90,1.9547,37500,5673,26,28553,849,2489,64173,49,446,958
Reachability property qltransition_2936 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2936,6.32957e+90,1.96117,37500,5673,26,28553,849,2490,64173,49,446,958
Reachability property qltransition_2937 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2937,6.32957e+90,1.96761,37500,5673,26,28553,849,2491,64173,49,446,959
Reachability property qltransition_2938 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_2938,6.32957e+90,1.97412,37500,5673,26,28553,849,2492,64173,49,446,959
Reachability property qltransition_3018 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3018,3.48126e+91,1.9809,37500,5675,26,28553,849,2493,64173,49,446,960
Reachability property qltransition_3019 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3019,3.48126e+91,1.98736,37500,5675,26,28553,849,2494,64173,49,446,961
Reachability property qltransition_3020 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3020,3.48126e+91,1.99386,37500,5675,26,28553,849,2495,64173,49,446,962
Reachability property qltransition_3021 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3021,3.48126e+91,2.0003,37500,5675,26,28553,849,2496,64173,49,446,962
Reachability property qltransition_3022 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3022,3.48126e+91,2.00688,37500,5675,26,28553,849,2497,64173,49,446,963
Reachability property qltransition_3023 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3023,3.48126e+91,2.01335,37500,5675,26,28553,849,2498,64173,49,446,963
Reachability property qltransition_3026 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3026,1.91469e+92,2.02006,37500,5677,26,28553,849,2499,64173,49,446,964
Reachability property qltransition_3027 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3027,1.91469e+92,2.02655,37500,5677,26,28553,849,2500,64173,49,446,965
Reachability property qltransition_3028 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3028,1.91469e+92,2.03351,37500,5677,26,28553,849,2501,64173,49,446,966
Reachability property qltransition_3029 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3029,1.91469e+92,2.04048,37500,5677,26,28553,849,2502,64173,49,446,966
Reachability property qltransition_3030 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3030,1.91469e+92,2.04745,37500,5677,26,28553,849,2503,64173,49,446,967
Reachability property qltransition_3031 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3031,1.91469e+92,2.05461,37500,5677,26,28553,849,2504,64173,49,446,967
Reachability property qltransition_3155 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3155,1.05308e+93,2.06203,37500,5679,26,28553,849,2505,64173,49,446,968
Reachability property qltransition_3156 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3156,1.05308e+93,2.06924,37500,5679,26,28553,849,2506,64173,49,446,969
Reachability property qltransition_3157 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3157,1.05308e+93,2.07649,37500,5679,26,28553,849,2507,64173,49,446,970
Reachability property qltransition_3158 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3158,1.05308e+93,2.08347,37500,5679,26,28553,849,2508,64173,49,446,970
Reachability property qltransition_3159 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3159,1.05308e+93,2.09067,37500,5679,26,28553,849,2509,64173,49,446,971
Reachability property qltransition_3160 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3160,1.05308e+93,2.09778,37500,5679,26,28553,849,2510,64173,49,446,971
Reachability property qltransition_3168 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3168,5.79195e+93,2.10532,37500,5681,26,28553,849,2511,64173,49,446,972
Reachability property qltransition_3169 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3169,5.79195e+93,2.11247,37500,5681,26,28553,849,2512,64173,49,446,973
Reachability property qltransition_3170 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3170,5.79195e+93,2.11962,37500,5681,26,28553,849,2513,64173,49,446,974
Reachability property qltransition_3171 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3171,5.79195e+93,2.12682,37500,5681,26,28553,849,2514,64173,49,446,974
Reachability property qltransition_3172 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3172,5.79195e+93,2.13372,37500,5681,26,28553,849,2515,64173,49,446,975
Reachability property qltransition_3173 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3173,5.79195e+93,2.14023,37500,5681,26,28553,849,2516,64173,49,446,975
Reachability property qltransition_3177 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3177,3.18557e+94,2.14705,37500,5683,26,28553,849,2517,64173,49,446,976
Reachability property qltransition_3178 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3178,3.18557e+94,2.15362,37500,5683,26,28553,849,2518,64173,49,446,977
Reachability property qltransition_3179 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3179,3.18557e+94,2.16046,37500,5683,26,28553,849,2519,64173,49,446,978
Reachability property qltransition_3180 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3180,3.18557e+94,2.16715,37500,5683,26,28553,849,2520,64173,49,446,978
Reachability property qltransition_3181 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3181,3.18557e+94,2.17372,37500,5683,26,28553,849,2521,64173,49,446,979
Reachability property qltransition_3182 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3182,3.18557e+94,2.18017,37500,5683,26,28553,849,2522,64173,49,446,979
Reachability property qltransition_3323 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3323,1.75206e+95,2.18706,37500,5685,26,28553,849,2523,64173,49,446,980
Reachability property qltransition_3324 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3324,1.75206e+95,2.19364,37500,5685,26,28553,849,2524,64173,49,446,981
Reachability property qltransition_3325 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3325,1.75206e+95,2.20011,37500,5685,26,28553,849,2525,64173,49,446,982
Reachability property qltransition_3326 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3326,1.75206e+95,2.20659,37500,5685,26,28553,849,2526,64173,49,446,982
Reachability property qltransition_3327 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3327,1.75206e+95,2.21311,37500,5685,26,28553,849,2527,64173,49,446,983
Reachability property qltransition_3328 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3328,1.75206e+95,2.21958,37500,5685,26,28553,849,2528,64173,49,446,983
Reachability property qltransition_3340 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3340,9.63635e+95,2.22632,37500,5687,26,28553,849,2529,64173,49,446,984
Reachability property qltransition_3341 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3341,9.63635e+95,2.23286,37500,5687,26,28553,849,2530,64173,49,446,985
Reachability property qltransition_3342 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3342,9.63635e+95,2.23932,37500,5687,26,28553,849,2531,64173,49,446,986
Reachability property qltransition_3343 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3343,9.63635e+95,2.24586,37500,5687,26,28553,849,2532,64173,49,446,986
Reachability property qltransition_3344 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3344,9.63635e+95,2.25228,37500,5687,26,28553,849,2533,64173,49,446,987
Reachability property qltransition_3345 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3345,9.63635e+95,2.25876,37500,5687,26,28553,849,2534,64173,49,446,987
Reachability property qltransition_3353 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3353,5.29999e+96,2.26555,37500,5689,26,28553,849,2535,64173,49,446,988
Reachability property qltransition_3354 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3354,5.29999e+96,2.27199,37500,5689,26,28553,849,2536,64173,49,446,989
Reachability property qltransition_3355 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3355,5.29999e+96,2.27847,37500,5689,26,28553,849,2537,64173,49,446,990
Reachability property qltransition_3356 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3356,5.29999e+96,2.28492,37500,5689,26,28553,849,2538,64173,49,446,990
Reachability property qltransition_3357 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3357,5.29999e+96,2.29136,37500,5689,26,28553,849,2539,64173,49,446,991
Reachability property qltransition_3358 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3358,5.29999e+96,2.29789,37500,5689,26,28553,849,2540,64173,49,446,991
Reachability property qltransition_3391 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3391,2.915e+97,2.30467,37500,5691,26,28553,849,2541,64173,49,446,992
Reachability property qltransition_3392 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3392,2.915e+97,2.31116,37500,5691,26,28553,849,2542,64173,49,446,993
Reachability property qltransition_3393 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3393,2.915e+97,2.31764,37500,5691,26,28553,849,2543,64173,49,446,994
Reachability property qltransition_3394 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3394,2.915e+97,2.32405,37500,5691,26,28553,849,2544,64173,49,446,994
Reachability property qltransition_3395 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3395,2.915e+97,2.33052,37500,5691,26,28553,849,2545,64173,49,446,995
Reachability property qltransition_3396 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3396,2.915e+97,2.33702,37500,5691,26,28553,849,2546,64173,49,446,995
Reachability property qltransition_3492 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3492,1.60325e+98,2.34371,37500,5693,26,28553,849,2547,64173,49,446,996
Reachability property qltransition_3493 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3493,1.60325e+98,2.3503,37500,5693,26,28553,849,2548,64173,49,446,997
Reachability property qltransition_3494 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3494,1.60325e+98,2.35682,37500,5693,26,28553,849,2549,64173,49,446,998
Reachability property qltransition_3495 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3495,1.60325e+98,2.36328,37500,5693,26,28553,849,2550,64173,49,446,998
Reachability property qltransition_3496 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3496,1.60325e+98,2.36972,37500,5693,26,28553,849,2551,64173,49,446,999
Reachability property qltransition_3497 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3497,1.60325e+98,2.37614,37500,5693,26,28553,849,2552,64173,49,446,999
Reachability property qltransition_3500 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3500,8.81787e+98,2.38335,37500,5695,26,28553,849,2553,64173,49,446,1000
Reachability property qltransition_3501 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3501,8.81787e+98,2.38994,37500,5695,26,28553,849,2554,64173,49,446,1001
Reachability property qltransition_3502 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3502,8.81787e+98,2.39644,37500,5695,26,28553,849,2555,64173,49,446,1002
Reachability property qltransition_3503 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3503,8.81787e+98,2.40297,37500,5695,26,28553,849,2556,64173,49,446,1002
Reachability property qltransition_3504 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3504,8.81787e+98,2.40946,37500,5695,26,28553,849,2557,64173,49,446,1003
Reachability property qltransition_3505 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3505,8.81787e+98,2.41588,37500,5695,26,28553,849,2558,64173,49,446,1003
Reachability property qltransition_3585 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3585,4.84983e+99,2.42278,37500,5697,26,28553,849,2559,64173,49,446,1004
Reachability property qltransition_3586 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3586,4.84983e+99,2.42953,37500,5697,26,28553,849,2560,64173,49,446,1005
Reachability property qltransition_3587 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3587,4.84983e+99,2.43605,37500,5697,26,28553,849,2561,64173,49,446,1006
Reachability property qltransition_3588 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3588,4.84983e+99,2.44261,37500,5697,26,28553,849,2562,64173,49,446,1006
Reachability property qltransition_3589 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3589,4.84983e+99,2.44921,37500,5697,26,28553,849,2563,64173,49,446,1007
Reachability property qltransition_3590 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3590,4.84983e+99,2.45567,37500,5697,26,28553,849,2564,64173,49,446,1007
Reachability property qltransition_3765 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3765,2.6674e+100,2.46262,37500,5699,26,28553,849,2565,64173,49,446,1008
Reachability property qltransition_3766 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3766,2.6674e+100,2.46919,37500,5699,26,28553,849,2566,64173,49,446,1009
Reachability property qltransition_3767 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3767,2.6674e+100,2.47567,37500,5699,26,28553,849,2567,64173,49,446,1010
Reachability property qltransition_3768 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3768,2.6674e+100,2.48219,37500,5699,26,28553,849,2568,64173,49,446,1010
Reachability property qltransition_3769 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3769,2.6674e+100,2.48865,37500,5699,26,28553,849,2569,64173,49,446,1011
Reachability property qltransition_3770 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3770,2.6674e+100,2.49511,37500,5699,26,28553,849,2570,64173,49,446,1011
Reachability property qltransition_3782 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3782,1.46707e+101,2.50189,37500,5701,26,28553,849,2571,64173,49,446,1012
Reachability property qltransition_3783 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3783,1.46707e+101,2.50839,37500,5701,26,28553,849,2572,64173,49,446,1013
Reachability property qltransition_3784 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3784,1.46707e+101,2.51483,37500,5701,26,28553,849,2573,64173,49,446,1014
Reachability property qltransition_3785 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3785,1.46707e+101,2.52139,37500,5701,26,28553,849,2574,64173,49,446,1014
Reachability property qltransition_3786 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3786,1.46707e+101,2.5278,37500,5701,26,28553,849,2575,64173,49,446,1015
Reachability property qltransition_3787 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3787,1.46707e+101,2.53426,37500,5701,26,28553,849,2576,64173,49,446,1015
Reachability property qltransition_3908 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3908,8.0689e+101,2.54123,37500,5703,26,28553,849,2577,64173,49,446,1016
Reachability property qltransition_3909 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3909,8.0689e+101,2.54772,37500,5703,26,28553,849,2578,64173,49,446,1017
Reachability property qltransition_3910 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3910,8.0689e+101,2.55425,37500,5703,26,28553,849,2579,64173,49,446,1018
Reachability property qltransition_3911 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3911,8.0689e+101,2.56075,37500,5703,26,28553,849,2580,64173,49,446,1018
Reachability property qltransition_3912 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3912,8.0689e+101,2.5672,37500,5703,26,28553,849,2581,64173,49,446,1019
Reachability property qltransition_3913 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3913,8.0689e+101,2.57375,37500,5703,26,28553,849,2582,64173,49,446,1019
Reachability property qltransition_3930 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3930,4.43789e+102,2.58052,37500,5705,26,28553,849,2583,64173,49,446,1020
Reachability property qltransition_3931 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3931,4.43789e+102,2.58699,37500,5705,26,28553,849,2584,64173,49,446,1021
Reachability property qltransition_3932 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3932,4.43789e+102,2.5935,37500,5705,26,28553,849,2585,64173,49,446,1022
Reachability property qltransition_3933 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3933,4.43789e+102,2.60001,37500,5705,26,28553,849,2586,64173,49,446,1022
Reachability property qltransition_3934 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3934,4.43789e+102,2.60692,37500,5705,26,28553,849,2587,64173,49,446,1023
Reachability property qltransition_3935 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3935,4.43789e+102,2.61396,37500,5705,26,28553,849,2588,64173,49,446,1023
Reachability property qltransition_3950 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3950,2.44084e+103,2.62145,37500,5707,26,28553,849,2589,64173,49,446,1024
Reachability property qltransition_3951 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3951,2.44084e+103,2.62843,37500,5707,26,28553,849,2590,64173,49,446,1025
Reachability property qltransition_3952 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3952,2.44084e+103,2.63537,37500,5707,26,28553,849,2591,64173,49,446,1026
Reachability property qltransition_3953 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3953,2.44084e+103,2.64238,37500,5707,26,28553,849,2592,64173,49,446,1026
Reachability property qltransition_3954 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3954,2.44084e+103,2.64909,37500,5707,26,28553,849,2593,64173,49,446,1027
Reachability property qltransition_3955 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_3955,2.44084e+103,2.65559,37500,5707,26,28553,849,2594,64173,49,446,1027
Reachability property qltransition_4097 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4097,1.34246e+104,2.66239,37500,5709,26,28553,849,2595,64173,49,446,1028
Reachability property qltransition_4098 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4098,1.34246e+104,2.66896,37500,5709,26,28553,849,2596,64173,49,446,1029
Reachability property qltransition_4099 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4099,1.34246e+104,2.67542,37500,5709,26,28553,849,2597,64173,49,446,1030
Reachability property qltransition_4100 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4100,1.34246e+104,2.68189,37500,5709,26,28553,849,2598,64173,49,446,1030
Reachability property qltransition_4101 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4101,1.34246e+104,2.68842,37500,5709,26,28553,849,2599,64173,49,446,1031
Reachability property qltransition_4102 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4102,1.34246e+104,2.69491,37500,5709,26,28553,849,2600,64173,49,446,1031
Reachability property qltransition_4156 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4156,7.38355e+104,2.70174,37500,5711,26,28553,849,2601,64173,49,446,1032
Reachability property qltransition_4157 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4157,7.38355e+104,2.7082,37500,5711,26,28553,849,2602,64173,49,446,1033
Reachability property qltransition_4158 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4158,7.38355e+104,2.71474,37500,5711,26,28553,849,2603,64173,49,446,1034
Reachability property qltransition_4159 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4159,7.38355e+104,2.72123,37500,5711,26,28553,849,2604,64173,49,446,1034
Reachability property qltransition_4160 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4160,7.38355e+104,2.7277,37500,5711,26,28553,849,2605,64173,49,446,1035
Reachability property qltransition_4161 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4161,7.38355e+104,2.73422,37500,5711,26,28553,849,2606,64173,49,446,1035
Reachability property qltransition_4172 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4172,4.06095e+105,2.74099,37500,5713,26,28553,849,2607,64173,49,446,1036
Reachability property qltransition_4173 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4173,4.06095e+105,2.74744,37500,5713,26,28553,849,2608,64173,49,446,1037
Reachability property qltransition_4174 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4174,4.06095e+105,2.75401,37500,5713,26,28553,849,2609,64173,49,446,1038
Reachability property qltransition_4175 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4175,4.06095e+105,2.76051,37500,5713,26,28553,849,2610,64173,49,446,1038
Reachability property qltransition_4176 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4176,4.06095e+105,2.76692,37500,5713,26,28553,849,2611,64173,49,446,1039
Reachability property qltransition_4177 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4177,4.06095e+105,2.77343,37500,5713,26,28553,849,2612,64173,49,446,1039
Reachability property qltransition_4202 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4202,2.23352e+106,2.78018,37500,5715,26,28553,849,2613,64173,49,446,1040
Reachability property qltransition_4203 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4203,2.23352e+106,2.78663,37500,5715,26,28553,849,2614,64173,49,446,1041
Reachability property qltransition_4204 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4204,2.23352e+106,2.79313,37500,5715,26,28553,849,2615,64173,49,446,1042
Reachability property qltransition_4205 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4205,2.23352e+106,2.79955,37500,5715,26,28553,849,2616,64173,49,446,1042
Reachability property qltransition_4206 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4206,2.23352e+106,2.80604,37500,5715,26,28553,849,2617,64173,49,446,1043
Reachability property qltransition_4207 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4207,2.23352e+106,2.81253,37500,5715,26,28553,849,2618,64173,49,446,1043
Reachability property qltransition_4311 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4311,1.22844e+107,2.81924,37500,5717,26,28553,849,2619,64173,49,446,1044
Reachability property qltransition_4312 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4312,1.22844e+107,2.82578,37500,5717,26,28553,849,2620,64173,49,446,1045
Reachability property qltransition_4313 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4313,1.22844e+107,2.83222,37500,5717,26,28553,849,2621,64173,49,446,1046
Reachability property qltransition_4314 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4314,1.22844e+107,2.8387,37500,5717,26,28553,849,2622,64173,49,446,1046
Reachability property qltransition_4315 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4315,1.22844e+107,2.84521,37500,5717,26,28553,849,2623,64173,49,446,1047
Reachability property qltransition_4316 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4316,1.22844e+107,2.85169,37500,5717,26,28553,849,2624,64173,49,446,1047
Reachability property qltransition_4319 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4319,6.75641e+107,2.85845,37500,5719,26,28553,849,2625,64173,49,446,1048
Reachability property qltransition_4320 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4320,6.75641e+107,2.86492,37500,5719,26,28553,849,2626,64173,49,446,1049
Reachability property qltransition_4321 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4321,6.75641e+107,2.87138,37500,5719,26,28553,849,2627,64173,49,446,1050
Reachability property qltransition_4322 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4322,6.75641e+107,2.87783,37500,5719,26,28553,849,2628,64173,49,446,1050
Reachability property qltransition_4323 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4323,6.75641e+107,2.88429,37500,5719,26,28553,849,2629,64173,49,446,1051
Reachability property qltransition_4324 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4324,6.75641e+107,2.89075,37500,5719,26,28553,849,2630,64173,49,446,1051
Reachability property qltransition_4348 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4348,3.71602e+108,2.89749,37500,5721,26,28553,849,2631,64173,49,446,1052
Reachability property qltransition_4349 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4349,3.71602e+108,2.90402,37500,5721,26,28553,849,2632,64173,49,446,1053
Reachability property qltransition_4350 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4350,3.71602e+108,2.91049,37500,5721,26,28553,849,2633,64173,49,446,1054
Reachability property qltransition_4351 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4351,3.71602e+108,2.91706,37500,5721,26,28553,849,2634,64173,49,446,1054
Reachability property qltransition_4352 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4352,3.71602e+108,2.92352,37500,5721,26,28553,849,2635,64173,49,446,1055
Reachability property qltransition_4353 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4353,3.71602e+108,2.93029,37500,5721,26,28553,849,2636,64173,49,446,1055
Reachability property qltransition_4424 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4424,2.04381e+109,2.93714,37500,5723,26,28553,849,2637,64173,49,446,1056
Reachability property qltransition_4425 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4425,2.04381e+109,2.94354,37500,5723,26,28553,849,2638,64173,49,446,1057
Reachability property qltransition_4426 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4426,2.04381e+109,2.95004,37500,5723,26,28553,849,2639,64173,49,446,1058
Reachability property qltransition_4427 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4427,2.04381e+109,2.95649,37500,5723,26,28553,849,2640,64173,49,446,1058
Reachability property qltransition_4428 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4428,2.04381e+109,2.96297,37500,5723,26,28553,849,2641,64173,49,446,1059
Reachability property qltransition_4429 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4429,2.04381e+109,2.96949,37500,5723,26,28553,849,2642,64173,49,446,1059
Reachability property qltransition_4441 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4441,1.1241e+110,2.9762,37500,5725,26,28553,849,2643,64173,49,446,1060
Reachability property qltransition_4442 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4442,1.1241e+110,2.98266,37500,5725,26,28553,849,2644,64173,49,446,1061
Reachability property qltransition_4443 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4443,1.1241e+110,2.98917,37500,5725,26,28553,849,2645,64173,49,446,1062
Reachability property qltransition_4444 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4444,1.1241e+110,2.99558,37500,5725,26,28553,849,2646,64173,49,446,1062
Reachability property qltransition_4445 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4445,1.1241e+110,3.00207,37500,5725,26,28553,849,2647,64173,49,446,1063
Reachability property qltransition_4446 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4446,1.1241e+110,3.00865,37500,5725,26,28553,849,2648,64173,49,446,1063
Reachability property qltransition_4487 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4487,6.18253e+110,3.01532,37500,5727,26,28553,849,2649,64173,49,446,1064
Reachability property qltransition_4488 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4488,6.18253e+110,3.02176,37500,5727,26,28553,849,2650,64173,49,446,1065
Reachability property qltransition_4489 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4489,6.18253e+110,3.02823,37500,5727,26,28553,849,2651,64173,49,446,1066
Reachability property qltransition_4490 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4490,6.18253e+110,3.03472,37500,5727,26,28553,849,2652,64173,49,446,1066
Reachability property qltransition_4491 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4491,6.18253e+110,3.04121,37500,5727,26,28553,849,2653,64173,49,446,1067
Reachability property qltransition_4492 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4492,6.18253e+110,3.04761,37500,5727,26,28553,849,2654,64173,49,446,1067
Reachability property qltransition_4496 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4496,3.40039e+111,3.0544,37500,5729,26,28553,849,2655,64173,49,446,1068
Reachability property qltransition_4497 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4497,3.40039e+111,3.06092,37500,5729,26,28553,849,2656,64173,49,446,1069
Reachability property qltransition_4498 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4498,3.40039e+111,3.06736,37500,5729,26,28553,849,2657,64173,49,446,1070
Reachability property qltransition_4499 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4499,3.40039e+111,3.07382,37500,5729,26,28553,849,2658,64173,49,446,1070
Reachability property qltransition_4500 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4500,3.40039e+111,3.08039,37500,5729,26,28553,849,2659,64173,49,446,1071
Reachability property qltransition_4501 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4501,3.40039e+111,3.08685,37500,5729,26,28553,849,2660,64173,49,446,1071
Reachability property qltransition_4516 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4516,1.87022e+112,3.09367,37500,5731,26,28553,849,2661,64173,49,446,1072
Reachability property qltransition_4517 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4517,1.87022e+112,3.10016,37500,5731,26,28553,849,2662,64173,49,446,1073
Reachability property qltransition_4518 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4518,1.87022e+112,3.10665,37500,5731,26,28553,849,2663,64173,49,446,1074
Reachability property qltransition_4519 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4519,1.87022e+112,3.11313,37500,5731,26,28553,849,2664,64173,49,446,1074
Reachability property qltransition_4520 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4520,1.87022e+112,3.11958,37500,5731,26,28553,849,2665,64173,49,446,1075
Reachability property qltransition_4521 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4521,1.87022e+112,3.12603,37500,5731,26,28553,849,2666,64173,49,446,1075
Reachability property qltransition_4694 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4694,1.02862e+113,3.13317,37500,5733,26,28553,849,2667,64173,49,446,1076
Reachability property qltransition_4695 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4695,1.02862e+113,3.13975,37500,5733,26,28553,849,2668,64173,49,446,1077
Reachability property qltransition_4696 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4696,1.02862e+113,3.14624,37500,5733,26,28553,849,2669,64173,49,446,1078
Reachability property qltransition_4697 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4697,1.02862e+113,3.15301,37500,5733,26,28553,849,2670,64173,49,446,1078
Reachability property qltransition_4698 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4698,1.02862e+113,3.15969,37500,5733,26,28553,849,2671,64173,49,446,1079
Reachability property qltransition_4699 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4699,1.02862e+113,3.16616,37500,5733,26,28553,849,2672,64173,49,446,1079
Reachability property qltransition_4723 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4723,5.65741e+113,3.17295,37500,5735,26,28553,849,2673,64173,49,446,1080
Reachability property qltransition_4724 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4724,5.65741e+113,3.17939,37500,5735,26,28553,849,2674,64173,49,446,1081
Reachability property qltransition_4725 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4725,5.65741e+113,3.18594,37500,5735,26,28553,849,2675,64173,49,446,1082
Reachability property qltransition_4726 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4726,5.65741e+113,3.19243,37500,5735,26,28553,849,2676,64173,49,446,1082
Reachability property qltransition_4727 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4727,5.65741e+113,3.1989,37500,5735,26,28553,849,2677,64173,49,446,1083
Reachability property qltransition_4728 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4728,5.65741e+113,3.20546,37500,5735,26,28553,849,2678,64173,49,446,1083
Reachability property qltransition_4739 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4739,3.11157e+114,3.21228,37500,5737,26,28553,849,2679,64173,49,446,1084
Reachability property qltransition_4740 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4740,3.11157e+114,3.21871,37500,5737,26,28553,849,2680,64173,49,446,1085
Reachability property qltransition_4741 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4741,3.11157e+114,3.22527,37500,5737,26,28553,849,2681,64173,49,446,1086
Reachability property qltransition_4742 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4742,3.11157e+114,3.23178,37500,5737,26,28553,849,2682,64173,49,446,1086
Reachability property qltransition_4743 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4743,3.11157e+114,3.23824,37500,5737,26,28553,849,2683,64173,49,446,1087
Reachability property qltransition_4744 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4744,3.11157e+114,3.24474,37500,5737,26,28553,849,2684,64173,49,446,1087
Reachability property qltransition_4844 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4844,1.71137e+115,3.25153,37500,5739,26,28553,849,2685,64173,49,446,1088
Reachability property qltransition_4845 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4845,1.71137e+115,3.25804,37500,5739,26,28553,849,2686,64173,49,446,1089
Reachability property qltransition_4846 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4846,1.71137e+115,3.26451,37500,5739,26,28553,849,2687,64173,49,446,1090
Reachability property qltransition_4847 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4847,1.71137e+115,3.27104,37500,5739,26,28553,849,2688,64173,49,446,1090
Reachability property qltransition_4848 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4848,1.71137e+115,3.27756,37500,5739,26,28553,849,2689,64173,49,446,1091
Reachability property qltransition_4849 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4849,1.71137e+115,3.28411,37500,5739,26,28553,849,2690,64173,49,446,1091
Reachability property qltransition_4996 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4996,9.41251e+115,3.29085,37500,5741,26,28553,849,2691,64173,49,446,1092
Reachability property qltransition_4997 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4997,9.41251e+115,3.29739,37500,5741,26,28553,849,2692,64173,49,446,1093
Reachability property qltransition_4998 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4998,9.41251e+115,3.3039,37500,5741,26,28553,849,2693,64173,49,446,1094
Reachability property qltransition_4999 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_4999,9.41251e+115,3.31032,37500,5741,26,28553,849,2694,64173,49,446,1094
Reachability property qltransition_5000 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5000,9.41251e+115,3.31682,37500,5741,26,28553,849,2695,64173,49,446,1095
Reachability property qltransition_5001 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5001,9.41251e+115,3.32322,37500,5741,26,28553,849,2696,64173,49,446,1095
Reachability property qltransition_5004 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5004,5.17688e+116,3.32996,37500,5743,26,28553,849,2697,64173,49,446,1096
Reachability property qltransition_5005 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5005,5.17688e+116,3.33642,37500,5743,26,28553,849,2698,64173,49,446,1097
Reachability property qltransition_5006 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5006,5.17688e+116,3.34282,37500,5743,26,28553,849,2699,64173,49,446,1098
Reachability property qltransition_5007 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5007,5.17688e+116,3.34935,37500,5743,26,28553,849,2700,64173,49,446,1098
Reachability property qltransition_5008 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5008,5.17688e+116,3.35586,37500,5743,26,28553,849,2701,64173,49,446,1099
Reachability property qltransition_5009 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5009,5.17688e+116,3.36229,37500,5743,26,28553,849,2702,64173,49,446,1099
Reachability property qltransition_5020 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5020,2.84728e+117,3.36905,37500,5745,26,28553,849,2703,64173,49,446,1100
Reachability property qltransition_5021 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5021,2.84728e+117,3.37551,37500,5745,26,28553,849,2704,64173,49,446,1101
Reachability property qltransition_5022 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5022,2.84728e+117,3.382,37500,5745,26,28553,849,2705,64173,49,446,1102
Reachability property qltransition_5023 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5023,2.84728e+117,3.38847,37500,5745,26,28553,849,2706,64173,49,446,1102
Reachability property qltransition_5024 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5024,2.84728e+117,3.39488,37500,5745,26,28553,849,2707,64173,49,446,1103
Reachability property qltransition_5025 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5025,2.84728e+117,3.40155,37500,5745,26,28553,849,2708,64173,49,446,1103
Reachability property qltransition_5059 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5059,1.56601e+118,3.40836,37500,5747,26,28553,849,2709,64173,49,446,1104
Reachability property qltransition_5060 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5060,1.56601e+118,3.41475,37500,5747,26,28553,849,2710,64173,49,446,1105
Reachability property qltransition_5061 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5061,1.56601e+118,3.42122,37500,5747,26,28553,849,2711,64173,49,446,1106
Reachability property qltransition_5062 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5062,1.56601e+118,3.42792,37500,5747,26,28553,849,2712,64173,49,446,1106
Reachability property qltransition_5063 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5063,1.56601e+118,3.43435,37500,5747,26,28553,849,2713,64173,49,446,1107
Reachability property qltransition_5064 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5064,1.56601e+118,3.44082,37500,5747,26,28553,849,2714,64173,49,446,1107
Reachability property qltransition_5183 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5183,8.61303e+118,3.44757,37500,5749,26,28553,849,2715,64173,49,446,1108
Reachability property qltransition_5184 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5184,8.61303e+118,3.45407,37500,5749,26,28553,849,2716,64173,49,446,1109
Reachability property qltransition_5185 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5185,8.61303e+118,3.46055,37500,5749,26,28553,849,2717,64173,49,446,1110
Reachability property qltransition_5186 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5186,8.61303e+118,3.46698,37500,5749,26,28553,849,2718,64173,49,446,1110
Reachability property qltransition_5187 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5187,8.61303e+118,3.47357,37500,5749,26,28553,849,2719,64173,49,446,1111
Reachability property qltransition_5188 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5188,8.61303e+118,3.4801,37500,5749,26,28553,849,2720,64173,49,446,1111
Reachability property qltransition_5200 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5200,4.73717e+119,3.48677,37500,5751,26,28553,849,2721,64173,49,446,1112
Reachability property qltransition_5201 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5201,4.73717e+119,3.49333,37500,5751,26,28553,849,2722,64173,49,446,1113
Reachability property qltransition_5202 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5202,4.73717e+119,3.4998,37500,5751,26,28553,849,2723,64173,49,446,1114
Reachability property qltransition_5203 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5203,4.73717e+119,3.50627,37500,5751,26,28553,849,2724,64173,49,446,1114
Reachability property qltransition_5204 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5204,4.73717e+119,3.51274,37500,5751,26,28553,849,2725,64173,49,446,1115
Reachability property qltransition_5205 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5205,4.73717e+119,3.51915,37500,5751,26,28553,849,2726,64173,49,446,1115
Reachability property qltransition_5234 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5234,2.60544e+120,3.52586,37500,5753,26,28553,849,2727,64173,49,446,1116
Reachability property qltransition_5235 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5235,2.60544e+120,3.5324,37500,5753,26,28553,849,2728,64173,49,446,1117
Reachability property qltransition_5236 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5236,2.60544e+120,3.53881,37500,5753,26,28553,849,2729,64173,49,446,1118
Reachability property qltransition_5237 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5237,2.60544e+120,3.54523,37500,5753,26,28553,849,2730,64173,49,446,1118
Reachability property qltransition_5238 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5238,2.60544e+120,3.55172,37500,5753,26,28553,849,2731,64173,49,446,1119
Reachability property qltransition_5239 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5239,2.60544e+120,3.55815,37500,5753,26,28553,849,2732,64173,49,446,1119
Reachability property qltransition_5256 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5256,1.43299e+121,3.56488,37500,5755,26,28553,849,2733,64173,49,446,1120
Reachability property qltransition_5257 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5257,1.43299e+121,3.57156,37500,5755,26,28553,849,2734,64173,49,446,1121
Reachability property qltransition_5258 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5258,1.43299e+121,3.57813,37500,5755,26,28553,849,2735,64173,49,446,1122
Reachability property qltransition_5259 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5259,1.43299e+121,3.58467,37500,5755,26,28553,849,2736,64173,49,446,1122
Reachability property qltransition_5260 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5260,1.43299e+121,3.59111,37500,5755,26,28553,849,2737,64173,49,446,1123
Reachability property qltransition_5261 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5261,1.43299e+121,3.59762,37500,5755,26,28553,849,2738,64173,49,446,1123
Reachability property qltransition_5293 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5293,7.88146e+121,3.60432,37500,5757,26,28553,849,2739,64173,49,446,1124
Reachability property qltransition_5294 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5294,7.88146e+121,3.6107,37500,5757,26,28553,849,2740,64173,49,446,1125
Reachability property qltransition_5295 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5295,7.88146e+121,3.61716,37500,5757,26,28553,849,2741,64173,49,446,1126
Reachability property qltransition_5296 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5296,7.88146e+121,3.6237,37500,5757,26,28553,849,2742,64173,49,446,1126
Reachability property qltransition_5297 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5297,7.88146e+121,3.63023,37500,5757,26,28553,849,2743,64173,49,446,1127
Reachability property qltransition_5298 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5298,7.88146e+121,3.63669,37500,5757,26,28553,849,2744,64173,49,446,1127
Reachability property qltransition_5385 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5385,4.33481e+122,3.64342,37500,5759,26,28553,849,2745,64173,49,446,1128
Reachability property qltransition_5386 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5386,4.33481e+122,3.64986,37500,5759,26,28553,849,2746,64173,49,446,1129
Reachability property qltransition_5387 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5387,4.33481e+122,3.65637,37500,5759,26,28553,849,2747,64173,49,446,1130
Reachability property qltransition_5388 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5388,4.33481e+122,3.66284,37500,5759,26,28553,849,2748,64173,49,446,1130
Reachability property qltransition_5389 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5389,4.33481e+122,3.66932,37500,5759,26,28553,849,2749,64173,49,446,1131
Reachability property qltransition_5390 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5390,4.33481e+122,3.67584,37500,5759,26,28553,849,2750,64173,49,446,1131
Reachability property qltransition_5406 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5406,1.66175e+126,3.68257,37500,5802,26,28553,849,2751,64173,49,446,1132
Reachability property qltransition_5407 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5407,1.66175e+126,3.68907,37500,5802,26,28553,849,2752,64173,49,446,1133
Reachability property qltransition_5408 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5408,1.66175e+126,3.69555,37500,5802,26,28553,849,2753,64173,49,446,1134
Reachability property qltransition_5409 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5409,1.66175e+126,3.70204,37500,5802,26,28553,849,2754,64173,49,446,1134
Reachability property qltransition_5410 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5410,1.66175e+126,3.70856,37500,5802,26,28553,849,2755,64173,49,446,1135
Reachability property qltransition_5411 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5411,1.66175e+126,3.715,37500,5802,26,28553,849,2756,64173,49,446,1135
Reachability property qltransition_5432 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5432,6.35771e+123,3.72185,37500,5764,25,28553,849,2757,64173,49,446,1154
Reachability property qltransition_5433 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5433,6.35771e+123,3.72842,37500,5764,25,28553,849,2758,64173,49,446,1154
Reachability property qltransition_5434 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5434,6.35771e+123,3.73525,37500,5763,26,28553,849,2759,64173,49,446,1170
Reachability property qltransition_5436 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5436,1.58943e+123,3.74204,37500,5764,26,28553,849,2760,64173,49,446,1186
Reachability property qltransition_5437 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5437,1.58943e+123,3.74874,37500,5764,26,28553,849,2761,64173,49,446,1187
Reachability property qltransition_5438 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5438,1.58943e+123,3.75542,37500,5764,26,28553,849,2762,64173,49,446,1203
Reachability property qltransition_5439 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5439,1.58943e+123,3.76198,37500,5764,26,28553,849,2763,64173,49,446,1203
Reachability property qltransition_5440 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5440,1.58943e+123,3.76865,37500,5764,26,28553,849,2764,64173,49,446,1219
Reachability property qltransition_5441 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5441,3.17886e+123,3.7754,37500,5764,26,28553,849,2765,64173,49,446,1219
Reachability property qltransition_5442 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5442,6.35771e+123,3.78188,37500,5763,26,28553,849,2766,64173,49,446,1219
Reachability property qltransition_5443 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5443,6.35771e+123,3.78868,37500,5762,25,28553,849,2767,64173,49,446,1226
Reachability property qltransition_5445 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5445,9.53657e+123,3.79536,37500,5763,26,28553,849,2768,64173,49,446,1227
Reachability property qltransition_5446 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5446,9.53657e+123,3.8018,37500,5763,26,28553,849,2769,64173,49,446,1228
Reachability property qltransition_5447 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5447,9.53657e+123,3.8083,37500,5763,26,28553,849,2770,64173,49,446,1228
Reachability property qltransition_5448 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5448,9.53657e+123,3.81467,37500,5763,26,28553,849,2771,64173,49,446,1228
Reachability property qltransition_5449 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5449,9.53657e+123,3.82113,37500,5763,26,28553,849,2772,64173,50,446,1228
Reachability property qltransition_5450 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5450,9.53657e+123,3.8276,37500,5763,26,28553,849,2773,64173,50,446,1228
Reachability property qltransition_5451 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5451,6.35771e+123,3.83426,37500,5762,25,28553,849,2774,64173,50,446,1228
Reachability property qltransition_5453 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5453,9.53657e+123,3.84092,37500,5762,26,28553,849,2775,64173,50,446,1229
Reachability property qltransition_5454 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5454,9.53657e+123,3.84738,37500,5762,26,28553,849,2776,64173,50,446,1230
Reachability property qltransition_5455 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5455,9.53657e+123,3.85385,37500,5762,26,28553,849,2777,64173,50,446,1230
Reachability property qltransition_5456 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5456,9.53657e+123,3.86041,37500,5762,26,28553,849,2778,64173,50,446,1230
Reachability property qltransition_5457 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5457,9.53657e+123,3.86709,37500,5762,26,28553,849,2779,64173,50,446,1230
Reachability property qltransition_5458 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5458,9.53657e+123,3.87352,37500,5762,26,28553,849,2780,64173,50,446,1230
Reachability property qltransition_5465 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5465,9.13961e+126,3.8803,37500,5804,26,28553,849,2781,64173,50,446,1231
Reachability property qltransition_5466 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5466,9.13961e+126,3.88679,37500,5804,26,28553,849,2782,64173,50,446,1232
Reachability property qltransition_5467 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5467,9.13961e+126,3.89336,37500,5804,26,28553,849,2783,64173,50,446,1233
Reachability property qltransition_5468 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5468,9.13961e+126,3.89985,37500,5804,26,28553,849,2784,64173,50,446,1233
Reachability property qltransition_5469 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5469,9.13961e+126,3.90636,37500,5804,26,28553,849,2785,64173,50,446,1234
Reachability property qltransition_5470 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5470,9.13961e+126,3.91283,37500,5804,26,28553,849,2786,64173,50,446,1234
Reachability property qltransition_5499 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5499,5.02679e+127,3.91957,37500,5806,26,28553,849,2787,64173,50,446,1235
Reachability property qltransition_5500 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5500,5.02679e+127,3.92619,37500,5806,26,28553,849,2788,64173,50,446,1236
Reachability property qltransition_5501 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5501,5.02679e+127,3.93285,37500,5806,26,28553,849,2789,64173,50,446,1237
Reachability property qltransition_5502 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5502,5.02679e+127,3.93936,37500,5806,26,28553,849,2790,64173,50,446,1237
Reachability property qltransition_5503 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5503,5.02679e+127,3.94584,37500,5806,26,28553,849,2791,64173,50,446,1238
Reachability property qltransition_5504 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5504,5.02679e+127,3.95241,37500,5806,26,28553,849,2792,64173,50,446,1238
Reachability property qltransition_5538 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5538,2.76473e+128,3.95915,37500,5808,26,28553,849,2793,64173,50,446,1239
Reachability property qltransition_5539 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5539,2.76473e+128,3.9656,37500,5808,26,28553,849,2794,64173,50,446,1240
Reachability property qltransition_5540 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5540,2.76473e+128,3.97214,37500,5808,26,28553,849,2795,64173,50,446,1241
Reachability property qltransition_5541 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5541,2.76473e+128,3.97851,37500,5808,26,28553,849,2796,64173,50,446,1241
Reachability property qltransition_5542 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5542,2.76473e+128,3.98499,37500,5808,26,28553,849,2797,64173,50,446,1242
Reachability property qltransition_5543 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5543,2.76473e+128,3.99149,37500,5808,26,28553,849,2798,64173,50,446,1242
Reachability property qltransition_5621 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5621,1.5206e+129,3.99815,37500,5810,26,28553,849,2799,64173,50,446,1243
Reachability property qltransition_5622 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5622,1.5206e+129,4.00467,37500,5810,26,28553,849,2800,64173,50,446,1244
Reachability property qltransition_5623 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5623,1.5206e+129,4.01116,37500,5810,26,28553,849,2801,64173,50,446,1245
Reachability property qltransition_5624 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5624,1.5206e+129,4.01756,37500,5810,26,28553,849,2802,64173,50,446,1245
Reachability property qltransition_5625 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5625,1.5206e+129,4.02407,37500,5810,26,28553,849,2803,64173,50,446,1246
Reachability property qltransition_5626 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5626,1.5206e+129,4.03047,37500,5810,26,28553,849,2804,64173,50,446,1246
Reachability property qltransition_5659 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5659,8.36332e+129,4.03715,37500,5812,26,28553,849,2805,64173,50,446,1247
Reachability property qltransition_5660 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5660,8.36332e+129,4.0438,37500,5812,26,28553,849,2806,64173,50,446,1248
Reachability property qltransition_5661 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5661,8.36332e+129,4.05067,37500,5812,26,28553,849,2807,64173,50,446,1249
Reachability property qltransition_5662 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5662,8.36332e+129,4.05735,37500,5812,26,28553,849,2808,64173,50,446,1249
Reachability property qltransition_5663 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5663,8.36332e+129,4.06406,37500,5812,26,28553,849,2809,64173,50,446,1250
Reachability property qltransition_5664 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5664,8.36332e+129,4.0707,37500,5812,26,28553,849,2810,64173,50,446,1250
Reachability property qltransition_5667 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5667,4.59982e+130,4.07751,37500,5814,26,28553,849,2811,64173,50,446,1251
Reachability property qltransition_5668 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5668,4.59982e+130,4.08419,37500,5814,26,28553,849,2812,64173,50,446,1252
Reachability property qltransition_5669 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5669,4.59982e+130,4.0908,37500,5814,26,28553,849,2813,64173,50,446,1253
Reachability property qltransition_5670 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5670,4.59982e+130,4.09739,37500,5814,26,28553,849,2814,64173,50,446,1253
Reachability property qltransition_5671 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5671,4.59982e+130,4.10404,37500,5814,26,28553,849,2815,64173,50,446,1254
Reachability property qltransition_5672 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5672,4.59982e+130,4.11065,37500,5814,26,28553,849,2816,64173,50,446,1254
Reachability property qltransition_5819 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5819,2.5299e+131,4.11741,37500,5816,26,28553,849,2817,64173,50,446,1255
Reachability property qltransition_5820 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5820,2.5299e+131,4.12413,37500,5816,26,28553,849,2818,64173,50,446,1256
Reachability property qltransition_5821 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5821,2.5299e+131,4.13082,37500,5816,26,28553,849,2819,64173,50,446,1257
Reachability property qltransition_5822 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5822,2.5299e+131,4.1374,37500,5816,26,28553,849,2820,64173,50,446,1257
Reachability property qltransition_5823 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5823,2.5299e+131,4.14398,37500,5816,26,28553,849,2821,64173,50,446,1258
Reachability property qltransition_5824 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5824,2.5299e+131,4.15056,37500,5816,26,28553,849,2822,64173,50,446,1258
Reachability property qltransition_5827 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5827,1.39145e+132,4.15731,37500,5818,26,28553,849,2823,64173,50,446,1259
Reachability property qltransition_5828 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5828,1.39145e+132,4.16386,37500,5818,26,28553,849,2824,64173,50,446,1260
Reachability property qltransition_5829 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5829,1.39145e+132,4.17053,37500,5818,26,28553,849,2825,64173,50,446,1261
Reachability property qltransition_5830 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5830,1.39145e+132,4.17711,37500,5818,26,28553,849,2826,64173,50,446,1261
Reachability property qltransition_5831 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5831,1.39145e+132,4.18368,37500,5818,26,28553,849,2827,64173,50,446,1262
Reachability property qltransition_5832 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5832,1.39145e+132,4.19025,37500,5818,26,28553,849,2828,64173,50,446,1262
Reachability property qltransition_5856 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5856,7.65296e+132,4.19699,37500,5820,26,28553,849,2829,64173,50,446,1263
Reachability property qltransition_5857 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5857,7.65296e+132,4.20362,37500,5820,26,28553,849,2830,64173,50,446,1264
Reachability property qltransition_5858 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5858,7.65296e+132,4.21024,37500,5820,26,28553,849,2831,64173,50,446,1265
Reachability property qltransition_5859 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5859,7.65296e+132,4.21683,37500,5820,26,28553,849,2832,64173,50,446,1265
Reachability property qltransition_5860 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5860,7.65296e+132,4.22349,37500,5820,26,28553,849,2833,64173,50,446,1266
Reachability property qltransition_5861 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5861,7.65296e+132,4.23003,37500,5820,26,28553,849,2834,64173,50,446,1266
Reachability property qltransition_5911 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5911,4.20913e+133,4.23687,37500,5822,26,28553,849,2835,64173,50,446,1267
Reachability property qltransition_5912 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5912,4.20913e+133,4.2435,37500,5822,26,28553,849,2836,64173,50,446,1268
Reachability property qltransition_5913 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5913,4.20913e+133,4.25011,37500,5822,26,28553,849,2837,64173,50,446,1269
Reachability property qltransition_5914 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5914,4.20913e+133,4.25668,37500,5822,26,28553,849,2838,64173,50,446,1269
Reachability property qltransition_5915 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5915,4.20913e+133,4.26333,37500,5822,26,28553,849,2839,64173,50,446,1270
Reachability property qltransition_5916 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5916,4.20913e+133,4.26988,37500,5822,26,28553,849,2840,64173,50,446,1270
Reachability property qltransition_5919 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5919,2.31502e+134,4.27669,37500,5824,26,28553,849,2841,64173,50,446,1271
Reachability property qltransition_5920 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5920,2.31502e+134,4.28334,37500,5824,26,28553,849,2842,64173,50,446,1272
Reachability property qltransition_5921 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5921,2.31502e+134,4.28995,37500,5824,26,28553,849,2843,64173,50,446,1273
Reachability property qltransition_5922 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5922,2.31502e+134,4.29653,37500,5824,26,28553,849,2844,64173,50,446,1273
Reachability property qltransition_5923 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5923,2.31502e+134,4.30321,37500,5824,26,28553,849,2845,64173,50,446,1274
Reachability property qltransition_5924 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5924,2.31502e+134,4.30982,37500,5824,26,28553,849,2846,64173,50,446,1274
Reachability property qltransition_5940 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5940,1.27326e+135,4.31659,37500,5826,26,28553,849,2847,64173,50,446,1275
Reachability property qltransition_5941 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5941,1.27326e+135,4.32328,37500,5826,26,28553,849,2848,64173,50,446,1276
Reachability property qltransition_5942 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5942,1.27326e+135,4.3299,37500,5826,26,28553,849,2849,64173,50,446,1277
Reachability property qltransition_5943 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5943,1.27326e+135,4.33646,37500,5826,26,28553,849,2850,64173,50,446,1277
Reachability property qltransition_5944 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5944,1.27326e+135,4.3431,37500,5826,26,28553,849,2851,64173,50,446,1278
Reachability property qltransition_5945 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5945,1.27326e+135,4.34969,37500,5826,26,28553,849,2852,64173,50,446,1278
Reachability property qltransition_5973 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5973,7.00293e+135,4.3565,37500,5828,26,28553,849,2853,64173,50,446,1279
Reachability property qltransition_5974 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5974,7.00293e+135,4.36307,37500,5828,26,28553,849,2854,64173,50,446,1280
Reachability property qltransition_5975 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5975,7.00293e+135,4.36964,37500,5828,26,28553,849,2855,64173,50,446,1281
Reachability property qltransition_5976 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5976,7.00293e+135,4.37647,37500,5828,26,28553,849,2856,64173,50,446,1281
Reachability property qltransition_5977 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5977,7.00293e+135,4.38295,37500,5828,26,28553,849,2857,64173,50,446,1282
Reachability property qltransition_5978 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_5978,7.00293e+135,4.38928,37500,5828,26,28553,849,2858,64173,50,446,1282
Reachability property qltransition_6003 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6003,3.85161e+136,4.39579,37500,5830,26,28553,849,2859,64173,50,446,1283
Reachability property qltransition_6004 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6004,3.85161e+136,4.40216,37500,5830,26,28553,849,2860,64173,50,446,1284
Reachability property qltransition_6005 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6005,3.85161e+136,4.40859,37500,5830,26,28553,849,2861,64173,50,446,1285
Reachability property qltransition_6006 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6006,3.85161e+136,4.41488,37500,5830,26,28553,849,2862,64173,50,446,1285
Reachability property qltransition_6007 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6007,3.85161e+136,4.42174,37500,5830,26,28553,849,2863,64173,50,446,1286
Reachability property qltransition_6008 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6008,3.85161e+136,4.43219,37500,5830,26,28553,849,2864,64173,50,446,1286
Reachability property qltransition_6066 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6066,2.11839e+137,4.4428,37500,5832,26,28553,849,2865,64173,50,446,1287
Reachability property qltransition_6067 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6067,2.11839e+137,4.4532,37500,5832,26,28553,849,2866,64173,50,446,1288
Reachability property qltransition_6068 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6068,2.11839e+137,4.46377,37500,5832,26,28553,849,2867,64173,50,446,1289
Reachability property qltransition_6069 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6069,2.11839e+137,4.4742,37500,5832,26,28553,849,2868,64173,50,446,1289
Reachability property qltransition_6070 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6070,2.11839e+137,4.48474,37500,5832,26,28553,849,2869,64173,50,446,1290
Reachability property qltransition_6071 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6071,2.11839e+137,4.49525,37500,5832,26,28553,849,2870,64173,50,446,1290
Reachability property qltransition_6158 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6158,1.16511e+138,4.50597,37500,5834,26,28553,849,2871,64173,50,446,1291
Reachability property qltransition_6159 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6159,1.16511e+138,4.51639,37500,5834,26,28553,849,2872,64173,50,446,1292
Reachability property qltransition_6160 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6160,1.16511e+138,4.5269,37500,5834,26,28553,849,2873,64173,50,446,1293
Reachability property qltransition_6161 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6161,1.16511e+138,4.53742,37500,5834,26,28553,849,2874,64173,50,446,1293
Reachability property qltransition_6162 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6162,1.16511e+138,4.54792,37500,5834,26,28553,849,2875,64173,50,446,1294
Reachability property qltransition_6163 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6163,1.16511e+138,4.55837,37500,5834,26,28553,849,2876,64173,50,446,1294
Reachability property qltransition_6167 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6167,6.40812e+138,4.56907,37500,5836,26,28553,849,2877,64173,50,446,1295
Reachability property qltransition_6168 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6168,6.40812e+138,4.57951,37500,5836,26,28553,849,2878,64173,50,446,1296
Reachability property qltransition_6169 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6169,6.40812e+138,4.58995,37500,5836,26,28553,849,2879,64173,50,446,1297
Reachability property qltransition_6170 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6170,6.40812e+138,4.60044,37500,5836,26,28553,849,2880,64173,50,446,1297
Reachability property qltransition_6171 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6171,6.40812e+138,4.61098,37500,5836,26,28553,849,2881,64173,50,446,1298
Reachability property qltransition_6172 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6172,6.40812e+138,4.62145,37500,5836,26,28553,849,2882,64173,50,446,1298
Reachability property qltransition_6188 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6188,3.52447e+139,4.63215,37500,5838,26,28553,849,2883,64173,50,446,1299
Reachability property qltransition_6189 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6189,3.52447e+139,4.64259,37500,5838,26,28553,849,2884,64173,50,446,1300
Reachability property qltransition_6190 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6190,3.52447e+139,4.65298,37500,5838,26,28553,849,2885,64173,50,446,1301
Reachability property qltransition_6191 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6191,3.52447e+139,4.66345,37500,5838,26,28553,849,2886,64173,50,446,1301
Reachability property qltransition_6192 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6192,3.52447e+139,4.67393,37500,5838,26,28553,849,2887,64173,50,446,1302
Reachability property qltransition_6193 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6193,3.52447e+139,4.68428,37500,5838,26,28553,849,2888,64173,50,446,1302
Reachability property qltransition_6331 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6331,1.93846e+140,4.69496,37500,5840,26,28553,849,2889,64173,50,446,1303
Reachability property qltransition_6332 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6332,1.93846e+140,4.70544,37500,5840,26,28553,849,2890,64173,50,446,1304
Reachability property qltransition_6333 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6333,1.93846e+140,4.71589,37500,5840,26,28553,849,2891,64173,50,446,1305
Reachability property qltransition_6334 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6334,1.93846e+140,4.72631,37500,5840,26,28553,849,2892,64173,50,446,1305
Reachability property qltransition_6335 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6335,1.93846e+140,4.73679,37500,5840,26,28553,849,2893,64173,50,446,1306
Reachability property qltransition_6336 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6336,1.93846e+140,4.74728,37500,5840,26,28553,849,2894,64173,50,446,1306
Reachability property qltransition_6348 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6348,1.06615e+141,4.75788,37500,5842,26,28553,849,2895,64173,50,446,1307
Reachability property qltransition_6349 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6349,1.06615e+141,4.76837,37500,5842,26,28553,849,2896,64173,50,446,1308
Reachability property qltransition_6350 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6350,1.06615e+141,4.77881,37500,5842,26,28553,849,2897,64173,50,446,1309
Reachability property qltransition_6351 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6351,1.06615e+141,4.78919,37500,5842,26,28553,849,2898,64173,50,446,1309
Reachability property qltransition_6352 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6352,1.06615e+141,4.79962,37500,5842,26,28553,849,2899,64173,50,446,1310
Reachability property qltransition_6353 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6353,1.06615e+141,4.81007,37500,5842,26,28553,849,2900,64173,50,446,1310
Reachability property qltransition_6424 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6424,5.86383e+141,4.82068,37500,5844,26,28553,849,2901,64173,50,446,1311
Reachability property qltransition_6425 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6425,5.86383e+141,4.8311,37500,5844,26,28553,849,2902,64173,50,446,1312
Reachability property qltransition_6426 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6426,5.86383e+141,4.84151,37500,5844,26,28553,849,2903,64173,50,446,1313
Reachability property qltransition_6427 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6427,5.86383e+141,4.85194,37500,5844,26,28553,849,2904,64173,50,446,1313
Reachability property qltransition_6428 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6428,5.86383e+141,4.86242,37500,5844,26,28553,849,2905,64173,50,446,1314
Reachability property qltransition_6429 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6429,5.86383e+141,4.87295,37500,5844,26,28553,849,2906,64173,50,446,1314
Reachability property qltransition_6516 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6516,3.22511e+142,4.88347,37500,5846,26,28553,849,2907,64173,50,446,1315
Reachability property qltransition_6517 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6517,3.22511e+142,4.89389,37500,5846,26,28553,849,2908,64173,50,446,1316
Reachability property qltransition_6518 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6518,3.22511e+142,4.90436,37500,5846,26,28553,849,2909,64173,50,446,1317
Reachability property qltransition_6519 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6519,3.22511e+142,4.91284,37500,5846,26,28553,849,2910,64173,50,446,1317
Reachability property qltransition_6520 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6520,3.22511e+142,4.91926,37500,5846,26,28553,849,2911,64173,50,446,1318
Reachability property qltransition_6521 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6521,3.22511e+142,4.92569,37500,5846,26,28553,849,2912,64173,50,446,1318
Reachability property qltransition_6553 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6553,1.77381e+143,4.93239,37500,5848,26,28553,849,2913,64173,50,446,1319
Reachability property qltransition_6554 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6554,1.77381e+143,4.93881,37500,5848,26,28553,849,2914,64173,50,446,1320
Reachability property qltransition_6555 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6555,1.77381e+143,4.9452,37500,5848,26,28553,849,2915,64173,50,446,1321
Reachability property qltransition_6556 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6556,1.77381e+143,4.95161,37500,5848,26,28553,849,2916,64173,50,446,1321
Reachability property qltransition_6557 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6557,1.77381e+143,4.95801,37500,5848,26,28553,849,2917,64173,50,446,1322
Reachability property qltransition_6558 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6558,1.77381e+143,4.9644,37500,5848,26,28553,849,2918,64173,50,446,1322
Reachability property qltransition_6583 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6583,9.75595e+143,4.97159,37500,5850,26,28553,849,2919,64173,50,446,1323
Reachability property qltransition_6584 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6584,9.75595e+143,4.97881,37500,5850,26,28553,849,2920,64173,50,446,1324
Reachability property qltransition_6585 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6585,9.75595e+143,4.98608,37500,5850,26,28553,849,2921,64173,50,446,1325
Reachability property qltransition_6586 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6586,9.75595e+143,4.99336,37500,5850,26,28553,849,2922,64173,50,446,1325
Reachability property qltransition_6587 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6587,9.75595e+143,5.00058,37500,5850,26,28553,849,2923,64173,50,446,1326
Reachability property qltransition_6588 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6588,9.75595e+143,5.00782,37500,5850,26,28553,849,2924,64173,50,446,1326
Reachability property qltransition_6638 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6638,5.36577e+144,5.01521,37500,5852,26,28553,849,2925,64173,50,446,1327
Reachability property qltransition_6639 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6639,5.36577e+144,5.02246,37500,5852,26,28553,849,2926,64173,50,446,1328
Reachability property qltransition_6640 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6640,5.36577e+144,5.02969,37500,5852,26,28553,849,2927,64173,50,446,1329
Reachability property qltransition_6641 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6641,5.36577e+144,5.03689,37500,5852,26,28553,849,2928,64173,50,446,1329
Reachability property qltransition_6642 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6642,5.36577e+144,5.04413,37500,5852,26,28553,849,2929,64173,50,446,1330
Reachability property qltransition_6643 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6643,5.36577e+144,5.05164,37500,5852,26,28553,849,2930,64173,50,446,1330
Reachability property qltransition_6659 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6659,2.95117e+145,5.05906,37500,5854,26,28553,849,2931,64173,50,446,1331
Reachability property qltransition_6660 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6660,2.95117e+145,5.06628,37500,5854,26,28553,849,2932,64173,50,446,1332
Reachability property qltransition_6661 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6661,2.95117e+145,5.07352,37500,5854,26,28553,849,2933,64173,50,446,1333
Reachability property qltransition_6662 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6662,2.95117e+145,5.08089,37500,5854,26,28553,849,2934,64173,50,446,1333
Reachability property qltransition_6663 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6663,2.95117e+145,5.08826,37500,5854,26,28553,849,2935,64173,50,446,1334
Reachability property qltransition_6664 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6664,2.95117e+145,5.09556,37500,5854,26,28553,849,2936,64173,50,446,1334
Reachability property qltransition_6668 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6668,1.62315e+146,5.10292,37500,5856,26,28553,849,2937,64173,50,446,1335
Reachability property qltransition_6669 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6669,1.62315e+146,5.10978,37500,5856,26,28553,849,2938,64173,50,446,1336
Reachability property qltransition_6670 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6670,1.62315e+146,5.11639,37500,5856,26,28553,849,2939,64173,50,446,1337
Reachability property qltransition_6671 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6671,1.62315e+146,5.12294,37500,5856,26,28553,849,2940,64173,50,446,1337
Reachability property qltransition_6672 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6672,1.62315e+146,5.12955,37500,5856,26,28553,849,2941,64173,50,446,1338
Reachability property qltransition_6673 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6673,1.62315e+146,5.13612,37500,5856,26,28553,849,2942,64173,50,446,1338
Reachability property qltransition_6697 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6697,8.9273e+146,5.14273,37500,5858,26,28553,849,2943,64173,50,446,1339
Reachability property qltransition_6698 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6698,8.9273e+146,5.14929,37500,5858,26,28553,849,2944,64173,50,446,1340
Reachability property qltransition_6699 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6699,8.9273e+146,5.15588,37500,5858,26,28553,849,2945,64173,50,446,1341
Reachability property qltransition_6700 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6700,8.9273e+146,5.16249,37500,5858,26,28553,849,2946,64173,50,446,1341
Reachability property qltransition_6701 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6701,8.9273e+146,5.16908,37500,5858,26,28553,849,2947,64173,50,446,1342
Reachability property qltransition_6702 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6702,8.9273e+146,5.1757,37500,5858,26,28553,849,2948,64173,50,446,1342
Reachability property qltransition_6721 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6721,4.91002e+147,5.1902,37500,5860,26,28553,849,2949,64173,50,446,1343
Reachability property qltransition_6722 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6722,4.91002e+147,5.19692,37500,5860,26,28553,849,2950,64173,50,446,1344
Reachability property qltransition_6723 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6723,4.91002e+147,5.20349,37500,5860,26,28553,849,2951,64173,50,446,1345
Reachability property qltransition_6724 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6724,4.91002e+147,5.21011,37500,5860,26,28553,849,2952,64173,50,446,1345
Reachability property qltransition_6725 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6725,4.91002e+147,5.21677,37500,5860,26,28553,849,2953,64173,50,446,1346
Reachability property qltransition_6726 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6726,4.91002e+147,5.22331,37500,5860,26,28553,849,2954,64173,50,446,1346
Reachability property qltransition_6880 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6880,2.70051e+148,5.22992,37500,5862,26,28553,849,2955,64173,50,446,1347
Reachability property qltransition_6881 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6881,2.70051e+148,5.23656,37500,5862,26,28553,849,2956,64173,50,446,1348
Reachability property qltransition_6882 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6882,2.70051e+148,5.24314,37500,5862,26,28553,849,2957,64173,50,446,1349
Reachability property qltransition_6883 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6883,2.70051e+148,5.24974,37500,5862,26,28553,849,2958,64173,50,446,1349
Reachability property qltransition_6884 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6884,2.70051e+148,5.25634,37500,5862,26,28553,849,2959,64173,50,446,1350
Reachability property qltransition_6885 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_6885,2.70051e+148,5.2629,37500,5862,26,28553,849,2960,64173,50,446,1350
Reachability property qltransition_7171 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7171,1.48528e+149,5.26956,37500,5864,26,28553,849,2961,64173,50,446,1351
Reachability property qltransition_7172 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7172,1.48528e+149,5.27619,37500,5864,26,28553,849,2962,64173,50,446,1352
Reachability property qltransition_7173 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7173,1.48528e+149,5.28274,37500,5864,26,28553,849,2963,64173,50,446,1353
Reachability property qltransition_7174 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7174,1.48528e+149,5.28935,37500,5864,26,28553,849,2964,64173,50,446,1353
Reachability property qltransition_7175 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7175,1.48528e+149,5.29594,37500,5864,26,28553,849,2965,64173,50,446,1354
Reachability property qltransition_7176 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7176,1.48528e+149,5.30256,37500,5864,26,28553,849,2966,64173,50,446,1354
Reachability property qltransition_7179 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7179,8.16904e+149,5.31212,37500,5866,26,28553,849,2967,64173,50,446,1355
Reachability property qltransition_7180 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7180,8.16904e+149,5.31881,37500,5866,26,28553,849,2968,64173,50,446,1356
Reachability property qltransition_7181 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7181,8.16904e+149,5.32538,37500,5866,26,28553,849,2969,64173,50,446,1357
Reachability property qltransition_7182 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7182,8.16904e+149,5.33201,37500,5866,26,28553,849,2970,64173,50,446,1357
Reachability property qltransition_7183 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7183,8.16904e+149,5.33905,37500,5866,26,28553,849,2971,64173,50,446,1358
Reachability property qltransition_7184 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7184,8.16904e+149,5.34568,37500,5866,26,28553,849,2972,64173,50,446,1358
Reachability property qltransition_7297 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7297,4.49297e+150,5.3524,37500,5868,26,28553,849,2973,64173,50,446,1359
Reachability property qltransition_7298 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7298,4.49297e+150,5.36219,37500,5868,26,28553,849,2974,64173,50,446,1360
Reachability property qltransition_7299 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7299,4.49297e+150,5.37263,37500,5868,26,28553,849,2975,64173,50,446,1361
Reachability property qltransition_7300 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7300,4.49297e+150,5.38291,37500,5868,26,28553,849,2976,64173,50,446,1361
Reachability property qltransition_7301 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7301,4.49297e+150,5.39322,37500,5868,26,28553,849,2977,64173,50,446,1362
Reachability property qltransition_7302 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7302,4.49297e+150,5.40328,37500,5868,26,28553,849,2978,64173,50,446,1362
Reachability property qltransition_7347 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7347,2.47114e+151,5.41346,37500,5870,26,28553,849,2979,64173,50,446,1363
Reachability property qltransition_7348 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7348,2.47114e+151,5.42356,37500,5870,26,28553,849,2980,64173,50,446,1364
Reachability property qltransition_7349 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7349,2.47114e+151,5.43364,37500,5870,26,28553,849,2981,64173,50,446,1365
Reachability property qltransition_7350 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7350,2.47114e+151,5.44375,37500,5870,26,28553,849,2982,64173,50,446,1365
Reachability property qltransition_7351 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7351,2.47114e+151,5.45389,37500,5870,26,28553,849,2983,64173,50,446,1366
Reachability property qltransition_7352 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7352,2.47114e+151,5.464,37500,5870,26,28553,849,2984,64173,50,446,1366
Reachability property qltransition_7364 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7364,1.35912e+152,5.47416,37500,5872,26,28553,849,2985,64173,50,446,1367
Reachability property qltransition_7365 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7365,1.35912e+152,5.48427,37500,5872,26,28553,849,2986,64173,50,446,1368
Reachability property qltransition_7366 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7366,1.35912e+152,5.49435,37500,5872,26,28553,849,2987,64173,50,446,1369
Reachability property qltransition_7367 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7367,1.35912e+152,5.5045,37500,5872,26,28553,849,2988,64173,50,446,1369
Reachability property qltransition_7368 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7368,1.35912e+152,5.51465,37500,5872,26,28553,849,2989,64173,50,446,1370
Reachability property qltransition_7369 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7369,1.35912e+152,5.52485,37500,5872,26,28553,849,2990,64173,50,446,1370
Reachability property qltransition_7401 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7401,7.47518e+152,5.53523,37500,5874,26,28553,849,2991,64173,50,446,1371
Reachability property qltransition_7402 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7402,7.47518e+152,5.54578,37500,5874,26,28553,849,2992,64173,50,446,1372
Reachability property qltransition_7403 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7403,7.47518e+152,5.55627,37500,5874,26,28553,849,2993,64173,50,446,1373
Reachability property qltransition_7404 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7404,7.47518e+152,5.56674,37500,5874,26,28553,849,2994,64173,50,446,1373
Reachability property qltransition_7405 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7405,7.47518e+152,5.57729,37500,5874,26,28553,849,2995,64173,50,446,1374
Reachability property qltransition_7406 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7406,7.47518e+152,5.58787,37500,5874,26,28553,849,2996,64173,50,446,1374
Reachability property qltransition_7486 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7486,4.11135e+153,5.59843,37500,5876,26,28553,849,2997,64173,50,446,1375
Reachability property qltransition_7487 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7487,4.11135e+153,5.60879,37500,5876,26,28553,849,2998,64173,50,446,1376
Reachability property qltransition_7488 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7488,4.11135e+153,5.61934,37500,5876,26,28553,849,2999,64173,50,446,1377
Reachability property qltransition_7489 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7489,4.11135e+153,5.62996,37500,5876,26,28553,849,3000,64173,50,446,1377
Reachability property qltransition_7490 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7490,4.11135e+153,5.64065,37500,5876,26,28553,849,3001,64173,50,446,1378
Reachability property qltransition_7491 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_7491,4.11135e+153,5.65117,37500,5876,26,28553,849,3002,64173,50,446,1378
Able to resolve query QuasiLiveness after proving 6559 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE USE_NUPN

BK_STOP 1653214825773

--------------------
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="ViralEpidemic-PT-S03D1C1A06"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is ViralEpidemic-PT-S03D1C1A06, 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 r288-smll-165307357400207"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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