MCC'2022- Execution of r234-tall-165286038000213

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
596.176	56680.00	71462.00	303.10	F	normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 788K
-rw-r--r-- 1 mcc users 7.4K Apr 29 19:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 29 19:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Apr 29 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 29 18:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K May 9 08:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 9 08:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 9 08:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 9 08:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 9 08:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 08:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 539K 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 StableMarking

=== Now, execution of the tool begins

BK_START 1653033025848

Running Version 0
[2022-05-20 07:50:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-20 07:50:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-20 07:50:27] [INFO ] Load time of PNML (sax parser for PT used): 135 ms
[2022-05-20 07:50:27] [INFO ] Transformed 1903 places.
[2022-05-20 07:50:27] [INFO ] Transformed 1403 transitions.
[2022-05-20 07:50:27] [INFO ] Found NUPN structural information;
[2022-05-20 07:50:27] [INFO ] Parsed PT model containing 1903 places and 1403 transitions in 214 ms.
Structural test allowed to assert that 803 places are NOT stable. Took 16 ms.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=12 ) properties (out of 1100) seen :122
Running SMT prover for 978 properties.
// Phase 1: matrix 1402 rows 1903 cols
[2022-05-20 07:50:28] [INFO ] Computed 901 place invariants in 38 ms
[2022-05-20 07:50:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 978 Parikh solutions to 1 different solutions.
Support contains 978 out of 1903 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1903/1903 places, 1402/1402 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 1903 transition count 1401
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1902 transition count 1401
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 15 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 1901 transition count 1400
Partial Free-agglomeration rule applied 23 times.
Drop transitions removed 23 transitions
Iterating global reduction 0 with 23 rules applied. Total rules applied 27 place count 1901 transition count 1400
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 1 rules applied. Total rules applied 28 place count 1900 transition count 1399
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 30 place count 1898 transition count 1399
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 30 place count 1898 transition count 1398
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 32 place count 1897 transition count 1398
Applied a total of 32 rules in 391 ms. Remains 1897 /1903 variables (removed 6) and now considering 1398/1402 (removed 4) transitions.
Finished structural reductions, in 1 iterations. Remains : 1897/1903 places, 1398/1402 transitions.
[2022-05-20 07:50:54] [INFO ] Flatten gal took : 149 ms
[2022-05-20 07:50:54] [INFO ] Flatten gal took : 98 ms
[2022-05-20 07:50:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11441422872142167458.gal : 39 ms
[2022-05-20 07:50:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16299426550927484064.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11441422872142167458.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16299426550927484064.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/ReachabilityCardinality11441422872142167458.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16299426550927484064.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality16299426550927484064.prop.
SDD proceeding with computation,978 properties remain. new max is 4
SDD size :2 after 7
SDD proceeding with computation,978 properties remain. new max is 8
SDD size :7 after 14
SDD proceeding with computation,978 properties remain. new max is 16
SDD size :14 after 28
Invariant property smplace_1673 does not hold.
Invariant property smplace_1671 does not hold.
Invariant property smplace_1666 does not hold.
Invariant property smplace_1654 does not hold.
Invariant property smplace_1652 does not hold.
Invariant property smplace_1647 does not hold.
Invariant property smplace_1635 does not hold.
Invariant property smplace_1633 does not hold.
Invariant property smplace_1628 does not hold.
Invariant property smplace_1616 does not hold.
Invariant property smplace_1614 does not hold.
Invariant property smplace_1609 does not hold.
Invariant property smplace_1597 does not hold.
Invariant property smplace_1595 does not hold.
Invariant property smplace_1590 does not hold.
Invariant property smplace_1578 does not hold.
Invariant property smplace_1576 does not hold.
Invariant property smplace_1571 does not hold.
SDD proceeding with computation,960 properties remain. new max is 16
SDD size :28 after 53
Invariant property smplace_1559 does not hold.
Invariant property smplace_1557 does not hold.
Invariant property smplace_1552 does not hold.
Invariant property smplace_1540 does not hold.
Invariant property smplace_1538 does not hold.
Invariant property smplace_1533 does not hold.
Invariant property smplace_1521 does not hold.
Invariant property smplace_1519 does not hold.
Invariant property smplace_1514 does not hold.
Invariant property smplace_1502 does not hold.
Invariant property smplace_1500 does not hold.
Invariant property smplace_1495 does not hold.
Invariant property smplace_1483 does not hold.
Invariant property smplace_1481 does not hold.
Invariant property smplace_1476 does not hold.
Invariant property smplace_1464 does not hold.
Invariant property smplace_1462 does not hold.
Invariant property smplace_1457 does not hold.
Invariant property smplace_1445 does not hold.
Invariant property smplace_1443 does not hold.
Invariant property smplace_1438 does not hold.
Invariant property smplace_1426 does not hold.
Invariant property smplace_1424 does not hold.
Invariant property smplace_1419 does not hold.
Invariant property smplace_1400 does not hold.
SDD proceeding with computation,935 properties remain. new max is 16
SDD size :53 after 79
Invariant property smplace_1407 does not hold.
Invariant property smplace_1405 does not hold.
Invariant property smplace_1388 does not hold.
Invariant property smplace_1386 does not hold.
Invariant property smplace_1381 does not hold.
Invariant property smplace_1369 does not hold.
Invariant property smplace_1367 does not hold.
Invariant property smplace_1362 does not hold.
Invariant property smplace_1350 does not hold.
Invariant property smplace_1348 does not hold.
Invariant property smplace_1343 does not hold.
Invariant property smplace_1331 does not hold.
Invariant property smplace_1329 does not hold.
Invariant property smplace_1324 does not hold.
Invariant property smplace_1312 does not hold.
Invariant property smplace_1310 does not hold.
Invariant property smplace_1305 does not hold.
Invariant property smplace_1293 does not hold.
Invariant property smplace_1291 does not hold.
Invariant property smplace_1286 does not hold.
Invariant property smplace_1274 does not hold.
Invariant property smplace_1272 does not hold.
Invariant property smplace_1267 does not hold.
Invariant property smplace_1255 does not hold.
Invariant property smplace_1253 does not hold.
Invariant property smplace_1248 does not hold.
SDD proceeding with computation,909 properties remain. new max is 16
SDD size :79 after 104
Invariant property smplace_1236 does not hold.
Invariant property smplace_1234 does not hold.
Invariant property smplace_1229 does not hold.
Invariant property smplace_1217 does not hold.
Invariant property smplace_1215 does not hold.
Invariant property smplace_1210 does not hold.
Invariant property smplace_1198 does not hold.
Invariant property smplace_1196 does not hold.
Invariant property smplace_1191 does not hold.
Invariant property smplace_1179 does not hold.
Invariant property smplace_1177 does not hold.
Invariant property smplace_1172 does not hold.
Invariant property smplace_1160 does not hold.
Invariant property smplace_1158 does not hold.
Invariant property smplace_1153 does not hold.
Invariant property smplace_1141 does not hold.
Invariant property smplace_1139 does not hold.
Invariant property smplace_1134 does not hold.
Invariant property smplace_1122 does not hold.
Invariant property smplace_1120 does not hold.
Invariant property smplace_1115 does not hold.
Invariant property smplace_1103 does not hold.
Invariant property smplace_1101 does not hold.
Invariant property smplace_1096 does not hold.
Invariant property smplace_1077 does not hold.
SDD proceeding with computation,884 properties remain. new max is 16
SDD size :104 after 130
Invariant property smplace_1084 does not hold.
Invariant property smplace_1082 does not hold.
Invariant property smplace_1065 does not hold.
Invariant property smplace_1063 does not hold.
Invariant property smplace_1058 does not hold.
Invariant property smplace_1046 does not hold.
Invariant property smplace_1044 does not hold.
Invariant property smplace_1039 does not hold.
Invariant property smplace_1027 does not hold.
Invariant property smplace_1025 does not hold.
Invariant property smplace_1020 does not hold.
Invariant property smplace_1008 does not hold.
Invariant property smplace_1006 does not hold.
Invariant property smplace_1001 does not hold.
Invariant property smplace_989 does not hold.
Invariant property smplace_987 does not hold.
Invariant property smplace_982 does not hold.
Invariant property smplace_970 does not hold.
Invariant property smplace_968 does not hold.
Invariant property smplace_963 does not hold.
Invariant property smplace_951 does not hold.
Invariant property smplace_949 does not hold.
Invariant property smplace_944 does not hold.
Invariant property smplace_932 does not hold.
Invariant property smplace_930 does not hold.
Invariant property smplace_925 does not hold.
SDD proceeding with computation,858 properties remain. new max is 16
SDD size :130 after 155
Invariant property smplace_913 does not hold.
Invariant property smplace_911 does not hold.
Invariant property smplace_906 does not hold.
Invariant property smplace_894 does not hold.
Invariant property smplace_892 does not hold.
Invariant property smplace_887 does not hold.
Invariant property smplace_875 does not hold.
Invariant property smplace_873 does not hold.
Invariant property smplace_868 does not hold.
Invariant property smplace_856 does not hold.
Invariant property smplace_854 does not hold.
Invariant property smplace_849 does not hold.
Invariant property smplace_837 does not hold.
Invariant property smplace_835 does not hold.
Invariant property smplace_830 does not hold.
Invariant property smplace_818 does not hold.
Invariant property smplace_816 does not hold.
Invariant property smplace_811 does not hold.
Invariant property smplace_799 does not hold.
Invariant property smplace_797 does not hold.
Invariant property smplace_792 does not hold.
Invariant property smplace_780 does not hold.
Invariant property smplace_778 does not hold.
Invariant property smplace_773 does not hold.
Invariant property smplace_754 does not hold.
SDD proceeding with computation,833 properties remain. new max is 16
SDD size :155 after 181
Invariant property smplace_761 does not hold.
Invariant property smplace_759 does not hold.
Invariant property smplace_742 does not hold.
Invariant property smplace_740 does not hold.
Invariant property smplace_735 does not hold.
Invariant property smplace_723 does not hold.
Invariant property smplace_721 does not hold.
Invariant property smplace_716 does not hold.
Invariant property smplace_704 does not hold.
Invariant property smplace_702 does not hold.
Invariant property smplace_697 does not hold.
Invariant property smplace_685 does not hold.
Invariant property smplace_683 does not hold.
Invariant property smplace_678 does not hold.
Invariant property smplace_666 does not hold.
Invariant property smplace_664 does not hold.
Invariant property smplace_659 does not hold.
Invariant property smplace_647 does not hold.
Invariant property smplace_645 does not hold.
Invariant property smplace_640 does not hold.
Invariant property smplace_628 does not hold.
Invariant property smplace_626 does not hold.
Invariant property smplace_621 does not hold.
Invariant property smplace_609 does not hold.
Invariant property smplace_607 does not hold.
Invariant property smplace_602 does not hold.
SDD proceeding with computation,807 properties remain. new max is 16
SDD size :181 after 206
Invariant property smplace_590 does not hold.
Invariant property smplace_588 does not hold.
Invariant property smplace_583 does not hold.
Invariant property smplace_571 does not hold.
Invariant property smplace_569 does not hold.
Invariant property smplace_564 does not hold.
Invariant property smplace_552 does not hold.
Invariant property smplace_550 does not hold.
Invariant property smplace_545 does not hold.
Invariant property smplace_533 does not hold.
Invariant property smplace_531 does not hold.
Invariant property smplace_526 does not hold.
Invariant property smplace_514 does not hold.
Invariant property smplace_512 does not hold.
Invariant property smplace_507 does not hold.
Invariant property smplace_495 does not hold.
Invariant property smplace_493 does not hold.
Invariant property smplace_488 does not hold.
Invariant property smplace_476 does not hold.
Invariant property smplace_474 does not hold.
Invariant property smplace_469 does not hold.
Invariant property smplace_457 does not hold.
Invariant property smplace_455 does not hold.
Invariant property smplace_450 does not hold.
Invariant property smplace_431 does not hold.
SDD proceeding with computation,782 properties remain. new max is 16
SDD size :206 after 232
Invariant property smplace_438 does not hold.
Invariant property smplace_436 does not hold.
Invariant property smplace_419 does not hold.
Invariant property smplace_417 does not hold.
Invariant property smplace_412 does not hold.
Invariant property smplace_400 does not hold.
Invariant property smplace_398 does not hold.
Invariant property smplace_393 does not hold.
Invariant property smplace_381 does not hold.
Invariant property smplace_379 does not hold.
Invariant property smplace_374 does not hold.
Invariant property smplace_362 does not hold.
Invariant property smplace_360 does not hold.
Invariant property smplace_355 does not hold.
Invariant property smplace_343 does not hold.
Invariant property smplace_341 does not hold.
Invariant property smplace_336 does not hold.
Invariant property smplace_324 does not hold.
Invariant property smplace_322 does not hold.
Invariant property smplace_317 does not hold.
Invariant property smplace_305 does not hold.
Invariant property smplace_303 does not hold.
Invariant property smplace_298 does not hold.
Invariant property smplace_286 does not hold.
Invariant property smplace_284 does not hold.
Invariant property smplace_279 does not hold.
SDD proceeding with computation,756 properties remain. new max is 16
SDD size :232 after 257
Invariant property smplace_267 does not hold.
Invariant property smplace_265 does not hold.
Invariant property smplace_260 does not hold.
Invariant property smplace_248 does not hold.
Invariant property smplace_246 does not hold.
Invariant property smplace_241 does not hold.
Invariant property smplace_229 does not hold.
Invariant property smplace_227 does not hold.
Invariant property smplace_222 does not hold.
Invariant property smplace_210 does not hold.
Invariant property smplace_208 does not hold.
Invariant property smplace_203 does not hold.
Invariant property smplace_191 does not hold.
Invariant property smplace_189 does not hold.
Invariant property smplace_184 does not hold.
Invariant property smplace_172 does not hold.
Invariant property smplace_170 does not hold.
Invariant property smplace_165 does not hold.
Invariant property smplace_153 does not hold.
Invariant property smplace_151 does not hold.
Invariant property smplace_146 does not hold.
Invariant property smplace_134 does not hold.
Invariant property smplace_132 does not hold.
Invariant property smplace_127 does not hold.
Invariant property smplace_108 does not hold.
SDD proceeding with computation,731 properties remain. new max is 16
SDD size :257 after 283
Invariant property smplace_115 does not hold.
Invariant property smplace_113 does not hold.
Invariant property smplace_96 does not hold.
Invariant property smplace_94 does not hold.
Invariant property smplace_89 does not hold.
Invariant property smplace_77 does not hold.
Invariant property smplace_75 does not hold.
Invariant property smplace_70 does not hold.
Invariant property smplace_58 does not hold.
Invariant property smplace_56 does not hold.
Invariant property smplace_51 does not hold.
Invariant property smplace_39 does not hold.
Invariant property smplace_37 does not hold.
Invariant property smplace_32 does not hold.
Invariant property smplace_20 does not hold.
Invariant property smplace_18 does not hold.
Invariant property smplace_13 does not hold.
Invariant property smplace_11 does not hold.
Invariant property smplace_2 does not hold.
SDD proceeding with computation,712 properties remain. new max is 16
SDD size :283 after 302
Invariant property smplace_16 does not hold.
Invariant property smplace_14 does not hold.
Invariant property smplace_9 does not hold.
Invariant property smplace_8 does not hold.
Invariant property smplace_7 does not hold.
Invariant property smplace_6 does not hold.
Invariant property smplace_4 does not hold.
SDD proceeding with computation,705 properties remain. new max is 16
SDD size :302 after 356
SDD proceeding with computation,705 properties remain. new max is 32
SDD size :356 after 449
Invariant property smplace_35 does not hold.
Invariant property smplace_30 does not hold.
Invariant property smplace_27 does not hold.
Invariant property smplace_25 does not hold.
Invariant property smplace_23 does not hold.
SDD proceeding with computation,700 properties remain. new max is 32
SDD size :449 after 1903
Invariant property smplace_33 does not hold.
Invariant property smplace_28 does not hold.
Invariant property smplace_26 does not hold.
SDD proceeding with computation,697 properties remain. new max is 32
SDD size :1903 after 6888
Detected timeout of ITS tools.
[2022-05-20 07:51:09] [INFO ] Flatten gal took : 81 ms
[2022-05-20 07:51:09] [INFO ] Applying decomposition
[2022-05-20 07:51:09] [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/graph10351674221380546899.txt, -o, /tmp/graph10351674221380546899.bin, -w, /tmp/graph10351674221380546899.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/graph10351674221380546899.bin, -l, -1, -v, -w, /tmp/graph10351674221380546899.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 07:51:10] [INFO ] Decomposing Gal with order
[2022-05-20 07:51:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 07:51:10] [INFO ] Removed a total of 310 redundant transitions.
[2022-05-20 07:51:10] [INFO ] Flatten gal took : 193 ms
[2022-05-20 07:51:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 37 ms.
[2022-05-20 07:51:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12774356899209722403.gal : 20 ms
[2022-05-20 07:51:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7440398753857200999.prop : 33 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/ReachabilityCardinality12774356899209722403.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7440398753857200999.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/ReachabilityCardinality12774356899209722403.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7440398753857200999.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7440398753857200999.prop.
SDD proceeding with computation,697 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,697 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,697 properties remain. new max is 16
SDD size :1 after 33678
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,1.24485e+280,9.12316,261408,188,21,503464,283,2111,1.44132e+06,54,1282,0
Total reachable state count : 1.244854670664297887433839659467506983629e+280

Verifying 697 reachability properties.
Invariant property smplace_42 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_42,6.22427e+279,9.68383,261672,197,21,503464,283,2116,1.44132e+06,57,1282,0
Invariant property smplace_44 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_44,2.48971e+279,9.68427,261672,196,23,503464,283,2119,1.44132e+06,57,1282,0
Invariant property smplace_45 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_45,2.48971e+279,9.68458,261672,196,24,503464,283,2124,1.44132e+06,59,1282,0
Invariant property smplace_46 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_46,4.97942e+279,9.6849,261672,196,23,503464,283,2129,1.44132e+06,61,1282,0
Invariant property smplace_47 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_47,4.97942e+279,9.68528,261672,196,22,503464,283,2134,1.44132e+06,63,1282,0
Invariant property smplace_49 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_49,6.22427e+279,9.68557,261672,191,21,503464,283,2138,1.44132e+06,63,1282,0
Invariant property smplace_52 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_52,6.22427e+279,9.68585,261672,194,21,503464,283,2143,1.44132e+06,65,1282,0
Invariant property smplace_54 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_54,6.22427e+279,9.68612,261672,195,21,503464,283,2147,1.44132e+06,65,1282,0
Invariant property smplace_61 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_61,6.22427e+279,9.68661,261672,193,21,503464,283,2150,1.44132e+06,65,1282,0
Invariant property smplace_63 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_63,2.48971e+279,9.68689,261672,195,23,503464,283,2152,1.44132e+06,65,1282,0
Invariant property smplace_64 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_64,2.48971e+279,9.68713,261672,195,24,503464,283,2154,1.44132e+06,65,1282,0
Invariant property smplace_65 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_65,4.97942e+279,9.68738,261672,195,23,503464,283,2156,1.44132e+06,65,1282,0
Invariant property smplace_66 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_66,4.97942e+279,9.68765,261672,195,22,503464,283,2158,1.44132e+06,65,1282,0
Invariant property smplace_68 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_68,6.22427e+279,9.68808,261672,193,21,503464,283,2162,1.44132e+06,65,1282,0
Invariant property smplace_71 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_71,6.22427e+279,9.68837,261672,194,21,503464,283,2165,1.44132e+06,65,1282,0
Invariant property smplace_73 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_73,6.22427e+279,9.68863,261672,194,21,503464,283,2167,1.44132e+06,65,1282,0
Invariant property smplace_80 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_80,6.22427e+279,9.68889,261672,194,21,503464,283,2170,1.44132e+06,65,1282,0
Invariant property smplace_82 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_82,2.48971e+279,9.68913,261672,195,23,503464,283,2171,1.44132e+06,65,1282,0
Invariant property smplace_83 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_83,2.48971e+279,9.68937,261672,195,24,503464,283,2172,1.44132e+06,65,1282,0
Invariant property smplace_84 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_84,4.97942e+279,9.68962,261672,195,23,503464,283,2173,1.44132e+06,65,1282,0
Invariant property smplace_85 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_85,4.97942e+279,9.68988,261672,195,22,503464,283,2174,1.44132e+06,65,1282,0
Invariant property smplace_87 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_87,6.22427e+279,9.69013,261672,193,21,503464,283,2177,1.44132e+06,65,1282,0
Invariant property smplace_90 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_90,6.22427e+279,9.6904,261672,193,21,503464,283,2178,1.44132e+06,65,1282,0
Invariant property smplace_92 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_92,6.22427e+279,9.69066,261672,194,21,503464,283,2179,1.44132e+06,65,1282,0
Invariant property smplace_99 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_99,6.22427e+279,9.69091,261672,194,21,503464,283,2180,1.44132e+06,65,1282,0
Invariant property smplace_101 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_101,2.48971e+279,9.69116,261672,193,23,503464,283,2182,1.44132e+06,65,1282,0
Invariant property smplace_102 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_102,2.48971e+279,9.69141,261672,193,24,503464,283,2185,1.44132e+06,65,1282,0
Invariant property smplace_103 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_103,4.97942e+279,9.69203,261672,193,23,503464,283,2188,1.44132e+06,65,1282,0
Invariant property smplace_104 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_104,4.97942e+279,9.6923,261672,193,22,503464,283,2191,1.44132e+06,65,1282,0
Invariant property smplace_106 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_106,6.22427e+279,9.69255,261672,192,21,503464,283,2192,1.44132e+06,65,1282,0
Invariant property smplace_109 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_109,6.22427e+279,9.6928,261672,192,21,503464,283,2194,1.44132e+06,65,1282,0
Invariant property smplace_111 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_111,6.22427e+279,9.69308,261672,192,21,503464,283,2197,1.44132e+06,65,1282,0
Invariant property smplace_118 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_118,6.22427e+279,9.69367,261672,194,21,503464,283,2199,1.44132e+06,65,1282,0
Invariant property smplace_120 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_120,2.48971e+279,9.69395,261672,193,23,503464,283,2201,1.44132e+06,65,1282,0
Invariant property smplace_121 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_121,2.48971e+279,9.6942,261672,193,24,503464,283,2203,1.44132e+06,65,1282,0
Invariant property smplace_122 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_122,4.97942e+279,9.69448,261672,193,23,503464,283,2205,1.44132e+06,65,1282,0
Invariant property smplace_123 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_123,4.97942e+279,9.69474,261672,193,22,503464,283,2207,1.44132e+06,65,1282,0
Invariant property smplace_125 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_125,6.22427e+279,9.69499,261672,191,21,503464,283,2209,1.44132e+06,65,1282,0
Invariant property smplace_128 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_128,6.22427e+279,9.69525,261672,192,21,503464,283,2211,1.44132e+06,65,1282,0
Invariant property smplace_130 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_130,6.22427e+279,9.6955,261672,192,21,503464,283,2213,1.44132e+06,65,1282,0
Invariant property smplace_137 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_137,6.22427e+279,9.69579,261672,203,21,503464,283,2214,1.44132e+06,65,1282,0
Invariant property smplace_139 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_139,2.48971e+279,9.69607,261672,202,23,503464,283,2216,1.44132e+06,65,1282,0
Invariant property smplace_140 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_140,2.48971e+279,9.69636,261672,202,24,503464,283,2218,1.44132e+06,65,1282,0
Invariant property smplace_141 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_141,4.97942e+279,9.69662,261672,202,23,503464,283,2220,1.44132e+06,65,1282,0
Invariant property smplace_142 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_142,4.97942e+279,9.6969,261672,202,22,503464,283,2222,1.44132e+06,65,1282,0
Invariant property smplace_144 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_144,6.22427e+279,9.69715,261672,191,21,503464,283,2224,1.44132e+06,65,1282,0
Invariant property smplace_147 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_147,6.22427e+279,9.69742,261672,200,21,503464,283,2226,1.44132e+06,65,1282,0
Invariant property smplace_149 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_149,6.22427e+279,9.69768,261672,204,21,503464,283,2227,1.44132e+06,65,1282,0
Invariant property smplace_156 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_156,6.22427e+279,9.69792,261672,194,21,503464,283,2229,1.44132e+06,65,1282,0
Invariant property smplace_158 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_158,2.48971e+279,9.69816,261672,193,23,503464,283,2231,1.44132e+06,65,1282,0
Invariant property smplace_159 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_159,2.48971e+279,9.6984,261672,193,24,503464,283,2233,1.44132e+06,65,1282,0
Invariant property smplace_160 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_160,4.97942e+279,9.69869,261672,193,23,503464,283,2235,1.44132e+06,65,1282,0
Invariant property smplace_161 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_161,4.97942e+279,9.69894,261672,193,22,503464,283,2237,1.44132e+06,65,1282,0
Invariant property smplace_163 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_163,6.22427e+279,9.69922,261672,197,21,503464,283,2239,1.44132e+06,65,1282,0
Invariant property smplace_166 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_166,6.22427e+279,9.69948,261672,191,21,503464,283,2241,1.44132e+06,65,1282,0
Invariant property smplace_168 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_168,6.22427e+279,9.69975,261672,195,21,503464,283,2243,1.44132e+06,65,1282,0
Invariant property smplace_175 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_175,6.22427e+279,9.70003,261672,195,21,503464,283,2244,1.44132e+06,65,1282,0
Invariant property smplace_177 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_177,2.48971e+279,9.70029,261672,194,23,503464,283,2245,1.44132e+06,65,1282,0
Invariant property smplace_178 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_178,2.48971e+279,9.70056,261672,194,24,503464,283,2247,1.44132e+06,65,1282,0
Invariant property smplace_179 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_179,4.97942e+279,9.70084,261672,194,23,503464,283,2249,1.44132e+06,65,1282,0
Invariant property smplace_180 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_180,4.97942e+279,9.70109,261672,194,22,503464,283,2251,1.44132e+06,65,1282,0
Invariant property smplace_182 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_182,6.22427e+279,9.70134,261672,190,21,503464,283,2253,1.44132e+06,65,1282,0
Invariant property smplace_185 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_185,6.22427e+279,9.70159,261672,193,21,503464,283,2255,1.44132e+06,65,1282,0
Invariant property smplace_187 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_187,6.22427e+279,9.7026,261672,194,21,503464,283,2256,1.44132e+06,65,1282,0
Invariant property smplace_194 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_194,6.22427e+279,9.70286,261672,192,21,503464,283,2257,1.44132e+06,65,1282,0
Invariant property smplace_196 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_196,2.48971e+279,9.70311,261672,194,23,503464,283,2258,1.44132e+06,65,1282,0
Invariant property smplace_197 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_197,2.48971e+279,9.70336,261672,194,24,503464,283,2259,1.44132e+06,65,1282,0
Invariant property smplace_198 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_198,4.97942e+279,9.70365,261672,194,23,503464,283,2260,1.44132e+06,65,1282,0
Invariant property smplace_199 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_199,4.97942e+279,9.70466,261672,194,22,503464,283,2261,1.44132e+06,65,1282,0
Invariant property smplace_201 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_201,6.22427e+279,9.70494,261672,192,21,503464,283,2263,1.44132e+06,65,1282,0
Invariant property smplace_204 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_204,6.22427e+279,9.70519,261672,193,21,503464,283,2264,1.44132e+06,65,1282,0
Invariant property smplace_206 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_206,6.22427e+279,9.70542,261672,193,21,503464,283,2265,1.44132e+06,65,1282,0
Invariant property smplace_213 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_213,6.22427e+279,9.70566,261672,195,21,503464,283,2267,1.44132e+06,65,1282,0
Invariant property smplace_215 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_215,2.48971e+279,9.70589,261672,194,23,503464,283,2268,1.44132e+06,65,1282,0
Invariant property smplace_216 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_216,2.48971e+279,9.70612,261672,194,24,503464,283,2270,1.44132e+06,65,1282,0
Invariant property smplace_217 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_217,4.97942e+279,9.70635,261672,194,23,503464,283,2272,1.44132e+06,65,1282,0
Invariant property smplace_218 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_218,4.97942e+279,9.70659,261672,194,22,503464,283,2274,1.44132e+06,65,1282,0
Invariant property smplace_220 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_220,6.22427e+279,9.70682,261672,192,21,503464,283,2275,1.44132e+06,65,1282,0
Invariant property smplace_223 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_223,6.22427e+279,9.70707,261672,193,21,503464,283,2277,1.44132e+06,65,1282,0
Invariant property smplace_225 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_225,6.22427e+279,9.7073,261672,194,21,503464,283,2280,1.44132e+06,65,1282,0
Invariant property smplace_232 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_232,6.22427e+279,9.70754,261672,196,21,503464,283,2281,1.44132e+06,65,1282,0
Invariant property smplace_234 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_234,2.48971e+279,9.7078,261672,195,23,503464,283,2282,1.44132e+06,65,1282,0
Invariant property smplace_235 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_235,2.48971e+279,9.70804,261672,195,24,503464,283,2283,1.44132e+06,65,1282,0
Invariant property smplace_236 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_236,4.97942e+279,9.70828,261672,195,23,503464,283,2284,1.44132e+06,65,1282,0
Invariant property smplace_237 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_237,4.97942e+279,9.70852,261672,195,22,503464,283,2285,1.44132e+06,65,1282,0
Invariant property smplace_239 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_239,6.22427e+279,9.70877,261672,192,21,503464,283,2288,1.44132e+06,65,1282,0
Invariant property smplace_242 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_242,6.22427e+279,9.709,261672,194,21,503464,283,2289,1.44132e+06,65,1282,0
Invariant property smplace_244 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_244,6.22427e+279,9.70923,261672,194,21,503464,283,2290,1.44132e+06,65,1282,0
Invariant property smplace_251 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_251,6.22427e+279,9.70945,261672,196,21,503464,283,2292,1.44132e+06,65,1282,0
Invariant property smplace_253 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_253,2.48971e+279,9.70969,261672,195,23,503464,283,2293,1.44132e+06,65,1282,0
Invariant property smplace_254 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_254,2.48971e+279,9.70991,261672,195,24,503464,283,2294,1.44132e+06,65,1282,0
Invariant property smplace_255 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_255,4.97942e+279,9.71014,261672,195,23,503464,283,2295,1.44132e+06,65,1282,0
Invariant property smplace_256 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_256,4.97942e+279,9.71036,261672,195,22,503464,283,2296,1.44132e+06,65,1282,0
Invariant property smplace_258 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_258,6.22427e+279,9.7106,261672,193,21,503464,283,2297,1.44132e+06,65,1282,0
Invariant property smplace_261 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_261,6.22427e+279,9.71083,261672,193,21,503464,283,2298,1.44132e+06,65,1282,0
Invariant property smplace_263 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_263,6.22427e+279,9.71106,261672,194,21,503464,283,2299,1.44132e+06,65,1282,0
Invariant property smplace_270 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_270,6.22427e+279,9.71129,261672,203,21,503464,283,2300,1.44132e+06,65,1282,0
Invariant property smplace_272 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_272,2.48971e+279,9.71151,261672,202,23,503464,283,2301,1.44132e+06,65,1282,0
Invariant property smplace_273 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_273,2.48971e+279,9.71177,261672,202,24,503464,283,2302,1.44132e+06,65,1282,0
Invariant property smplace_274 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_274,4.97942e+279,9.71201,261672,202,23,503464,283,2303,1.44132e+06,65,1282,0
Invariant property smplace_275 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_275,4.97942e+279,9.71227,261672,202,22,503464,283,2304,1.44132e+06,65,1282,0
Invariant property smplace_277 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_277,6.22427e+279,9.71251,261672,192,21,503464,283,2305,1.44132e+06,65,1282,0
Invariant property smplace_280 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_280,6.22427e+279,9.71275,261672,200,21,503464,283,2306,1.44132e+06,65,1282,0
Invariant property smplace_282 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_282,6.22427e+279,9.71299,261672,204,21,503464,283,2307,1.44132e+06,65,1282,0
Invariant property smplace_289 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_289,6.22427e+279,9.71323,261672,194,21,503464,283,2308,1.44132e+06,65,1282,0
Invariant property smplace_291 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_291,2.48971e+279,9.71347,261672,193,23,503464,283,2309,1.44132e+06,65,1282,0
Invariant property smplace_292 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_292,2.48971e+279,9.71371,261672,193,24,503464,283,2310,1.44132e+06,65,1282,0
Invariant property smplace_293 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_293,4.97942e+279,9.71395,261672,193,23,503464,283,2311,1.44132e+06,65,1282,0
Invariant property smplace_294 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_294,4.97942e+279,9.7142,261672,193,22,503464,283,2312,1.44132e+06,65,1282,0
Invariant property smplace_296 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_296,6.22427e+279,9.71446,261672,197,21,503464,283,2313,1.44132e+06,65,1282,0
Invariant property smplace_299 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_299,6.22427e+279,9.71471,261672,191,21,503464,283,2314,1.44132e+06,65,1282,0
Invariant property smplace_301 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_301,6.22427e+279,9.71495,261672,195,21,503464,283,2315,1.44132e+06,65,1282,0
Invariant property smplace_308 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_308,6.22427e+279,9.71519,261672,196,21,503464,283,2316,1.44132e+06,65,1282,0
Invariant property smplace_310 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_310,2.48971e+279,9.71543,261672,195,23,503464,283,2317,1.44132e+06,65,1282,0
Invariant property smplace_311 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_311,2.48971e+279,9.71569,261672,195,24,503464,283,2318,1.44132e+06,65,1282,0
Invariant property smplace_312 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_312,4.97942e+279,9.71593,261672,195,23,503464,283,2319,1.44132e+06,65,1282,0
Invariant property smplace_313 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_313,4.97942e+279,9.71617,261672,195,22,503464,283,2320,1.44132e+06,65,1282,0
Invariant property smplace_315 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_315,6.22427e+279,9.71642,261672,190,21,503464,283,2321,1.44132e+06,65,1282,0
Invariant property smplace_318 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_318,6.22427e+279,9.71666,261672,194,21,503464,283,2322,1.44132e+06,65,1282,0
Invariant property smplace_320 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_320,6.22427e+279,9.71691,261672,194,21,503464,283,2323,1.44132e+06,65,1282,0
Invariant property smplace_327 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_327,6.22427e+279,9.71714,261672,196,21,503464,283,2324,1.44132e+06,65,1282,0
Invariant property smplace_329 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_329,2.48971e+279,9.71738,261672,195,23,503464,283,2325,1.44132e+06,65,1282,0
Invariant property smplace_330 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_330,2.48971e+279,9.71762,261672,195,24,503464,283,2326,1.44132e+06,65,1282,0
Invariant property smplace_331 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_331,4.97942e+279,9.71784,261672,195,23,503464,283,2327,1.44132e+06,65,1282,0
Invariant property smplace_332 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_332,4.97942e+279,9.71808,261672,195,22,503464,283,2328,1.44132e+06,65,1282,0
Invariant property smplace_334 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_334,6.22427e+279,9.71832,261672,193,21,503464,283,2329,1.44132e+06,65,1282,0
Invariant property smplace_337 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_337,6.22427e+279,9.71857,261672,193,21,503464,283,2330,1.44132e+06,65,1282,0
Invariant property smplace_339 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_339,6.22427e+279,9.71881,261672,194,21,503464,283,2331,1.44132e+06,65,1282,0
Invariant property smplace_346 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_346,6.22427e+279,9.71906,261672,195,21,503464,283,2332,1.44132e+06,65,1282,0
Invariant property smplace_348 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_348,2.48971e+279,9.7193,261672,194,23,503464,283,2333,1.44132e+06,65,1282,0
Invariant property smplace_349 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_349,2.48971e+279,9.71953,261672,194,24,503464,283,2334,1.44132e+06,65,1282,0
Invariant property smplace_350 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_350,4.97942e+279,9.7198,261672,194,23,503464,283,2335,1.44132e+06,65,1282,0
Invariant property smplace_351 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_351,4.97942e+279,9.72005,261672,194,22,503464,283,2336,1.44132e+06,65,1282,0
Invariant property smplace_353 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_353,6.22427e+279,9.72029,261672,192,21,503464,283,2337,1.44132e+06,65,1282,0
Invariant property smplace_356 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_356,6.22427e+279,9.72054,261672,192,21,503464,283,2338,1.44132e+06,65,1282,0
Invariant property smplace_358 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_358,6.22427e+279,9.7208,261672,193,21,503464,283,2339,1.44132e+06,65,1282,0
Invariant property smplace_365 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_365,6.22427e+279,9.72106,261672,195,21,503464,283,2340,1.44132e+06,65,1282,0
Invariant property smplace_367 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_367,2.48971e+279,9.72132,261672,194,23,503464,283,2341,1.44132e+06,65,1282,0
Invariant property smplace_368 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_368,2.48971e+279,9.72159,261672,194,24,503464,283,2342,1.44132e+06,65,1282,0
Invariant property smplace_369 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_369,4.97942e+279,9.72185,261672,194,23,503464,283,2343,1.44132e+06,65,1282,0
Invariant property smplace_370 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_370,4.97942e+279,9.72211,261672,194,22,503464,283,2344,1.44132e+06,65,1282,0
Invariant property smplace_372 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_372,6.22427e+279,9.72235,261672,191,21,503464,283,2345,1.44132e+06,65,1282,0
Invariant property smplace_375 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_375,6.22427e+279,9.72261,261672,192,21,503464,283,2346,1.44132e+06,65,1282,0
Invariant property smplace_377 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_377,6.22427e+279,9.72287,261672,193,21,503464,283,2347,1.44132e+06,65,1282,0
Invariant property smplace_384 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_384,6.22427e+279,9.72312,261672,195,21,503464,283,2350,1.44132e+06,65,1282,0
Invariant property smplace_386 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_386,2.48971e+279,9.72336,261672,194,23,503464,283,2353,1.44132e+06,65,1282,0
Invariant property smplace_387 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_387,2.48971e+279,9.72364,261672,194,24,503464,283,2356,1.44132e+06,65,1282,0
Invariant property smplace_388 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_388,4.97942e+279,9.7239,261672,194,23,503464,283,2359,1.44132e+06,65,1282,0
Invariant property smplace_389 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_389,4.97942e+279,9.7258,261672,194,22,503464,283,2362,1.44132e+06,65,1282,0
Invariant property smplace_391 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_391,6.22427e+279,9.72607,261672,191,21,503464,283,2363,1.44132e+06,65,1282,0
Invariant property smplace_394 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_394,6.22427e+279,9.72634,261672,192,21,503464,283,2366,1.44132e+06,65,1282,0
Invariant property smplace_396 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_396,6.22427e+279,9.72662,261672,196,21,503464,283,2369,1.44132e+06,65,1282,0
Invariant property smplace_403 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_403,6.22427e+279,9.72687,261672,194,21,503464,283,2370,1.44132e+06,65,1282,0
Invariant property smplace_405 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_405,2.48971e+279,9.72819,261672,193,23,503464,283,2371,1.44132e+06,65,1282,0
Invariant property smplace_406 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_406,2.48971e+279,9.72847,261672,193,24,503464,283,2372,1.44132e+06,65,1282,0
Invariant property smplace_407 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_407,4.97942e+279,9.72871,261672,193,23,503464,283,2373,1.44132e+06,65,1282,0
Invariant property smplace_408 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_408,4.97942e+279,9.72895,261672,193,22,503464,283,2374,1.44132e+06,65,1282,0
Invariant property smplace_410 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_410,6.22427e+279,9.7292,261672,190,21,503464,283,2378,1.44132e+06,65,1282,0
Invariant property smplace_413 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_413,6.22427e+279,9.72944,261672,192,21,503464,283,2379,1.44132e+06,65,1282,0
Invariant property smplace_415 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_415,6.22427e+279,9.72969,261672,193,21,503464,283,2380,1.44132e+06,65,1282,0
Invariant property smplace_422 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_422,6.22427e+279,9.72993,261672,195,21,503464,283,2381,1.44132e+06,65,1282,0
Invariant property smplace_424 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_424,2.48971e+279,9.73017,261672,194,23,503464,283,2382,1.44132e+06,65,1282,0
Invariant property smplace_425 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_425,2.48971e+279,9.73041,261672,194,24,503464,283,2383,1.44132e+06,65,1282,0
Invariant property smplace_426 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_426,4.97942e+279,9.73066,261672,194,23,503464,283,2384,1.44132e+06,65,1282,0
Invariant property smplace_427 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_427,4.97942e+279,9.7309,261672,194,22,503464,283,2385,1.44132e+06,65,1282,0
Invariant property smplace_429 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_429,6.22427e+279,9.73114,261672,191,21,503464,283,2386,1.44132e+06,65,1282,0
Invariant property smplace_432 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_432,6.22427e+279,9.73138,261672,193,21,503464,283,2387,1.44132e+06,65,1282,0
Invariant property smplace_434 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_434,6.22427e+279,9.73163,261672,194,21,503464,283,2388,1.44132e+06,65,1282,0
Invariant property smplace_441 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_441,6.22427e+279,9.73188,261672,194,21,503464,283,2389,1.44132e+06,65,1282,0
Invariant property smplace_443 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_443,2.48971e+279,9.73212,261672,193,23,503464,283,2390,1.44132e+06,65,1282,0
Invariant property smplace_444 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_444,2.48971e+279,9.73235,261672,193,24,503464,283,2391,1.44132e+06,65,1282,0
Invariant property smplace_445 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_445,4.97942e+279,9.73258,261672,193,23,503464,283,2392,1.44132e+06,65,1282,0
Invariant property smplace_446 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_446,4.97942e+279,9.73283,261672,193,22,503464,283,2393,1.44132e+06,65,1282,0
Invariant property smplace_448 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_448,6.22427e+279,9.73306,261672,192,21,503464,283,2394,1.44132e+06,65,1282,0
Invariant property smplace_451 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_451,6.22427e+279,9.73331,261672,192,21,503464,283,2395,1.44132e+06,65,1282,0
Invariant property smplace_453 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_453,6.22427e+279,9.73357,261672,192,21,503464,283,2396,1.44132e+06,65,1282,0
Invariant property smplace_460 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_460,6.22427e+279,9.73381,261672,194,21,503464,283,2397,1.44132e+06,65,1282,0
Invariant property smplace_462 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_462,2.48971e+279,9.73404,261672,193,23,503464,283,2398,1.44132e+06,65,1282,0
Invariant property smplace_463 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_463,2.48971e+279,9.73428,261672,193,24,503464,283,2399,1.44132e+06,65,1282,0
Invariant property smplace_464 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_464,4.97942e+279,9.73455,261672,193,23,503464,283,2400,1.44132e+06,65,1282,0
Invariant property smplace_465 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_465,4.97942e+279,9.73479,261672,193,22,503464,283,2401,1.44132e+06,65,1282,0
Invariant property smplace_467 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_467,6.22427e+279,9.73504,261672,191,21,503464,283,2402,1.44132e+06,65,1282,0
Invariant property smplace_470 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_470,6.22427e+279,9.73527,261672,192,21,503464,283,2403,1.44132e+06,65,1282,0
Invariant property smplace_472 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_472,6.22427e+279,9.73551,261672,192,21,503464,283,2404,1.44132e+06,65,1282,0
Invariant property smplace_479 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_479,6.22427e+279,9.73575,261672,195,21,503464,283,2405,1.44132e+06,65,1282,0
Invariant property smplace_481 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_481,2.48971e+279,9.736,261672,194,23,503464,283,2406,1.44132e+06,65,1282,0
Invariant property smplace_482 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_482,2.48971e+279,9.73625,261672,194,24,503464,283,2407,1.44132e+06,65,1282,0
Invariant property smplace_483 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_483,4.97942e+279,9.73649,261672,194,23,503464,283,2408,1.44132e+06,65,1282,0
Invariant property smplace_484 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_484,4.97942e+279,9.7371,252724,194,22,503464,283,2409,1.44132e+06,65,1282,0
Invariant property smplace_486 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_486,6.22427e+279,9.73737,252724,191,21,503464,283,2410,1.44132e+06,65,1282,0
Invariant property smplace_489 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_489,6.22427e+279,9.73761,252724,193,21,503464,283,2411,1.44132e+06,65,1282,0
Invariant property smplace_491 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_491,6.22427e+279,9.73786,252724,193,21,503464,283,2412,1.44132e+06,65,1282,0
Invariant property smplace_498 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_498,6.22427e+279,9.7381,252724,194,21,503464,283,2413,1.44132e+06,65,1282,0
Invariant property smplace_500 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_500,2.48971e+279,9.73834,252724,193,23,503464,283,2414,1.44132e+06,65,1282,0
Invariant property smplace_501 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_501,2.48971e+279,9.73859,252724,193,24,503464,283,2415,1.44132e+06,65,1282,0
Invariant property smplace_502 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_502,4.97942e+279,9.73883,252724,193,23,503464,283,2416,1.44132e+06,65,1282,0
Invariant property smplace_503 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_503,4.97942e+279,9.73907,252724,193,22,503464,283,2417,1.44132e+06,65,1282,0
Invariant property smplace_505 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_505,6.22427e+279,9.73931,252724,192,21,503464,283,2418,1.44132e+06,65,1282,0
Invariant property smplace_508 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_508,6.22427e+279,9.73956,252724,192,21,503464,283,2419,1.44132e+06,65,1282,0
Invariant property smplace_510 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_510,6.22427e+279,9.73981,252724,192,21,503464,283,2420,1.44132e+06,65,1282,0
Invariant property smplace_517 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_517,6.22427e+279,9.74006,252724,195,21,503464,283,2421,1.44132e+06,65,1282,0
Invariant property smplace_519 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_519,2.48971e+279,9.7403,252724,193,23,503464,283,2422,1.44132e+06,65,1282,0
Invariant property smplace_520 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_520,2.48971e+279,9.74053,252724,193,24,503464,283,2423,1.44132e+06,65,1282,0
Invariant property smplace_521 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_521,4.97942e+279,9.74077,252724,193,23,503464,283,2424,1.44132e+06,65,1282,0
Invariant property smplace_522 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_522,4.97942e+279,9.74101,252724,193,22,503464,283,2425,1.44132e+06,65,1282,0
Invariant property smplace_524 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_524,6.22427e+279,9.74124,252724,191,21,503464,283,2426,1.44132e+06,65,1282,0
Invariant property smplace_527 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_527,6.22427e+279,9.74148,252724,192,21,503464,283,2427,1.44132e+06,65,1282,0
Invariant property smplace_529 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_529,6.22427e+279,9.74173,252724,194,21,503464,283,2428,1.44132e+06,65,1282,0
Invariant property smplace_536 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_536,6.22427e+279,9.74197,252724,203,21,503464,283,2429,1.44132e+06,65,1282,0
Invariant property smplace_538 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_538,2.48971e+279,9.7422,252724,202,23,503464,283,2430,1.44132e+06,65,1282,0
Invariant property smplace_539 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_539,2.48971e+279,9.74246,252724,202,24,503464,283,2431,1.44132e+06,65,1282,0
Invariant property smplace_540 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_540,4.97942e+279,9.7427,252724,202,23,503464,283,2432,1.44132e+06,65,1282,0
Invariant property smplace_541 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_541,4.97942e+279,9.74294,252724,202,22,503464,283,2433,1.44132e+06,65,1282,0
Invariant property smplace_543 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_543,6.22427e+279,9.74318,252724,191,21,503464,283,2435,1.44132e+06,65,1282,0
Invariant property smplace_546 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_546,6.22427e+279,9.74343,252724,200,21,503464,283,2436,1.44132e+06,65,1282,0
Invariant property smplace_548 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_548,6.22427e+279,9.74368,252724,204,21,503464,283,2437,1.44132e+06,65,1282,0
Invariant property smplace_555 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_555,6.22427e+279,9.74391,252724,194,21,503464,283,2438,1.44132e+06,65,1282,0
Invariant property smplace_557 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_557,2.48971e+279,9.74415,252724,193,23,503464,283,2439,1.44132e+06,65,1282,0
Invariant property smplace_558 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_558,2.48971e+279,9.74438,252724,193,24,503464,283,2440,1.44132e+06,65,1282,0
Invariant property smplace_559 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_559,4.97942e+279,9.74462,252724,193,23,503464,283,2441,1.44132e+06,65,1282,0
Invariant property smplace_560 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_560,4.97942e+279,9.74485,252724,193,22,503464,283,2442,1.44132e+06,65,1282,0
Invariant property smplace_562 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_562,6.22427e+279,9.74509,252724,197,21,503464,283,2443,1.44132e+06,65,1282,0
Invariant property smplace_565 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_565,6.22427e+279,9.74533,252724,191,21,503464,283,2444,1.44132e+06,65,1282,0
Invariant property smplace_567 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_567,6.22427e+279,9.74556,252724,195,21,503464,283,2445,1.44132e+06,65,1282,0
Invariant property smplace_574 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_574,6.22427e+279,9.74581,252724,197,21,503464,283,2446,1.44132e+06,65,1282,0
Invariant property smplace_576 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_576,2.48971e+279,9.74606,252724,196,23,503464,283,2447,1.44132e+06,65,1282,0
Invariant property smplace_577 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_577,2.48971e+279,9.74631,252724,196,24,503464,283,2448,1.44132e+06,65,1282,0
Invariant property smplace_578 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_578,4.97942e+279,9.74656,252724,196,23,503464,283,2449,1.44132e+06,65,1282,0
Invariant property smplace_579 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_579,4.97942e+279,9.7468,252724,196,22,503464,283,2450,1.44132e+06,65,1282,0
Invariant property smplace_581 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_581,6.22427e+279,9.74704,252724,190,21,503464,283,2451,1.44132e+06,65,1282,0
Invariant property smplace_584 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_584,6.22427e+279,9.74728,252724,194,21,503464,283,2452,1.44132e+06,65,1282,0
Invariant property smplace_586 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_586,6.22427e+279,9.74753,252724,195,21,503464,283,2453,1.44132e+06,65,1282,0
Invariant property smplace_593 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_593,6.22427e+279,9.74777,252724,196,21,503464,283,2454,1.44132e+06,65,1282,0
Invariant property smplace_595 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_595,2.48971e+279,9.74801,252724,195,23,503464,283,2455,1.44132e+06,65,1282,0
Invariant property smplace_596 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_596,2.48971e+279,9.74826,252724,195,24,503464,283,2456,1.44132e+06,65,1282,0
Invariant property smplace_597 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_597,4.97942e+279,9.74851,252724,195,23,503464,283,2457,1.44132e+06,65,1282,0
Invariant property smplace_598 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_598,4.97942e+279,9.74875,252724,195,22,503464,283,2458,1.44132e+06,65,1282,0
Invariant property smplace_600 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_600,6.22427e+279,9.74899,252724,193,21,503464,283,2459,1.44132e+06,65,1282,0
Invariant property smplace_603 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_603,6.22427e+279,9.74923,252724,194,21,503464,283,2460,1.44132e+06,65,1282,0
Invariant property smplace_605 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_605,6.22427e+279,9.74947,252724,195,21,503464,283,2462,1.44132e+06,65,1282,0
Invariant property smplace_612 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_612,6.22427e+279,9.74971,252724,193,21,503464,283,2463,1.44132e+06,65,1282,0
Invariant property smplace_614 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_614,2.48971e+279,9.74996,252724,194,23,503464,283,2464,1.44132e+06,65,1282,0
Invariant property smplace_615 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_615,2.48971e+279,9.75021,252724,194,24,503464,283,2465,1.44132e+06,65,1282,0
Invariant property smplace_616 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_616,4.97942e+279,9.75048,252724,194,23,503464,283,2466,1.44132e+06,65,1282,0
Invariant property smplace_617 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_617,4.97942e+279,9.75073,252724,194,22,503464,283,2467,1.44132e+06,65,1282,0
Invariant property smplace_619 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_619,6.22427e+279,9.75097,252724,193,21,503464,283,2469,1.44132e+06,65,1282,0
Invariant property smplace_622 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_622,6.22427e+279,9.7512,252724,192,21,503464,283,2470,1.44132e+06,65,1282,0
Invariant property smplace_624 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_624,6.22427e+279,9.75145,252724,193,21,503464,283,2471,1.44132e+06,65,1282,0
Invariant property smplace_631 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_631,6.22427e+279,9.7517,252724,197,21,503464,283,2472,1.44132e+06,65,1282,0
Invariant property smplace_633 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_633,2.48971e+279,9.75195,252724,195,23,503464,283,2475,1.44132e+06,65,1282,0
Invariant property smplace_634 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_634,2.48971e+279,9.7522,252724,195,24,503464,283,2479,1.44132e+06,65,1282,0
Invariant property smplace_635 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_635,4.97942e+279,9.75246,252724,195,23,503464,283,2483,1.44132e+06,65,1282,0
Invariant property smplace_636 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_636,4.97942e+279,9.75271,252724,195,22,503464,283,2487,1.44132e+06,65,1282,0
Invariant property smplace_638 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_638,6.22427e+279,9.75295,252724,191,21,503464,283,2488,1.44132e+06,65,1282,0
Invariant property smplace_641 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_641,6.22427e+279,9.75319,252724,194,21,503464,283,2490,1.44132e+06,65,1282,0
Invariant property smplace_643 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_643,6.22427e+279,9.75343,252724,196,21,503464,283,2492,1.44132e+06,65,1282,0
Invariant property smplace_650 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_650,6.22427e+279,9.75368,252724,196,21,503464,283,2493,1.44132e+06,65,1282,0
Invariant property smplace_652 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_652,2.48971e+279,9.75392,252724,194,23,503464,283,2494,1.44132e+06,65,1282,0
Invariant property smplace_653 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_653,2.48971e+279,9.75416,252724,194,24,503464,283,2495,1.44132e+06,65,1282,0
Invariant property smplace_654 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_654,4.97942e+279,9.75442,252724,194,23,503464,283,2496,1.44132e+06,65,1282,0
Invariant property smplace_655 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_655,4.97942e+279,9.75467,252724,194,22,503464,283,2497,1.44132e+06,65,1282,0
Invariant property smplace_657 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_657,6.22427e+279,9.75491,252724,193,21,503464,283,2499,1.44132e+06,65,1282,0
Invariant property smplace_660 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_660,6.22427e+279,9.75517,252724,195,21,503464,283,2502,1.44132e+06,65,1282,0
Invariant property smplace_662 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_662,6.22427e+279,9.75541,252724,193,21,503464,283,2503,1.44132e+06,65,1282,0
Invariant property smplace_669 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_669,6.22427e+279,9.75566,252724,195,21,503464,283,2504,1.44132e+06,65,1282,0
Invariant property smplace_671 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_671,2.48971e+279,9.7559,252724,196,23,503464,283,2505,1.44132e+06,65,1282,0
Invariant property smplace_672 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_672,2.48971e+279,9.75614,252724,196,24,503464,283,2506,1.44132e+06,65,1282,0
Invariant property smplace_673 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_673,4.97942e+279,9.75638,252724,196,23,503464,283,2507,1.44132e+06,65,1282,0
Invariant property smplace_674 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_674,4.97942e+279,9.75662,252724,196,22,503464,283,2508,1.44132e+06,65,1282,0
Invariant property smplace_676 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_676,6.22427e+279,9.75687,252724,194,21,503464,283,2510,1.44132e+06,65,1282,0
Invariant property smplace_679 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_679,6.22427e+279,9.7571,252724,194,21,503464,283,2511,1.44132e+06,65,1282,0
Invariant property smplace_681 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_681,6.22427e+279,9.75734,252724,195,21,503464,283,2512,1.44132e+06,65,1282,0
Invariant property smplace_688 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_688,6.22427e+279,9.75758,252724,196,21,503464,283,2513,1.44132e+06,65,1282,0
Invariant property smplace_690 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_690,2.48971e+279,9.75782,252724,195,23,503464,283,2514,1.44132e+06,65,1282,0
Invariant property smplace_691 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_691,2.48971e+279,9.75805,252724,195,24,503464,283,2515,1.44132e+06,65,1282,0
Invariant property smplace_692 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_692,4.97942e+279,9.75829,252724,195,23,503464,283,2516,1.44132e+06,65,1282,0
Invariant property smplace_693 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_693,4.97942e+279,9.75854,252724,195,22,503464,283,2517,1.44132e+06,65,1282,0
Invariant property smplace_695 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_695,6.22427e+279,9.75877,252724,193,21,503464,283,2518,1.44132e+06,65,1282,0
Invariant property smplace_698 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_698,6.22427e+279,9.75901,252724,193,21,503464,283,2519,1.44132e+06,65,1282,0
Invariant property smplace_700 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_700,6.22427e+279,9.75926,252724,194,21,503464,283,2520,1.44132e+06,65,1282,0
Invariant property smplace_707 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_707,6.22427e+279,9.75952,252724,196,21,503464,283,2521,1.44132e+06,65,1282,0
Invariant property smplace_709 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_709,2.48971e+279,9.75975,252724,194,23,503464,283,2522,1.44132e+06,65,1282,0
Invariant property smplace_710 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_710,2.48971e+279,9.75997,252724,194,24,503464,283,2523,1.44132e+06,65,1282,0
Invariant property smplace_711 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_711,4.97942e+279,9.7602,252724,194,23,503464,283,2524,1.44132e+06,65,1282,0
Invariant property smplace_712 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_712,4.97942e+279,9.76044,252724,194,22,503464,283,2525,1.44132e+06,65,1282,0
Invariant property smplace_714 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_714,6.22427e+279,9.76068,252724,192,21,503464,283,2526,1.44132e+06,65,1282,0
Invariant property smplace_717 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_717,6.22427e+279,9.76093,252724,193,21,503464,283,2527,1.44132e+06,65,1282,0
Invariant property smplace_719 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_719,6.22427e+279,9.76116,252724,195,21,503464,283,2528,1.44132e+06,65,1282,0
Invariant property smplace_726 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_726,6.22427e+279,9.7614,252724,195,21,503464,283,2529,1.44132e+06,65,1282,0
Invariant property smplace_728 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_728,2.48971e+279,9.76163,252724,194,23,503464,283,2530,1.44132e+06,65,1282,0
Invariant property smplace_729 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_729,2.48971e+279,9.76187,252724,194,24,503464,283,2531,1.44132e+06,65,1282,0
Invariant property smplace_730 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_730,4.97942e+279,9.7621,252724,194,23,503464,283,2532,1.44132e+06,65,1282,0
Invariant property smplace_731 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_731,4.97942e+279,9.76234,252724,194,22,503464,283,2533,1.44132e+06,65,1282,0
Invariant property smplace_733 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_733,6.22427e+279,9.7626,252724,192,21,503464,283,2534,1.44132e+06,65,1282,0
Invariant property smplace_736 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_736,6.22427e+279,9.76285,252724,192,21,503464,283,2535,1.44132e+06,65,1282,0
Invariant property smplace_738 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_738,6.22427e+279,9.76309,252724,193,21,503464,283,2536,1.44132e+06,65,1282,0
Invariant property smplace_745 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_745,6.22427e+279,9.76333,252724,203,21,503464,283,2537,1.44132e+06,65,1282,0
Invariant property smplace_747 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_747,2.48971e+279,9.76357,252724,202,23,503464,283,2538,1.44132e+06,65,1282,0
Invariant property smplace_748 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_748,2.48971e+279,9.76381,252724,202,24,503464,283,2539,1.44132e+06,65,1282,0
Invariant property smplace_749 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_749,4.97942e+279,9.76405,252724,202,23,503464,283,2540,1.44132e+06,65,1282,0
Invariant property smplace_750 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_750,4.97942e+279,9.76428,252724,202,22,503464,283,2541,1.44132e+06,65,1282,0
Invariant property smplace_752 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_752,6.22427e+279,9.76452,252724,191,21,503464,283,2542,1.44132e+06,65,1282,0
Invariant property smplace_755 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_755,6.22427e+279,9.76476,252724,200,21,503464,283,2543,1.44132e+06,65,1282,0
Invariant property smplace_757 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_757,6.22427e+279,9.765,252724,204,21,503464,283,2544,1.44132e+06,65,1282,0
Invariant property smplace_764 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_764,6.22427e+279,9.76523,252724,194,21,503464,283,2545,1.44132e+06,65,1282,0
Invariant property smplace_766 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_766,2.48971e+279,9.76545,252724,193,23,503464,283,2546,1.44132e+06,65,1282,0
Invariant property smplace_767 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_767,2.48971e+279,9.76568,252724,193,24,503464,283,2547,1.44132e+06,65,1282,0
Invariant property smplace_768 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_768,4.97942e+279,9.76592,252724,193,23,503464,283,2548,1.44132e+06,65,1282,0
Invariant property smplace_769 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_769,4.97942e+279,9.76615,252724,193,22,503464,283,2549,1.44132e+06,65,1282,0
Invariant property smplace_771 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_771,6.22427e+279,9.76638,252724,197,21,503464,283,2550,1.44132e+06,65,1282,0
Invariant property smplace_774 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_774,6.22427e+279,9.76662,252724,191,21,503464,283,2551,1.44132e+06,65,1282,0
Invariant property smplace_776 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_776,6.22427e+279,9.76687,252724,195,21,503464,283,2552,1.44132e+06,65,1282,0
Invariant property smplace_783 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_783,6.22427e+279,9.7671,252724,195,21,503464,283,2553,1.44132e+06,65,1282,0
Invariant property smplace_785 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_785,2.48971e+279,9.76734,252724,194,23,503464,283,2554,1.44132e+06,65,1282,0
Invariant property smplace_786 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_786,2.48971e+279,9.76759,252724,194,24,503464,283,2555,1.44132e+06,65,1282,0
Invariant property smplace_787 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_787,4.97942e+279,9.76784,252724,194,23,503464,283,2556,1.44132e+06,65,1282,0
Invariant property smplace_788 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_788,4.97942e+279,9.76808,252724,194,22,503464,283,2557,1.44132e+06,65,1282,0
Invariant property smplace_790 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_790,6.22427e+279,9.76831,252724,190,21,503464,283,2558,1.44132e+06,65,1282,0
Invariant property smplace_793 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_793,6.22427e+279,9.76855,252724,193,21,503464,283,2559,1.44132e+06,65,1282,0
Invariant property smplace_795 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_795,6.22427e+279,9.76879,252724,194,21,503464,283,2560,1.44132e+06,65,1282,0
Invariant property smplace_802 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_802,6.22427e+279,9.76904,252724,194,21,503464,283,2561,1.44132e+06,65,1282,0
Invariant property smplace_804 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_804,2.48971e+279,9.76928,252724,193,23,503464,283,2562,1.44132e+06,65,1282,0
Invariant property smplace_805 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_805,2.48971e+279,9.76952,252724,193,24,503464,283,2563,1.44132e+06,65,1282,0
Invariant property smplace_806 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_806,4.97942e+279,9.76975,252724,193,23,503464,283,2564,1.44132e+06,65,1282,0
Invariant property smplace_807 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_807,4.97942e+279,9.77,252724,193,22,503464,283,2565,1.44132e+06,65,1282,0
Invariant property smplace_809 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_809,6.22427e+279,9.77023,252724,192,21,503464,283,2566,1.44132e+06,65,1282,0
Invariant property smplace_812 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_812,6.22427e+279,9.77051,252724,192,21,503464,283,2567,1.44132e+06,65,1282,0
Invariant property smplace_814 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_814,6.22427e+279,9.77078,252724,193,21,503464,283,2568,1.44132e+06,65,1282,0
Invariant property smplace_821 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_821,6.22427e+279,9.77101,252724,194,21,503464,283,2569,1.44132e+06,65,1282,0
Invariant property smplace_823 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_823,2.48971e+279,9.77124,252724,193,23,503464,283,2570,1.44132e+06,65,1282,0
Invariant property smplace_824 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_824,2.48971e+279,9.77148,252724,193,24,503464,283,2571,1.44132e+06,65,1282,0
Invariant property smplace_825 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_825,4.97942e+279,9.77172,252724,193,23,503464,283,2572,1.44132e+06,65,1282,0
Invariant property smplace_826 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_826,4.97942e+279,9.77197,252724,193,22,503464,283,2573,1.44132e+06,65,1282,0
Invariant property smplace_828 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_828,6.22427e+279,9.7722,252724,191,21,503464,283,2574,1.44132e+06,65,1282,0
Invariant property smplace_831 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_831,6.22427e+279,9.77244,252724,192,21,503464,283,2575,1.44132e+06,65,1282,0
Invariant property smplace_833 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_833,6.22427e+279,9.77269,252724,193,21,503464,283,2576,1.44132e+06,65,1282,0
Invariant property smplace_840 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_840,6.22427e+279,9.77294,252724,194,21,503464,283,2577,1.44132e+06,65,1282,0
Invariant property smplace_842 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_842,2.48971e+279,9.77318,252724,195,23,503464,283,2578,1.44132e+06,65,1282,0
Invariant property smplace_843 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_843,2.48971e+279,9.77344,252724,195,24,503464,283,2581,1.44132e+06,65,1282,0
Invariant property smplace_844 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_844,4.97942e+279,9.77368,252724,195,23,503464,283,2584,1.44132e+06,65,1282,0
Invariant property smplace_845 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_845,4.97942e+279,9.77393,252724,195,22,503464,283,2587,1.44132e+06,65,1282,0
Invariant property smplace_847 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_847,6.22427e+279,9.77417,252724,191,21,503464,283,2588,1.44132e+06,65,1282,0
Invariant property smplace_850 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_850,6.22427e+279,9.77444,252724,194,21,503464,283,2589,1.44132e+06,65,1282,0
Invariant property smplace_852 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_852,6.22427e+279,9.7747,252724,193,21,503464,283,2590,1.44132e+06,65,1282,0
Invariant property smplace_859 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_859,6.22427e+279,9.77495,252724,195,21,503464,283,2591,1.44132e+06,65,1282,0
Invariant property smplace_861 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_861,2.48971e+279,9.77519,252724,193,23,503464,283,2592,1.44132e+06,65,1282,0
Invariant property smplace_862 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_862,2.48971e+279,9.77543,252724,193,24,503464,283,2593,1.44132e+06,65,1282,0
Invariant property smplace_863 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_863,4.97942e+279,9.77569,252724,193,23,503464,283,2594,1.44132e+06,65,1282,0
Invariant property smplace_864 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_864,4.97942e+279,9.77594,252724,193,22,503464,283,2595,1.44132e+06,65,1282,0
Invariant property smplace_866 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_866,6.22427e+279,9.77619,252724,193,21,503464,283,2598,1.44132e+06,65,1282,0
Invariant property smplace_869 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_869,6.22427e+279,9.77643,252724,192,21,503464,283,2599,1.44132e+06,65,1282,0
Invariant property smplace_871 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_871,6.22427e+279,9.77668,252724,194,21,503464,283,2600,1.44132e+06,65,1282,0
Invariant property smplace_878 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_878,6.22427e+279,9.77693,252724,203,21,503464,283,2601,1.44132e+06,65,1282,0
Invariant property smplace_880 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_880,2.48971e+279,9.77717,252724,202,23,503464,283,2602,1.44132e+06,65,1282,0
Invariant property smplace_881 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_881,2.48971e+279,9.77741,252724,202,24,503464,283,2603,1.44132e+06,65,1282,0
Invariant property smplace_882 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_882,4.97942e+279,9.77766,252724,202,23,503464,283,2604,1.44132e+06,65,1282,0
Invariant property smplace_883 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_883,4.97942e+279,9.78163,252724,202,22,503464,283,2605,1.44132e+06,65,1282,0
Invariant property smplace_885 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_885,6.22427e+279,9.78192,252724,191,21,503464,283,2606,1.44132e+06,65,1282,0
Invariant property smplace_888 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_888,6.22427e+279,9.78217,252724,200,21,503464,283,2607,1.44132e+06,65,1282,0
Invariant property smplace_890 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_890,6.22427e+279,9.78244,252724,204,21,503464,283,2608,1.44132e+06,65,1282,0
Invariant property smplace_897 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_897,6.22427e+279,9.78268,252724,194,21,503464,283,2609,1.44132e+06,65,1282,0
Invariant property smplace_899 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_899,2.48971e+279,9.78292,252724,193,23,503464,283,2610,1.44132e+06,65,1282,0
Invariant property smplace_900 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_900,2.48971e+279,9.78316,252724,193,24,503464,283,2611,1.44132e+06,65,1282,0
Invariant property smplace_901 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_901,4.97942e+279,9.7834,252724,193,23,503464,283,2612,1.44132e+06,65,1282,0
Invariant property smplace_902 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_902,4.97942e+279,9.78365,252724,193,22,503464,283,2613,1.44132e+06,65,1282,0
Invariant property smplace_904 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_904,6.22427e+279,9.78583,252724,197,21,503464,283,2614,1.44132e+06,65,1282,0
Invariant property smplace_907 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_907,6.22427e+279,9.7861,252724,191,21,503464,283,2615,1.44132e+06,65,1282,0
Invariant property smplace_909 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_909,6.22427e+279,9.78633,252724,195,21,503464,283,2616,1.44132e+06,65,1282,0
Invariant property smplace_916 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_916,6.22427e+279,9.78658,252724,197,21,503464,283,2617,1.44132e+06,65,1282,0
Invariant property smplace_918 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_918,2.48971e+279,9.78679,252724,195,23,503464,283,2618,1.44132e+06,65,1282,0
Invariant property smplace_919 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_919,2.48971e+279,9.78702,252724,195,24,503464,283,2619,1.44132e+06,65,1282,0
Invariant property smplace_920 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_920,4.97942e+279,9.78723,252724,195,23,503464,283,2620,1.44132e+06,65,1282,0
Invariant property smplace_921 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_921,4.97942e+279,9.78748,252724,195,22,503464,283,2621,1.44132e+06,65,1282,0
Invariant property smplace_923 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_923,6.22427e+279,9.78771,252724,190,21,503464,283,2622,1.44132e+06,65,1282,0
Invariant property smplace_926 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_926,6.22427e+279,9.78794,252724,194,21,503464,283,2623,1.44132e+06,65,1282,0
Invariant property smplace_928 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_928,6.22427e+279,9.78817,252724,196,21,503464,283,2624,1.44132e+06,65,1282,0
Invariant property smplace_935 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_935,6.22427e+279,9.78839,252724,196,21,503464,283,2625,1.44132e+06,65,1282,0
Invariant property smplace_937 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_937,2.48971e+279,9.78862,252724,194,23,503464,283,2626,1.44132e+06,65,1282,0
Invariant property smplace_938 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_938,2.48971e+279,9.78884,252724,194,24,503464,283,2627,1.44132e+06,65,1282,0
Invariant property smplace_939 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_939,4.97942e+279,9.78906,252724,194,23,503464,283,2628,1.44132e+06,65,1282,0
Invariant property smplace_940 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_940,4.97942e+279,9.78929,252724,194,22,503464,283,2629,1.44132e+06,65,1282,0
Invariant property smplace_942 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_942,6.22427e+279,9.78951,252724,193,21,503464,283,2630,1.44132e+06,65,1282,0
Invariant property smplace_945 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_945,6.22427e+279,9.78972,252724,195,21,503464,283,2631,1.44132e+06,65,1282,0
Invariant property smplace_947 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_947,6.22427e+279,9.78993,252724,193,21,503464,283,2632,1.44132e+06,65,1282,0
Invariant property smplace_954 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_954,6.22427e+279,9.79014,252724,195,21,503464,283,2633,1.44132e+06,65,1282,0
Invariant property smplace_956 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_956,2.48971e+279,9.79037,252724,193,23,503464,283,2634,1.44132e+06,65,1282,0
Invariant property smplace_957 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_957,2.48971e+279,9.79058,252724,193,24,503464,283,2635,1.44132e+06,65,1282,0
Invariant property smplace_958 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_958,4.97942e+279,9.7908,252724,193,23,503464,283,2636,1.44132e+06,65,1282,0
Invariant property smplace_959 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_959,4.97942e+279,9.79101,252724,193,22,503464,283,2637,1.44132e+06,65,1282,0
Invariant property smplace_961 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_961,6.22427e+279,9.79123,252724,194,21,503464,283,2638,1.44132e+06,65,1282,0
Invariant property smplace_964 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_964,6.22427e+279,9.79145,252724,194,21,503464,283,2640,1.44132e+06,65,1282,0
Invariant property smplace_966 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_966,6.22427e+279,9.79166,252724,192,21,503464,283,2641,1.44132e+06,65,1282,0
Invariant property smplace_973 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_973,6.22427e+279,9.79187,252724,195,21,503464,283,2642,1.44132e+06,65,1282,0
Invariant property smplace_975 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_975,2.48971e+279,9.79209,252724,194,23,503464,283,2643,1.44132e+06,65,1282,0
Invariant property smplace_976 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_976,2.48971e+279,9.7923,252724,194,24,503464,283,2644,1.44132e+06,65,1282,0
Invariant property smplace_977 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_977,4.97942e+279,9.79252,252724,194,23,503464,283,2645,1.44132e+06,65,1282,0
Invariant property smplace_978 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_978,4.97942e+279,9.79273,252724,194,22,503464,283,2646,1.44132e+06,65,1282,0
Invariant property smplace_980 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_980,6.22427e+279,9.79294,252724,193,21,503464,283,2648,1.44132e+06,65,1282,0
Invariant property smplace_983 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_983,6.22427e+279,9.79314,252724,193,21,503464,283,2649,1.44132e+06,65,1282,0
Invariant property smplace_985 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_985,6.22427e+279,9.79335,252724,194,21,503464,283,2650,1.44132e+06,65,1282,0
Invariant property smplace_992 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_992,6.22427e+279,9.79356,252724,195,21,503464,283,2651,1.44132e+06,65,1282,0
Invariant property smplace_994 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_994,2.48971e+279,9.79377,252724,194,23,503464,283,2652,1.44132e+06,65,1282,0
Invariant property smplace_995 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_995,2.48971e+279,9.79398,252724,194,24,503464,283,2653,1.44132e+06,65,1282,0
Invariant property smplace_996 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_996,4.97942e+279,9.7942,252724,194,23,503464,283,2654,1.44132e+06,65,1282,0
Invariant property smplace_997 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_997,4.97942e+279,9.79444,252724,194,22,503464,283,2655,1.44132e+06,65,1282,0
Invariant property smplace_999 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_999,6.22427e+279,9.79466,252724,192,21,503464,283,2656,1.44132e+06,65,1282,0
Invariant property smplace_1002 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1002,6.22427e+279,9.79488,252724,193,21,503464,283,2657,1.44132e+06,65,1282,0
Invariant property smplace_1004 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1004,6.22427e+279,9.7951,252724,194,21,503464,283,2658,1.44132e+06,65,1282,0
Invariant property smplace_1011 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1011,6.22427e+279,9.79532,252724,203,21,503464,283,2659,1.44132e+06,65,1282,0
Invariant property smplace_1013 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1013,2.48971e+279,9.79555,252724,202,23,503464,283,2660,1.44132e+06,65,1282,0
Invariant property smplace_1014 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1014,2.48971e+279,9.79576,252724,202,24,503464,283,2661,1.44132e+06,65,1282,0
Invariant property smplace_1015 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1015,4.97942e+279,9.79597,252724,202,23,503464,283,2662,1.44132e+06,65,1282,0
Invariant property smplace_1016 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1016,4.97942e+279,9.79618,252724,202,22,503464,283,2663,1.44132e+06,65,1282,0
Invariant property smplace_1018 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1018,6.22427e+279,9.79639,252724,192,21,503464,283,2664,1.44132e+06,65,1282,0
Invariant property smplace_1021 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1021,6.22427e+279,9.7966,252724,200,21,503464,283,2665,1.44132e+06,65,1282,0
Invariant property smplace_1023 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1023,6.22427e+279,9.79681,252724,204,21,503464,283,2666,1.44132e+06,65,1282,0
Invariant property smplace_1030 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1030,6.22427e+279,9.79701,252724,194,21,503464,283,2667,1.44132e+06,65,1282,0
Invariant property smplace_1032 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1032,2.48971e+279,9.79723,252724,193,23,503464,283,2668,1.44132e+06,65,1282,0
Invariant property smplace_1033 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1033,2.48971e+279,9.79744,252724,193,24,503464,283,2669,1.44132e+06,65,1282,0
Invariant property smplace_1034 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1034,4.97942e+279,9.79764,252724,193,23,503464,283,2670,1.44132e+06,65,1282,0
Invariant property smplace_1035 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1035,4.97942e+279,9.79784,252724,193,22,503464,283,2671,1.44132e+06,65,1282,0
Invariant property smplace_1037 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1037,6.22427e+279,9.79805,252724,197,21,503464,283,2672,1.44132e+06,65,1282,0
Invariant property smplace_1040 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1040,6.22427e+279,9.79825,252724,191,21,503464,283,2673,1.44132e+06,65,1282,0
Invariant property smplace_1042 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1042,6.22427e+279,9.79849,252724,195,21,503464,283,2674,1.44132e+06,65,1282,0
Invariant property smplace_1049 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1049,6.22427e+279,9.7987,252724,195,21,503464,283,2675,1.44132e+06,65,1282,0
Invariant property smplace_1051 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1051,2.48971e+279,9.79894,252724,194,23,503464,283,2676,1.44132e+06,65,1282,0
Invariant property smplace_1052 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1052,2.48971e+279,9.79916,252724,194,24,503464,283,2677,1.44132e+06,65,1282,0
Invariant property smplace_1053 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1053,4.97942e+279,9.79938,252724,194,23,503464,283,2678,1.44132e+06,65,1282,0
Invariant property smplace_1054 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1054,4.97942e+279,9.79961,252724,194,22,503464,283,2679,1.44132e+06,65,1282,0
Invariant property smplace_1056 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1056,6.22427e+279,9.79982,252724,190,21,503464,283,2680,1.44132e+06,65,1282,0
Invariant property smplace_1059 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1059,6.22427e+279,9.80004,252724,193,21,503464,283,2681,1.44132e+06,65,1282,0
Invariant property smplace_1061 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1061,6.22427e+279,9.80026,252724,193,21,503464,283,2682,1.44132e+06,65,1282,0
Invariant property smplace_1068 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1068,6.22427e+279,9.80046,252724,194,21,503464,283,2683,1.44132e+06,65,1282,0
Invariant property smplace_1070 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1070,2.48971e+279,9.80067,252724,193,23,503464,283,2684,1.44132e+06,65,1282,0
Invariant property smplace_1071 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1071,2.48971e+279,9.80087,252724,193,24,503464,283,2685,1.44132e+06,65,1282,0
Invariant property smplace_1072 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1072,4.97942e+279,9.80107,252724,193,23,503464,283,2686,1.44132e+06,65,1282,0
Invariant property smplace_1073 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1073,4.97942e+279,9.80127,252724,193,22,503464,283,2687,1.44132e+06,65,1282,0
Invariant property smplace_1075 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1075,6.22427e+279,9.80148,252724,192,21,503464,283,2688,1.44132e+06,65,1282,0
Invariant property smplace_1078 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1078,6.22427e+279,9.80169,252724,192,21,503464,283,2689,1.44132e+06,65,1282,0
Invariant property smplace_1080 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1080,6.22427e+279,9.8019,252724,193,21,503464,283,2690,1.44132e+06,65,1282,0
Invariant property smplace_1087 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1087,6.22427e+279,9.80212,252724,196,21,503464,283,2691,1.44132e+06,65,1282,0
Invariant property smplace_1089 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1089,2.48971e+279,9.80234,252724,195,23,503464,283,2692,1.44132e+06,65,1282,0
Invariant property smplace_1090 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1090,2.48971e+279,9.80255,252724,195,24,503464,283,2693,1.44132e+06,65,1282,0
Invariant property smplace_1091 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1091,4.97942e+279,9.80278,252724,195,23,503464,283,2694,1.44132e+06,65,1282,0
Invariant property smplace_1092 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1092,4.97942e+279,9.803,252724,195,22,503464,283,2695,1.44132e+06,65,1282,0
Invariant property smplace_1094 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1094,6.22427e+279,9.80321,252724,191,21,503464,283,2696,1.44132e+06,65,1282,0
Invariant property smplace_1097 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1097,6.22427e+279,9.80345,252724,194,21,503464,283,2697,1.44132e+06,65,1282,0
Invariant property smplace_1099 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1099,6.22427e+279,9.80367,252724,195,21,503464,283,2698,1.44132e+06,65,1282,0
Invariant property smplace_1106 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1106,6.22427e+279,9.80388,252724,194,21,503464,283,2699,1.44132e+06,65,1282,0
Invariant property smplace_1108 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1108,2.48971e+279,9.8041,252724,193,23,503464,283,2700,1.44132e+06,65,1282,0
Invariant property smplace_1109 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1109,2.48971e+279,9.80432,252724,193,24,503464,283,2701,1.44132e+06,65,1282,0
Invariant property smplace_1110 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1110,4.97942e+279,9.80453,252724,193,23,503464,283,2702,1.44132e+06,65,1282,0
Invariant property smplace_1111 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1111,4.97942e+279,9.80475,252724,193,22,503464,283,2703,1.44132e+06,65,1282,0
Invariant property smplace_1113 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1113,6.22427e+279,9.80499,252724,193,21,503464,283,2705,1.44132e+06,65,1282,0
Invariant property smplace_1116 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1116,6.22427e+279,9.8052,252724,192,21,503464,283,2706,1.44132e+06,65,1282,0
Invariant property smplace_1118 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1118,6.22427e+279,9.80544,252724,193,21,503464,283,2707,1.44132e+06,65,1282,0
Invariant property smplace_1125 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1125,6.22427e+279,9.80566,252724,194,21,503464,283,2709,1.44132e+06,65,1282,0
Invariant property smplace_1127 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1127,2.48971e+279,9.80588,252724,195,23,503464,283,2710,1.44132e+06,65,1282,0
Invariant property smplace_1128 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1128,2.48971e+279,9.8061,252724,195,24,503464,283,2711,1.44132e+06,65,1282,0
Invariant property smplace_1129 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1129,4.97942e+279,9.80632,252724,195,23,503464,283,2712,1.44132e+06,65,1282,0
Invariant property smplace_1130 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1130,4.97942e+279,9.80656,252724,195,22,503464,283,2713,1.44132e+06,65,1282,0
Invariant property smplace_1132 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1132,6.22427e+279,9.80677,252724,191,21,503464,283,2714,1.44132e+06,65,1282,0
Invariant property smplace_1135 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1135,6.22427e+279,9.80697,252724,196,21,503464,283,2716,1.44132e+06,65,1282,0
Invariant property smplace_1137 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1137,6.22427e+279,9.80719,252724,194,21,503464,283,2717,1.44132e+06,65,1282,0
Invariant property smplace_1144 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1144,6.22427e+279,9.8074,252724,196,21,503464,283,2718,1.44132e+06,65,1282,0
Invariant property smplace_1146 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1146,2.48971e+279,9.80761,252724,195,23,503464,283,2719,1.44132e+06,65,1282,0
Invariant property smplace_1147 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1147,2.48971e+279,9.80781,252724,195,24,503464,283,2720,1.44132e+06,65,1282,0
Invariant property smplace_1148 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1148,4.97942e+279,9.80802,252724,195,23,503464,283,2721,1.44132e+06,65,1282,0
Invariant property smplace_1149 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1149,4.97942e+279,9.80822,252724,195,22,503464,283,2722,1.44132e+06,65,1282,0
Invariant property smplace_1151 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1151,6.22427e+279,9.80842,252724,195,21,503464,283,2723,1.44132e+06,65,1282,0
Invariant property smplace_1154 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1154,6.22427e+279,9.80865,252724,193,21,503464,283,2724,1.44132e+06,65,1282,0
Invariant property smplace_1156 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1156,6.22427e+279,9.80886,252724,194,21,503464,283,2725,1.44132e+06,65,1282,0
Invariant property smplace_1163 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1163,6.22427e+279,9.80908,252724,194,21,503464,283,2726,1.44132e+06,65,1282,0
Invariant property smplace_1165 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1165,2.48971e+279,9.80929,252724,195,23,503464,283,2727,1.44132e+06,65,1282,0
Invariant property smplace_1166 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1166,2.48971e+279,9.80951,252724,195,24,503464,283,2729,1.44132e+06,65,1282,0
Invariant property smplace_1167 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1167,4.97942e+279,9.80974,252724,195,23,503464,283,2731,1.44132e+06,65,1282,0
Invariant property smplace_1168 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1168,4.97942e+279,9.80994,252724,195,22,503464,283,2733,1.44132e+06,65,1282,0
Invariant property smplace_1170 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1170,6.22427e+279,9.81015,252724,192,21,503464,283,2734,1.44132e+06,65,1282,0
Invariant property smplace_1173 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1173,6.22427e+279,9.81036,252724,194,21,503464,283,2735,1.44132e+06,65,1282,0
Invariant property smplace_1175 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1175,6.22427e+279,9.81057,252724,193,21,503464,283,2736,1.44132e+06,65,1282,0
Invariant property smplace_1182 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1182,6.22427e+279,9.81077,252724,194,21,503464,283,2737,1.44132e+06,65,1282,0
Invariant property smplace_1184 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1184,2.48971e+279,9.81097,252724,196,23,503464,283,2738,1.44132e+06,65,1282,0
Invariant property smplace_1185 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1185,2.48971e+279,9.81119,252724,196,24,503464,283,2739,1.44132e+06,65,1282,0
Invariant property smplace_1186 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1186,4.97942e+279,9.81141,252724,196,23,503464,283,2740,1.44132e+06,65,1282,0
Invariant property smplace_1187 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1187,4.97942e+279,9.81163,252724,196,22,503464,283,2741,1.44132e+06,65,1282,0
Invariant property smplace_1189 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1189,6.22427e+279,9.81186,252724,193,21,503464,283,2743,1.44132e+06,65,1282,0
Invariant property smplace_1192 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1192,6.22427e+279,9.81208,252724,197,21,503464,283,2746,1.44132e+06,65,1282,0
Invariant property smplace_1194 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1194,6.22427e+279,9.8123,252724,195,21,503464,283,2747,1.44132e+06,65,1282,0
Invariant property smplace_1201 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1201,6.22427e+279,9.81251,252724,196,21,503464,283,2748,1.44132e+06,65,1282,0
Invariant property smplace_1203 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1203,2.48971e+279,9.81271,252724,195,23,503464,283,2749,1.44132e+06,65,1282,0
Invariant property smplace_1204 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1204,2.48971e+279,9.81293,252724,195,24,503464,283,2750,1.44132e+06,65,1282,0
Invariant property smplace_1205 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1205,4.97942e+279,9.81314,252724,195,23,503464,283,2751,1.44132e+06,65,1282,0
Invariant property smplace_1206 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1206,4.97942e+279,9.81336,252724,195,22,503464,283,2752,1.44132e+06,65,1282,0
Invariant property smplace_1208 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1208,6.22427e+279,9.81358,252724,196,21,503464,283,2755,1.44132e+06,65,1282,0
Invariant property smplace_1211 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1211,6.22427e+279,9.8138,252724,194,21,503464,283,2756,1.44132e+06,65,1282,0
Invariant property smplace_1213 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1213,6.22427e+279,9.814,252724,195,21,503464,283,2757,1.44132e+06,65,1282,0
Invariant property smplace_1220 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1220,6.22427e+279,9.81422,252724,196,21,503464,283,2758,1.44132e+06,65,1282,0
Invariant property smplace_1222 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1222,2.48971e+279,9.81444,252724,195,23,503464,283,2759,1.44132e+06,65,1282,0
Invariant property smplace_1223 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1223,2.48971e+279,9.81466,252724,195,24,503464,283,2760,1.44132e+06,65,1282,0
Invariant property smplace_1224 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1224,4.97942e+279,9.81487,252724,195,23,503464,283,2761,1.44132e+06,65,1282,0
Invariant property smplace_1225 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1225,4.97942e+279,9.81508,252724,195,22,503464,283,2762,1.44132e+06,65,1282,0
Invariant property smplace_1227 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1227,6.22427e+279,9.81529,252724,193,21,503464,283,2763,1.44132e+06,65,1282,0
Invariant property smplace_1230 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1230,6.22427e+279,9.81551,252724,194,21,503464,283,2764,1.44132e+06,65,1282,0
Invariant property smplace_1232 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1232,6.22427e+279,9.81572,252724,194,21,503464,283,2765,1.44132e+06,65,1282,0
Invariant property smplace_1239 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1239,6.22427e+279,9.81595,252724,194,21,503464,283,2766,1.44132e+06,65,1282,0
Invariant property smplace_1241 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1241,2.48971e+279,9.81617,252724,195,23,503464,283,2767,1.44132e+06,65,1282,0
Invariant property smplace_1242 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1242,2.48971e+279,9.81639,252724,195,24,503464,283,2768,1.44132e+06,65,1282,0
Invariant property smplace_1243 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1243,4.97942e+279,9.81661,252724,195,23,503464,283,2769,1.44132e+06,65,1282,0
Invariant property smplace_1244 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1244,4.97942e+279,9.8168,252724,195,22,503464,283,2770,1.44132e+06,65,1282,0
Invariant property smplace_1246 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1246,6.22427e+279,9.81699,252724,193,21,503464,283,2771,1.44132e+06,65,1282,0
Invariant property smplace_1249 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1249,6.22427e+279,9.81719,252724,193,21,503464,283,2772,1.44132e+06,65,1282,0
Invariant property smplace_1251 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1251,6.22427e+279,9.81739,252724,194,21,503464,283,2773,1.44132e+06,65,1282,0
Invariant property smplace_1258 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1258,6.22427e+279,9.81759,252724,195,21,503464,283,2774,1.44132e+06,65,1282,0
Invariant property smplace_1260 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1260,2.48971e+279,9.81779,252724,193,23,503464,283,2775,1.44132e+06,65,1282,0
Invariant property smplace_1261 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1261,2.48971e+279,9.81799,252724,193,24,503464,283,2776,1.44132e+06,65,1282,0
Invariant property smplace_1262 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1262,4.97942e+279,9.8182,252724,193,23,503464,283,2777,1.44132e+06,65,1282,0
Invariant property smplace_1263 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1263,4.97942e+279,9.81841,252724,193,22,503464,283,2778,1.44132e+06,65,1282,0
Invariant property smplace_1265 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1265,6.22427e+279,9.81861,252724,192,21,503464,283,2779,1.44132e+06,65,1282,0
Invariant property smplace_1268 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1268,6.22427e+279,9.81882,252724,192,21,503464,283,2780,1.44132e+06,65,1282,0
Invariant property smplace_1270 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1270,6.22427e+279,9.81902,252724,194,21,503464,283,2781,1.44132e+06,65,1282,0
Invariant property smplace_1277 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1277,6.22427e+279,9.81921,252724,194,21,503464,283,2782,1.44132e+06,65,1282,0
Invariant property smplace_1279 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1279,2.48971e+279,9.8194,252724,193,23,503464,283,2783,1.44132e+06,65,1282,0
Invariant property smplace_1280 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1280,2.48971e+279,9.81965,252724,193,24,503464,283,2784,1.44132e+06,65,1282,0
Invariant property smplace_1281 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1281,4.97942e+279,9.81986,252724,193,23,503464,283,2785,1.44132e+06,65,1282,0
Invariant property smplace_1282 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1282,4.97942e+279,9.82006,252724,193,22,503464,283,2786,1.44132e+06,65,1282,0
Invariant property smplace_1284 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1284,6.22427e+279,9.82027,252724,191,21,503464,283,2787,1.44132e+06,65,1282,0
Invariant property smplace_1287 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1287,6.22427e+279,9.82049,252724,192,21,503464,283,2788,1.44132e+06,65,1282,0
Invariant property smplace_1289 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1289,6.22427e+279,9.8207,252724,193,21,503464,283,2789,1.44132e+06,65,1282,0
Invariant property smplace_1296 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1296,6.22427e+279,9.82092,252724,196,21,503464,283,2790,1.44132e+06,65,1282,0
Invariant property smplace_1298 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1298,2.48971e+279,9.82113,252724,195,23,503464,283,2791,1.44132e+06,65,1282,0
Invariant property smplace_1299 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1299,2.48971e+279,9.82134,252724,195,24,503464,283,2792,1.44132e+06,65,1282,0
Invariant property smplace_1300 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1300,4.97942e+279,9.82156,252724,195,23,503464,283,2793,1.44132e+06,65,1282,0
Invariant property smplace_1301 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1301,4.97942e+279,9.82178,252724,195,22,503464,283,2794,1.44132e+06,65,1282,0
Invariant property smplace_1303 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1303,6.22427e+279,9.822,252724,191,21,503464,283,2795,1.44132e+06,65,1282,0
Invariant property smplace_1306 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1306,6.22427e+279,9.82221,252724,194,21,503464,283,2796,1.44132e+06,65,1282,0
Invariant property smplace_1308 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1308,6.22427e+279,9.82242,252724,194,21,503464,283,2797,1.44132e+06,65,1282,0
Invariant property smplace_1315 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1315,6.22427e+279,9.82262,252724,196,21,503464,283,2798,1.44132e+06,65,1282,0
Invariant property smplace_1317 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1317,2.48971e+279,9.82282,252724,195,23,503464,283,2799,1.44132e+06,65,1282,0
Invariant property smplace_1318 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1318,2.48971e+279,9.82303,252724,195,24,503464,283,2800,1.44132e+06,65,1282,0
Invariant property smplace_1319 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1319,4.97942e+279,9.82323,252724,195,23,503464,283,2801,1.44132e+06,65,1282,0
Invariant property smplace_1320 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1320,4.97942e+279,9.82343,252724,195,22,503464,283,2802,1.44132e+06,65,1282,0
Invariant property smplace_1322 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1322,6.22427e+279,9.82363,252724,193,21,503464,283,2803,1.44132e+06,65,1282,0
Invariant property smplace_1325 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1325,6.22427e+279,9.82383,252724,193,21,503464,283,2804,1.44132e+06,65,1282,0
Invariant property smplace_1327 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1327,6.22427e+279,9.82404,252724,194,21,503464,283,2805,1.44132e+06,65,1282,0
Invariant property smplace_1334 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1334,6.22427e+279,9.82424,252724,196,21,503464,283,2806,1.44132e+06,65,1282,0
Invariant property smplace_1336 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1336,2.48971e+279,9.82443,252724,195,23,503464,283,2807,1.44132e+06,65,1282,0
Invariant property smplace_1337 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1337,2.48971e+279,9.82463,252724,195,24,503464,283,2808,1.44132e+06,65,1282,0
Invariant property smplace_1338 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1338,4.97942e+279,9.82483,252724,195,23,503464,283,2809,1.44132e+06,65,1282,0
Invariant property smplace_1339 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1339,4.97942e+279,9.82503,252724,195,22,503464,283,2810,1.44132e+06,65,1282,0
Invariant property smplace_1341 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1341,6.22427e+279,9.82522,252724,192,21,503464,283,2811,1.44132e+06,65,1282,0
Invariant property smplace_1344 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1344,6.22427e+279,9.82542,252724,194,21,503464,283,2812,1.44132e+06,65,1282,0
Invariant property smplace_1346 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1346,6.22427e+279,9.82562,252724,194,21,503464,283,2813,1.44132e+06,65,1282,0
Invariant property smplace_1353 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1353,6.22427e+279,9.82582,252724,193,21,503464,283,2814,1.44132e+06,65,1282,0
Invariant property smplace_1355 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1355,2.48971e+279,9.82602,252724,195,23,503464,283,2815,1.44132e+06,65,1282,0
Invariant property smplace_1356 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1356,2.48971e+279,9.82623,252724,195,24,503464,283,2816,1.44132e+06,65,1282,0
Invariant property smplace_1357 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1357,4.97942e+279,9.82643,252724,195,23,503464,283,2817,1.44132e+06,65,1282,0
Invariant property smplace_1358 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1358,4.97942e+279,9.82664,252724,195,22,503464,283,2818,1.44132e+06,65,1282,0
Invariant property smplace_1360 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1360,6.22427e+279,9.82685,252724,193,21,503464,283,2819,1.44132e+06,65,1282,0
Invariant property smplace_1363 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1363,6.22427e+279,9.82705,252724,194,21,503464,283,2820,1.44132e+06,65,1282,0
Invariant property smplace_1365 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1365,6.22427e+279,9.82724,252724,194,21,503464,283,2821,1.44132e+06,65,1282,0
Invariant property smplace_1372 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1372,6.22427e+279,9.82745,252724,203,21,503464,283,2822,1.44132e+06,65,1282,0
Invariant property smplace_1374 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1374,2.48971e+279,9.82768,252724,202,23,503464,283,2823,1.44132e+06,65,1282,0
Invariant property smplace_1375 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1375,2.48971e+279,9.82789,252724,202,24,503464,283,2824,1.44132e+06,65,1282,0
Invariant property smplace_1376 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1376,4.97942e+279,9.8281,252724,202,23,503464,283,2825,1.44132e+06,65,1282,0
Invariant property smplace_1377 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1377,4.97942e+279,9.8283,252724,202,22,503464,283,2826,1.44132e+06,65,1282,0
Invariant property smplace_1379 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1379,6.22427e+279,9.82852,252724,193,21,503464,283,2827,1.44132e+06,65,1282,0
Invariant property smplace_1382 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1382,6.22427e+279,9.82873,252724,200,21,503464,283,2828,1.44132e+06,65,1282,0
Invariant property smplace_1384 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1384,6.22427e+279,9.82893,252724,204,21,503464,283,2829,1.44132e+06,65,1282,0
Invariant property smplace_1391 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1391,6.22427e+279,9.82912,252724,194,21,503464,283,2830,1.44132e+06,65,1282,0
Invariant property smplace_1393 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1393,2.48971e+279,9.82932,252724,193,23,503464,283,2831,1.44132e+06,65,1282,0
Invariant property smplace_1394 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1394,2.48971e+279,9.82951,252724,193,24,503464,283,2832,1.44132e+06,65,1282,0
Invariant property smplace_1395 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1395,4.97942e+279,9.82969,252724,193,23,503464,283,2833,1.44132e+06,65,1282,0
Invariant property smplace_1396 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1396,4.97942e+279,9.82987,252724,193,22,503464,283,2834,1.44132e+06,65,1282,0
Invariant property smplace_1398 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1398,6.22427e+279,9.83006,252724,197,21,503464,283,2835,1.44132e+06,65,1282,0
Invariant property smplace_1401 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1401,6.22427e+279,9.83025,252724,191,21,503464,283,2836,1.44132e+06,65,1282,0
Invariant property smplace_1403 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1403,6.22427e+279,9.83047,252724,195,21,503464,283,2837,1.44132e+06,65,1282,0
Invariant property smplace_1410 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1410,6.22427e+279,9.83067,252724,203,21,503464,283,2838,1.44132e+06,65,1282,0
Invariant property smplace_1412 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1412,2.48971e+279,9.83085,252724,202,23,503464,283,2839,1.44132e+06,65,1282,0
Invariant property smplace_1413 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1413,2.48971e+279,9.83106,252724,202,24,503464,283,2840,1.44132e+06,65,1282,0
Invariant property smplace_1414 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1414,4.97942e+279,9.83124,252724,202,23,503464,283,2841,1.44132e+06,65,1282,0
Invariant property smplace_1415 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1415,4.97942e+279,9.83145,252724,202,22,503464,283,2842,1.44132e+06,65,1282,0
Invariant property smplace_1417 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1417,6.22427e+279,9.83163,252724,190,21,503464,283,2843,1.44132e+06,65,1282,0
Invariant property smplace_1420 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1420,6.22427e+279,9.83182,252724,200,21,503464,283,2844,1.44132e+06,65,1282,0
Invariant property smplace_1422 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1422,6.22427e+279,9.832,252724,204,21,503464,283,2845,1.44132e+06,65,1282,0
Invariant property smplace_1429 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1429,6.22427e+279,9.83219,252724,194,21,503464,283,2846,1.44132e+06,65,1282,0
Invariant property smplace_1431 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1431,2.48971e+279,9.83238,252724,193,23,503464,283,2847,1.44132e+06,65,1282,0
Invariant property smplace_1432 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1432,2.48971e+279,9.83256,252724,193,24,503464,283,2848,1.44132e+06,65,1282,0
Invariant property smplace_1433 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1433,4.97942e+279,9.83274,252724,193,23,503464,283,2849,1.44132e+06,65,1282,0
Invariant property smplace_1434 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1434,4.97942e+279,9.83293,252724,193,22,503464,283,2850,1.44132e+06,65,1282,0
Invariant property smplace_1436 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1436,6.22427e+279,9.83311,252724,197,21,503464,283,2851,1.44132e+06,65,1282,0
Invariant property smplace_1439 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1439,6.22427e+279,9.83332,252724,191,21,503464,283,2852,1.44132e+06,65,1282,0
Invariant property smplace_1441 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1441,6.22427e+279,9.83351,252724,195,21,503464,283,2853,1.44132e+06,65,1282,0
Invariant property smplace_1448 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1448,6.22427e+279,9.8337,252724,203,21,503464,283,2854,1.44132e+06,65,1282,0
Invariant property smplace_1450 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1450,2.48971e+279,9.8339,252724,202,23,503464,283,2855,1.44132e+06,65,1282,0
Invariant property smplace_1451 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1451,2.48971e+279,9.83411,252724,202,24,503464,283,2856,1.44132e+06,65,1282,0
Invariant property smplace_1452 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1452,4.97942e+279,9.83432,252724,202,23,503464,283,2857,1.44132e+06,65,1282,0
Invariant property smplace_1453 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1453,4.97942e+279,9.83452,252724,202,22,503464,283,2858,1.44132e+06,65,1282,0
Invariant property smplace_1455 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1455,6.22427e+279,9.83472,252724,190,21,503464,283,2859,1.44132e+06,65,1282,0
Invariant property smplace_1458 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1458,6.22427e+279,9.83493,252724,200,21,503464,283,2860,1.44132e+06,65,1282,0
Invariant property smplace_1460 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1460,6.22427e+279,9.83513,252724,204,21,503464,283,2861,1.44132e+06,65,1282,0
Invariant property smplace_1467 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1467,6.22427e+279,9.83533,252724,194,21,503464,283,2862,1.44132e+06,65,1282,0
Invariant property smplace_1469 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1469,2.48971e+279,9.83554,252724,193,23,503464,283,2863,1.44132e+06,65,1282,0
Invariant property smplace_1470 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1470,2.48971e+279,9.83574,252724,193,24,503464,283,2864,1.44132e+06,65,1282,0
Invariant property smplace_1471 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1471,4.97942e+279,9.83595,252724,193,23,503464,283,2865,1.44132e+06,65,1282,0
Invariant property smplace_1472 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1472,4.97942e+279,9.83615,252724,193,22,503464,283,2866,1.44132e+06,65,1282,0
Invariant property smplace_1474 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1474,6.22427e+279,9.83634,252724,197,21,503464,283,2867,1.44132e+06,65,1282,0
Invariant property smplace_1477 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1477,6.22427e+279,9.83654,252724,191,21,503464,283,2868,1.44132e+06,65,1282,0
Invariant property smplace_1479 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1479,6.22427e+279,9.83674,252724,195,21,503464,283,2869,1.44132e+06,65,1282,0
Invariant property smplace_1486 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1486,6.22427e+279,9.83694,252724,203,21,503464,283,2870,1.44132e+06,65,1282,0
Invariant property smplace_1488 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1488,2.48971e+279,9.83714,252724,202,23,503464,283,2871,1.44132e+06,65,1282,0
Invariant property smplace_1489 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1489,2.48971e+279,9.83733,252724,202,24,503464,283,2872,1.44132e+06,65,1282,0
Invariant property smplace_1490 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1490,4.97942e+279,9.83751,252724,202,23,503464,283,2873,1.44132e+06,65,1282,0
Invariant property smplace_1491 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1491,4.97942e+279,9.83769,252724,202,22,503464,283,2874,1.44132e+06,65,1282,0
Invariant property smplace_1493 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1493,6.22427e+279,9.83788,252724,190,21,503464,283,2875,1.44132e+06,65,1282,0
Invariant property smplace_1496 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1496,6.22427e+279,9.83807,252724,200,21,503464,283,2876,1.44132e+06,65,1282,0
Invariant property smplace_1498 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1498,6.22427e+279,9.83825,252724,204,21,503464,283,2877,1.44132e+06,65,1282,0
Invariant property smplace_1505 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1505,6.22427e+279,9.83845,252724,194,21,503464,283,2878,1.44132e+06,65,1282,0
Invariant property smplace_1507 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1507,2.48971e+279,9.83863,252724,193,23,503464,283,2879,1.44132e+06,65,1282,0
Invariant property smplace_1508 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1508,2.48971e+279,9.83882,252724,193,24,503464,283,2880,1.44132e+06,65,1282,0
Invariant property smplace_1509 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1509,4.97942e+279,9.839,252724,193,23,503464,283,2881,1.44132e+06,65,1282,0
Invariant property smplace_1510 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1510,4.97942e+279,9.83918,252724,193,22,503464,283,2882,1.44132e+06,65,1282,0
Invariant property smplace_1512 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1512,6.22427e+279,9.83938,252724,197,21,503464,283,2883,1.44132e+06,65,1282,0
Invariant property smplace_1515 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1515,6.22427e+279,9.83959,252724,191,21,503464,283,2884,1.44132e+06,65,1282,0
Invariant property smplace_1517 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1517,6.22427e+279,9.83979,252724,195,21,503464,283,2885,1.44132e+06,65,1282,0
Invariant property smplace_1524 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1524,6.22427e+279,9.84,252724,193,21,503464,283,2886,1.44132e+06,65,1282,0
Invariant property smplace_1526 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1526,2.48971e+279,9.8402,252724,191,23,503464,283,2887,1.44132e+06,65,1282,0
Invariant property smplace_1527 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1527,2.48971e+279,9.84041,252724,191,24,503464,283,2890,1.44132e+06,65,1282,0
Invariant property smplace_1528 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1528,4.97942e+279,9.84062,252724,191,23,503464,283,2893,1.44132e+06,65,1282,0
Invariant property smplace_1529 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1529,4.97942e+279,9.84081,252724,191,22,503464,283,2896,1.44132e+06,65,1282,0
Invariant property smplace_1531 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1531,6.22427e+279,9.841,252724,190,21,503464,283,2897,1.44132e+06,65,1282,0
Invariant property smplace_1534 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1534,6.22427e+279,9.8412,252724,193,21,503464,283,2898,1.44132e+06,65,1282,0
Invariant property smplace_1536 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1536,6.22427e+279,9.8414,252724,192,21,503464,283,2899,1.44132e+06,65,1282,0
Invariant property smplace_1543 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1543,6.22427e+279,9.8416,252724,192,21,503464,283,2900,1.44132e+06,65,1282,0
Invariant property smplace_1545 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1545,2.48971e+279,9.84179,252724,194,23,503464,283,2901,1.44132e+06,65,1282,0
Invariant property smplace_1546 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1546,2.48971e+279,9.84199,252724,194,24,503464,283,2902,1.44132e+06,65,1282,0
Invariant property smplace_1547 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1547,4.97942e+279,9.84218,252724,194,23,503464,283,2903,1.44132e+06,65,1282,0
Invariant property smplace_1548 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1548,4.97942e+279,9.84239,252724,194,22,503464,283,2904,1.44132e+06,65,1282,0
Invariant property smplace_1550 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1550,6.22427e+279,9.84259,252724,192,21,503464,283,2905,1.44132e+06,65,1282,0
Invariant property smplace_1553 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1553,6.22427e+279,9.84278,252724,193,21,503464,283,2906,1.44132e+06,65,1282,0
Invariant property smplace_1555 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1555,6.22427e+279,9.84298,252724,193,21,503464,283,2907,1.44132e+06,65,1282,0
Invariant property smplace_1562 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1562,6.22427e+279,9.84317,252724,193,21,503464,283,2908,1.44132e+06,65,1282,0
Invariant property smplace_1564 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1564,2.48971e+279,9.84335,252724,194,23,503464,283,2909,1.44132e+06,65,1282,0
Invariant property smplace_1565 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1565,2.48971e+279,9.84358,252724,194,24,503464,283,2910,1.44132e+06,65,1282,0
Invariant property smplace_1566 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1566,4.97942e+279,9.8438,252724,194,23,503464,283,2911,1.44132e+06,65,1282,0
Invariant property smplace_1567 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1567,4.97942e+279,9.844,252724,194,22,503464,283,2912,1.44132e+06,65,1282,0
Invariant property smplace_1569 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1569,6.22427e+279,9.8442,252724,192,21,503464,283,2913,1.44132e+06,65,1282,0
Invariant property smplace_1572 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1572,6.22427e+279,9.84446,252724,193,21,503464,283,2914,1.44132e+06,65,1282,0
Invariant property smplace_1574 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1574,6.22427e+279,9.84466,252724,192,21,503464,283,2915,1.44132e+06,65,1282,0
Invariant property smplace_1581 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1581,6.22427e+279,9.84488,252724,195,21,503464,283,2916,1.44132e+06,65,1282,0
Invariant property smplace_1583 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1583,2.48971e+279,9.8451,252724,194,23,503464,283,2919,1.44132e+06,65,1282,0
Invariant property smplace_1584 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1584,2.48971e+279,9.84531,252724,194,24,503464,283,2922,1.44132e+06,65,1282,0
Invariant property smplace_1585 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1585,4.97942e+279,9.84552,252724,194,23,503464,283,2925,1.44132e+06,65,1282,0
Invariant property smplace_1586 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1586,4.97942e+279,9.84572,252724,194,22,503464,283,2928,1.44132e+06,65,1282,0
Invariant property smplace_1588 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1588,6.22427e+279,9.84596,252724,192,21,503464,283,2929,1.44132e+06,65,1282,0
Invariant property smplace_1591 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1591,6.22427e+279,9.84616,252724,192,21,503464,283,2932,1.44132e+06,65,1282,0
Invariant property smplace_1593 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1593,6.22427e+279,9.84637,252724,196,21,503464,283,2933,1.44132e+06,65,1282,0
Invariant property smplace_1600 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1600,6.22427e+279,9.84658,252724,192,21,503464,283,2934,1.44132e+06,65,1282,0
Invariant property smplace_1602 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1602,2.48971e+279,9.84677,252724,191,23,503464,283,2935,1.44132e+06,65,1282,0
Invariant property smplace_1603 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1603,2.48971e+279,9.84698,252724,191,24,503464,283,2936,1.44132e+06,65,1282,0
Invariant property smplace_1604 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1604,4.97942e+279,9.84718,252724,191,23,503464,283,2937,1.44132e+06,65,1282,0
Invariant property smplace_1605 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1605,4.97942e+279,9.84738,252724,191,22,503464,283,2938,1.44132e+06,65,1282,0
Invariant property smplace_1607 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1607,6.22427e+279,9.84763,252724,190,21,503464,283,2941,1.44132e+06,65,1282,0
Invariant property smplace_1610 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1610,6.22427e+279,9.84783,252724,191,21,503464,283,2942,1.44132e+06,65,1282,0
Invariant property smplace_1612 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1612,6.22427e+279,9.84804,252724,191,21,503464,283,2943,1.44132e+06,65,1282,0
Invariant property smplace_1619 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1619,6.22427e+279,9.84824,252724,193,21,503464,283,2944,1.44132e+06,65,1282,0
Invariant property smplace_1621 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1621,2.48971e+279,9.84844,252724,194,23,503464,283,2945,1.44132e+06,65,1282,0
Invariant property smplace_1622 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1622,2.48971e+279,9.84863,252724,194,24,503464,283,2946,1.44132e+06,65,1282,0
Invariant property smplace_1623 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1623,4.97942e+279,9.84884,252724,194,23,503464,283,2947,1.44132e+06,65,1282,0
Invariant property smplace_1624 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1624,4.97942e+279,9.84903,252724,194,22,503464,283,2948,1.44132e+06,65,1282,0
Invariant property smplace_1626 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1626,6.22427e+279,9.84924,252724,190,21,503464,283,2949,1.44132e+06,65,1282,0
Invariant property smplace_1629 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1629,6.22427e+279,9.84943,252724,193,21,503464,283,2950,1.44132e+06,65,1282,0
Invariant property smplace_1631 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1631,6.22427e+279,9.84963,252724,192,21,503464,283,2951,1.44132e+06,65,1282,0
Invariant property smplace_1638 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1638,6.22427e+279,9.84983,252724,196,21,503464,283,2952,1.44132e+06,65,1282,0
Invariant property smplace_1640 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1640,2.48971e+279,9.85003,252724,195,23,503464,283,2953,1.44132e+06,65,1282,0
Invariant property smplace_1641 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1641,2.48971e+279,9.85022,252724,195,24,503464,283,2954,1.44132e+06,65,1282,0
Invariant property smplace_1642 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1642,4.97942e+279,9.85046,252724,195,23,503464,283,2955,1.44132e+06,65,1282,0
Invariant property smplace_1643 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1643,4.97942e+279,9.85066,252724,195,22,503464,283,2956,1.44132e+06,65,1282,0
Invariant property smplace_1645 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1645,6.22427e+279,9.85085,252724,192,21,503464,283,2957,1.44132e+06,65,1282,0
Invariant property smplace_1648 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1648,6.22427e+279,9.85105,252724,194,21,503464,283,2958,1.44132e+06,65,1282,0
Invariant property smplace_1650 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1650,6.22427e+279,9.85125,252724,195,21,503464,283,2959,1.44132e+06,65,1282,0
Invariant property smplace_1657 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1657,6.22427e+279,9.85145,252724,195,21,503464,283,2960,1.44132e+06,65,1282,0
Invariant property smplace_1659 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1659,2.48971e+279,9.85165,252724,194,23,503464,283,2961,1.44132e+06,65,1282,0
Invariant property smplace_1660 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1660,2.48971e+279,9.85185,252724,194,24,503464,283,2962,1.44132e+06,65,1282,0
Invariant property smplace_1661 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1661,4.97942e+279,9.85204,252724,194,23,503464,283,2963,1.44132e+06,65,1282,0
Invariant property smplace_1662 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1662,4.97942e+279,9.85223,252724,194,22,503464,283,2964,1.44132e+06,65,1282,0
Invariant property smplace_1664 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1664,6.22427e+279,9.85242,252724,193,21,503464,283,2965,1.44132e+06,65,1282,0
Invariant property smplace_1667 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1667,6.22427e+279,9.85262,252724,193,21,503464,283,2966,1.44132e+06,65,1282,0
Invariant property smplace_1669 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1669,6.22427e+279,9.85282,252724,194,21,503464,283,2967,1.44132e+06,65,1282,0
Invariant property smplace_1678 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1678,2.48971e+279,9.85301,252724,192,23,503464,283,2968,1.44132e+06,65,1282,0
Invariant property smplace_1679 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1679,2.48971e+279,9.8532,252724,192,24,503464,283,2969,1.44132e+06,65,1282,0
Invariant property smplace_1680 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1680,4.97942e+279,9.85339,252724,192,23,503464,283,2970,1.44132e+06,65,1282,0
Invariant property smplace_1681 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1681,4.97942e+279,9.85358,252724,192,22,503464,283,2971,1.44132e+06,65,1282,0
Invariant property smplace_1683 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1683,6.22427e+279,9.85378,252724,192,21,503464,283,2972,1.44132e+06,65,1282,0
Invariant property smplace_1686 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1686,6.22427e+279,9.85397,252724,191,21,503464,283,2973,1.44132e+06,65,1282,0
Invariant property smplace_1702 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1702,6.22427e+279,9.85416,252724,190,21,503464,283,2974,1.44132e+06,65,1282,0
Invariant property smplace_1740 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1740,6.22427e+279,9.85437,252724,190,21,503464,283,2977,1.44132e+06,65,1282,0
Invariant property smplace_1759 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1759,1.24485e+279,9.85457,252724,196,21,503464,283,2979,1.44132e+06,65,1282,0
Able to resolve query StableMarking after proving 1101 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK MARKED_SUFFIX_TEST DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL USE_NUPN

BK_STOP 1653033082528

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution StableMarking -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 StableMarking -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is ShieldIIPt-PT-100A, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r234-tall-165286038000213"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-100A.tgz
mv ShieldIIPt-PT-100A execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;