MCC'2021- Execution of r223-tall-162098216100313

About the Execution of ITS-Tools for ShieldIIPt-PT-100A

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
671.100	54981.00	69629.00	383.30	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/mcc2021-input.r223-tall-162098216100313.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ShieldIIPt-PT-100A, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r223-tall-162098216100313
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 884K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 12:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 12:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 18:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 539K May 5 16:52 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1621071826961

Running Version 0
[2021-05-15 09:43:48] [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]
[2021-05-15 09:43:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-15 09:43:49] [INFO ] Load time of PNML (sax parser for PT used): 145 ms
[2021-05-15 09:43:49] [INFO ] Transformed 1903 places.
[2021-05-15 09:43:49] [INFO ] Transformed 1403 transitions.
[2021-05-15 09:43:49] [INFO ] Found NUPN structural information;
[2021-05-15 09:43:49] [INFO ] Parsed PT model containing 1903 places and 1403 transitions in 274 ms.
Structural test allowed to assert that 803 places are NOT stable. Took 17 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 869 ms. (steps per millisecond=11 ) properties (out of 1100) seen :128
Running SMT prover for 972 properties.
// Phase 1: matrix 1402 rows 1903 cols
[2021-05-15 09:43:50] [INFO ] Computed 901 place invariants in 25 ms
[2021-05-15 09:44:15] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 972 Parikh solutions to 1 different solutions.
Support contains 972 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 7 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 11 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 534 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.
[2021-05-15 09:44:16] [INFO ] Flatten gal took : 155 ms
[2021-05-15 09:44:16] [INFO ] Flatten gal took : 92 ms
[2021-05-15 09:44:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17800948682999255389.gal : 55 ms
[2021-05-15 09:44:16] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17751283399669733164.prop : 4 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17800948682999255389.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17751283399669733164.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/ReachabilityCardinality17800948682999255389.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17751283399669733164.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17751283399669733164.prop.
SDD proceeding with computation,972 properties remain. new max is 4
SDD size :2 after 7
SDD proceeding with computation,972 properties remain. new max is 8
SDD size :7 after 14
SDD proceeding with computation,972 properties remain. new max is 16
SDD size :14 after 28
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,963 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,938 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,912 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,887 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,861 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,836 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,810 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,785 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,759 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,734 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,715 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,708 properties remain. new max is 16
SDD size :302 after 356
SDD proceeding with computation,708 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,703 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,700 properties remain. new max is 32
SDD size :1903 after 5548
Detected timeout of ITS tools.
[2021-05-15 09:44:31] [INFO ] Flatten gal took : 85 ms
[2021-05-15 09:44:31] [INFO ] Applying decomposition
[2021-05-15 09:44:31] [INFO ] Flatten gal took : 68 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/graph3338176541249226774.txt, -o, /tmp/graph3338176541249226774.bin, -w, /tmp/graph3338176541249226774.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/graph3338176541249226774.bin, -l, -1, -v, -w, /tmp/graph3338176541249226774.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-15 09:44:32] [INFO ] Decomposing Gal with order
[2021-05-15 09:44:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 09:44:32] [INFO ] Removed a total of 308 redundant transitions.
[2021-05-15 09:44:32] [INFO ] Flatten gal took : 144 ms
[2021-05-15 09:44:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 16 ms.
[2021-05-15 09:44:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5110068588654331936.gal : 24 ms
[2021-05-15 09:44:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality800831047643529631.prop : 4 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5110068588654331936.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality800831047643529631.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/ReachabilityCardinality5110068588654331936.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality800831047643529631.prop --nowitness
Loading property file /tmp/ReachabilityCardinality800831047643529631.prop.
SDD proceeding with computation,700 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,700 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,700 properties remain. new max is 16
SDD size :1 after 15432
SDD proceeding with computation,700 properties remain. new max is 32
SDD size :15432 after 41060
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,7.73836,218800,203,22,458861,381,2107,1.0961e+06,59,1609,0
Total reachable state count : 1.244854670664297887532242184046015950484e+280

Verifying 700 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,7.75175,218800,210,22,458861,381,2112,1.0961e+06,62,1609,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,7.75219,218800,211,25,458861,381,2115,1.0961e+06,62,1609,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,7.75256,218800,211,25,458861,381,2120,1.0961e+06,64,1609,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,7.7529,218800,211,24,458861,381,2125,1.0961e+06,66,1609,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,7.75337,218800,211,23,458861,381,2130,1.0961e+06,68,1609,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,7.75372,218800,206,22,458861,381,2134,1.0961e+06,68,1609,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,7.75403,218800,209,22,458861,381,2139,1.0961e+06,70,1609,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,7.75439,218800,210,22,458861,381,2143,1.0961e+06,70,1609,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,7.75493,218800,208,22,458861,381,2146,1.0961e+06,70,1609,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,7.75526,218800,209,25,458861,381,2148,1.0961e+06,70,1609,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,7.75558,218800,209,25,458861,381,2151,1.0961e+06,70,1609,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,7.7559,218800,209,24,458861,381,2154,1.0961e+06,70,1609,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,7.75638,218800,209,23,458861,381,2157,1.0961e+06,70,1609,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,7.7567,218800,208,22,458861,381,2159,1.0961e+06,70,1609,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,7.75697,218800,210,22,458861,381,2162,1.0961e+06,70,1609,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,7.75725,218800,208,22,458861,381,2165,1.0961e+06,70,1609,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,7.75751,218800,210,22,458861,381,2166,1.0961e+06,70,1609,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,7.75777,218800,211,25,458861,381,2167,1.0961e+06,70,1609,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,7.75804,218800,211,25,458861,381,2168,1.0961e+06,70,1609,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,7.75832,218800,211,24,458861,381,2169,1.0961e+06,70,1609,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,7.75867,218800,211,23,458861,381,2170,1.0961e+06,70,1609,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,7.75897,218800,209,22,458861,381,2173,1.0961e+06,70,1609,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,7.75925,218800,209,22,458861,381,2174,1.0961e+06,70,1609,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,7.75952,218800,210,22,458861,381,2175,1.0961e+06,70,1609,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,7.7598,218800,210,22,458861,381,2177,1.0961e+06,70,1609,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,7.76008,218800,209,25,458861,381,2178,1.0961e+06,70,1609,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,7.76072,218800,209,25,458861,381,2179,1.0961e+06,70,1609,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,7.761,218800,209,24,458861,381,2180,1.0961e+06,70,1609,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,7.76126,218800,209,23,458861,381,2181,1.0961e+06,70,1609,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,7.76151,218800,208,22,458861,381,2182,1.0961e+06,70,1609,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,7.76177,218800,208,22,458861,381,2183,1.0961e+06,70,1609,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,7.76245,218800,209,22,458861,381,2185,1.0961e+06,70,1609,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,7.76273,218800,212,22,458861,381,2188,1.0961e+06,70,1609,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,7.76299,218800,211,25,458861,381,2189,1.0961e+06,70,1609,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,7.76326,218800,211,25,458861,381,2190,1.0961e+06,70,1609,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,7.76351,218800,211,24,458861,381,2191,1.0961e+06,70,1609,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,7.76378,218800,211,23,458861,381,2192,1.0961e+06,70,1609,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,7.76407,218800,207,22,458861,381,2196,1.0961e+06,70,1609,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,7.76434,218800,210,22,458861,381,2197,1.0961e+06,70,1609,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,7.76461,218800,211,22,458861,381,2200,1.0961e+06,70,1609,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,7.76489,218800,210,22,458861,381,2201,1.0961e+06,70,1609,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,7.76514,218800,209,25,458861,381,2202,1.0961e+06,70,1609,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,7.7654,218800,209,25,458861,381,2203,1.0961e+06,70,1609,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,7.76566,218800,209,24,458861,381,2204,1.0961e+06,70,1609,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,7.76591,218800,209,23,458861,381,2205,1.0961e+06,70,1609,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,7.76617,218800,209,22,458861,381,2208,1.0961e+06,70,1609,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,7.76644,218800,208,22,458861,381,2209,1.0961e+06,70,1609,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,7.7667,218800,209,22,458861,381,2210,1.0961e+06,70,1609,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,7.76696,218800,210,22,458861,381,2211,1.0961e+06,70,1609,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,7.76723,218800,209,25,458861,381,2212,1.0961e+06,70,1609,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,7.7675,218800,209,25,458861,381,2214,1.0961e+06,70,1609,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,7.76776,218800,209,24,458861,381,2216,1.0961e+06,70,1609,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,7.76807,218800,209,23,458861,381,2218,1.0961e+06,70,1609,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,7.76837,218800,207,22,458861,381,2219,1.0961e+06,70,1609,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,7.76865,218800,208,22,458861,381,2220,1.0961e+06,70,1609,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,7.76891,218800,208,22,458861,381,2222,1.0961e+06,70,1609,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,7.76918,218800,210,22,458861,381,2224,1.0961e+06,70,1609,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,7.76944,218800,208,25,458861,381,2225,1.0961e+06,70,1609,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,7.76971,218800,208,25,458861,381,2226,1.0961e+06,70,1609,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,7.76998,218800,208,24,458861,381,2227,1.0961e+06,70,1609,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,7.77026,218800,208,23,458861,381,2228,1.0961e+06,70,1609,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,7.7706,218800,207,22,458861,381,2229,1.0961e+06,70,1609,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,7.7709,218800,207,22,458861,381,2230,1.0961e+06,70,1609,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,7.77118,218800,209,22,458861,381,2232,1.0961e+06,70,1609,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,7.77223,218800,213,22,458861,381,2233,1.0961e+06,70,1609,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,7.77252,218800,211,25,458861,381,2234,1.0961e+06,70,1609,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,7.7728,218800,211,25,458861,381,2235,1.0961e+06,70,1609,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,7.77308,218800,211,24,458861,381,2236,1.0961e+06,70,1609,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,7.77336,218800,211,23,458861,381,2237,1.0961e+06,70,1609,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,7.77447,218800,206,22,458861,381,2238,1.0961e+06,70,1609,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,7.77478,218800,212,22,458861,381,2240,1.0961e+06,70,1609,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,7.77503,218800,210,22,458861,381,2241,1.0961e+06,70,1609,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,7.77528,218800,211,22,458861,381,2242,1.0961e+06,70,1609,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,7.77554,218800,210,25,458861,381,2243,1.0961e+06,70,1609,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,7.77585,218800,210,25,458861,381,2244,1.0961e+06,70,1609,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,7.7761,218800,210,24,458861,381,2245,1.0961e+06,70,1609,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,7.77635,218800,210,23,458861,381,2246,1.0961e+06,70,1609,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,7.77661,218800,211,22,458861,381,2248,1.0961e+06,70,1609,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,7.77685,218800,209,22,458861,381,2250,1.0961e+06,70,1609,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,7.7771,218800,209,22,458861,381,2251,1.0961e+06,70,1609,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,7.77735,218800,209,22,458861,381,2253,1.0961e+06,70,1609,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,7.77759,218800,210,25,458861,381,2255,1.0961e+06,70,1609,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,7.77783,218800,210,25,458861,381,2257,1.0961e+06,70,1609,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,7.77808,218800,210,24,458861,381,2259,1.0961e+06,70,1609,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,7.77833,218800,210,23,458861,381,2261,1.0961e+06,70,1609,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,7.77859,218800,208,22,458861,381,2262,1.0961e+06,70,1609,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,7.77883,218800,208,22,458861,381,2264,1.0961e+06,70,1609,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,7.77968,218800,209,22,458861,381,2266,1.0961e+06,70,1609,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,7.78129,218800,211,22,458861,381,2267,1.0961e+06,70,1609,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,7.78199,218800,210,25,458861,381,2268,1.0961e+06,70,1609,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,7.78271,218800,210,25,458861,381,2269,1.0961e+06,70,1609,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,7.78336,218800,210,24,458861,381,2270,1.0961e+06,70,1609,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,7.78372,218800,210,23,458861,381,2271,1.0961e+06,70,1609,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,7.78402,218800,207,22,458861,381,2273,1.0961e+06,70,1609,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,7.7843,218800,208,22,458861,381,2274,1.0961e+06,70,1609,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,7.78456,218800,209,22,458861,381,2275,1.0961e+06,70,1609,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,7.78483,218800,210,22,458861,381,2276,1.0961e+06,70,1609,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,7.78512,218800,207,25,458861,381,2279,1.0961e+06,70,1609,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,7.78539,218800,207,25,458861,381,2283,1.0961e+06,70,1609,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,7.78566,218800,207,24,458861,381,2287,1.0961e+06,70,1609,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,7.78592,218800,207,23,458861,381,2291,1.0961e+06,70,1609,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,7.78619,218800,207,22,458861,381,2292,1.0961e+06,70,1609,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,7.78646,218800,208,22,458861,381,2293,1.0961e+06,70,1609,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,7.78672,218800,209,22,458861,381,2294,1.0961e+06,70,1609,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,7.787,218800,211,22,458861,381,2295,1.0961e+06,70,1609,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,7.78728,218800,210,25,458861,381,2296,1.0961e+06,70,1609,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,7.78754,218800,210,25,458861,381,2297,1.0961e+06,70,1609,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,7.78781,218800,210,24,458861,381,2298,1.0961e+06,70,1609,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,7.78808,218800,210,23,458861,381,2299,1.0961e+06,70,1609,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,7.78835,218800,207,22,458861,381,2300,1.0961e+06,70,1609,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,7.78862,218800,209,22,458861,381,2301,1.0961e+06,70,1609,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,7.78889,218800,210,22,458861,381,2302,1.0961e+06,70,1609,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,7.78915,218800,209,22,458861,381,2303,1.0961e+06,70,1609,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,7.78944,218800,210,25,458861,381,2304,1.0961e+06,70,1609,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,7.80947,218800,210,25,458861,381,2306,1.0961e+06,70,1609,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,7.80996,218800,210,24,458861,381,2308,1.0961e+06,70,1609,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,7.8103,218800,210,23,458861,381,2310,1.0961e+06,70,1609,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,7.8106,218800,208,22,458861,381,2312,1.0961e+06,70,1609,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,7.81092,218800,211,22,458861,381,2315,1.0961e+06,70,1609,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,7.81121,218800,209,22,458861,381,2316,1.0961e+06,70,1609,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,7.81151,218800,218,22,458861,381,2317,1.0961e+06,70,1609,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,7.81182,218800,217,25,458861,381,2319,1.0961e+06,70,1609,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,7.81212,218800,217,25,458861,381,2321,1.0961e+06,70,1609,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,7.81241,218800,217,24,458861,381,2323,1.0961e+06,70,1609,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,7.81271,218800,217,23,458861,381,2325,1.0961e+06,70,1609,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,7.81301,218800,210,22,458861,381,2328,1.0961e+06,70,1609,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,7.81333,218800,215,22,458861,381,2330,1.0961e+06,70,1609,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,7.81364,218800,219,22,458861,381,2331,1.0961e+06,70,1609,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,7.81393,218800,209,22,458861,381,2333,1.0961e+06,70,1609,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,7.81422,218800,208,25,458861,381,2335,1.0961e+06,70,1609,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,7.8145,218800,208,25,458861,381,2337,1.0961e+06,70,1609,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,7.81478,218800,208,24,458861,381,2339,1.0961e+06,70,1609,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,7.81505,218800,208,23,458861,381,2341,1.0961e+06,70,1609,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,7.81534,218800,212,22,458861,381,2343,1.0961e+06,70,1609,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,7.81561,218800,206,22,458861,381,2345,1.0961e+06,70,1609,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,7.8159,218800,210,22,458861,381,2347,1.0961e+06,70,1609,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,7.81617,218800,210,22,458861,381,2348,1.0961e+06,70,1609,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,7.81645,218800,211,25,458861,381,2349,1.0961e+06,70,1609,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,7.81672,218800,211,25,458861,381,2350,1.0961e+06,70,1609,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,7.81701,218800,211,24,458861,381,2351,1.0961e+06,70,1609,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,7.8173,218800,211,23,458861,381,2352,1.0961e+06,70,1609,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,7.81758,218800,205,22,458861,381,2354,1.0961e+06,70,1609,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,7.81785,218800,209,22,458861,381,2355,1.0961e+06,70,1609,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,7.81813,218800,210,22,458861,381,2356,1.0961e+06,70,1609,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,7.8204,218800,210,22,458861,381,2358,1.0961e+06,70,1609,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,7.82069,218800,209,25,458861,381,2359,1.0961e+06,70,1609,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,7.82095,218800,209,25,458861,381,2360,1.0961e+06,70,1609,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,7.82121,218800,209,24,458861,381,2361,1.0961e+06,70,1609,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,7.82152,218800,209,23,458861,381,2362,1.0961e+06,70,1609,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,7.8218,218800,208,22,458861,381,2363,1.0961e+06,70,1609,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,7.82313,218800,207,22,458861,381,2364,1.0961e+06,70,1609,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,7.82341,218800,208,22,458861,381,2365,1.0961e+06,70,1609,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,7.82366,218800,210,22,458861,381,2366,1.0961e+06,70,1609,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,7.82391,218800,209,25,458861,381,2367,1.0961e+06,70,1609,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,7.82417,218800,209,25,458861,381,2368,1.0961e+06,70,1609,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,7.82442,218800,209,24,458861,381,2369,1.0961e+06,70,1609,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,7.82468,218800,209,23,458861,381,2370,1.0961e+06,70,1609,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,7.82493,218800,206,22,458861,381,2371,1.0961e+06,70,1609,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,7.82518,218800,208,22,458861,381,2372,1.0961e+06,70,1609,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,7.82546,218800,208,22,458861,381,2373,1.0961e+06,70,1609,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,7.82572,218800,208,22,458861,381,2374,1.0961e+06,70,1609,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,7.82599,218800,209,25,458861,381,2375,1.0961e+06,70,1609,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,7.82625,218800,209,25,458861,381,2376,1.0961e+06,70,1609,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,7.8265,218800,209,24,458861,381,2377,1.0961e+06,70,1609,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,7.82675,218800,209,23,458861,381,2378,1.0961e+06,70,1609,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,7.82702,218800,207,22,458861,381,2379,1.0961e+06,70,1609,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,7.82728,218800,208,22,458861,381,2380,1.0961e+06,70,1609,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,7.82755,218800,207,22,458861,381,2381,1.0961e+06,70,1609,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,7.8278,218800,210,22,458861,381,2384,1.0961e+06,70,1609,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,7.82805,218800,209,25,458861,381,2387,1.0961e+06,70,1609,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,7.82831,218800,209,25,458861,381,2390,1.0961e+06,70,1609,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,7.82857,218800,209,24,458861,381,2393,1.0961e+06,70,1609,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,7.82884,218800,209,23,458861,381,2396,1.0961e+06,70,1609,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,7.82909,218800,207,22,458861,381,2397,1.0961e+06,70,1609,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,7.82937,218800,207,22,458861,381,2400,1.0961e+06,70,1609,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,7.82964,218800,211,22,458861,381,2403,1.0961e+06,70,1609,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,7.8299,218800,210,22,458861,381,2404,1.0961e+06,70,1609,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,7.83015,218800,207,25,458861,381,2405,1.0961e+06,70,1609,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,7.8304,218800,207,25,458861,381,2406,1.0961e+06,70,1609,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,7.83064,218800,207,24,458861,381,2407,1.0961e+06,70,1609,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,7.83088,218800,207,23,458861,381,2408,1.0961e+06,70,1609,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,7.83114,218800,205,22,458861,381,2412,1.0961e+06,70,1609,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,7.83139,218800,208,22,458861,381,2413,1.0961e+06,70,1609,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,7.83164,218800,209,22,458861,381,2414,1.0961e+06,70,1609,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,7.83189,218800,218,22,458861,381,2415,1.0961e+06,70,1609,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,7.83213,218800,217,25,458861,381,2416,1.0961e+06,70,1609,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,7.83237,218800,217,25,458861,381,2417,1.0961e+06,70,1609,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,7.83261,218800,217,24,458861,381,2418,1.0961e+06,70,1609,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,7.83286,218800,217,23,458861,381,2419,1.0961e+06,70,1609,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,7.83312,218800,207,22,458861,381,2420,1.0961e+06,70,1609,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,7.83339,218800,215,22,458861,381,2421,1.0961e+06,70,1609,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,7.83365,218800,219,22,458861,381,2422,1.0961e+06,70,1609,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,7.83389,218800,209,22,458861,381,2423,1.0961e+06,70,1609,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,7.83414,218800,208,25,458861,381,2424,1.0961e+06,70,1609,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,7.83438,218800,208,25,458861,381,2425,1.0961e+06,70,1609,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,7.83463,218800,208,24,458861,381,2426,1.0961e+06,70,1609,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,7.83487,218800,208,23,458861,381,2427,1.0961e+06,70,1609,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,7.83512,218800,212,22,458861,381,2428,1.0961e+06,70,1609,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,7.83536,218800,206,22,458861,381,2429,1.0961e+06,70,1609,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,7.83562,218800,210,22,458861,381,2430,1.0961e+06,70,1609,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,7.83588,218800,210,22,458861,381,2431,1.0961e+06,70,1609,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,7.83614,218800,208,25,458861,381,2432,1.0961e+06,70,1609,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,7.83639,218800,208,25,458861,381,2435,1.0961e+06,70,1609,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,7.83664,218800,208,24,458861,381,2438,1.0961e+06,70,1609,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,7.83691,218800,208,23,458861,381,2441,1.0961e+06,70,1609,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,7.83715,218800,205,22,458861,381,2442,1.0961e+06,70,1609,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,7.83745,218800,207,22,458861,381,2445,1.0961e+06,70,1609,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,7.83771,218800,209,22,458861,381,2446,1.0961e+06,70,1609,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,7.83797,218800,210,22,458861,381,2447,1.0961e+06,70,1609,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,7.83821,218800,208,25,458861,381,2448,1.0961e+06,70,1609,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,7.83847,218800,208,25,458861,381,2449,1.0961e+06,70,1609,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,7.83872,218800,208,24,458861,381,2450,1.0961e+06,70,1609,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,7.83896,218800,208,23,458861,381,2451,1.0961e+06,70,1609,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,7.83922,218800,206,22,458861,381,2453,1.0961e+06,70,1609,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,7.83947,218800,209,22,458861,381,2454,1.0961e+06,70,1609,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,7.83972,218800,207,22,458861,381,2455,1.0961e+06,70,1609,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,7.83998,218800,209,22,458861,381,2456,1.0961e+06,70,1609,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,7.84023,218800,208,25,458861,381,2457,1.0961e+06,70,1609,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,7.84049,218800,208,25,458861,381,2459,1.0961e+06,70,1609,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,7.84073,218800,208,24,458861,381,2461,1.0961e+06,70,1609,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,7.84097,218800,208,23,458861,381,2463,1.0961e+06,70,1609,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,7.84123,218800,208,22,458861,381,2464,1.0961e+06,70,1609,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,7.84152,218800,207,22,458861,381,2466,1.0961e+06,70,1609,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,7.84177,218800,208,22,458861,381,2467,1.0961e+06,70,1609,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,7.84202,218800,209,22,458861,381,2468,1.0961e+06,70,1609,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,7.84228,218800,210,25,458861,381,2469,1.0961e+06,70,1609,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,7.84253,218800,210,25,458861,381,2470,1.0961e+06,70,1609,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,7.84277,218800,210,24,458861,381,2471,1.0961e+06,70,1609,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,7.84301,218800,210,23,458861,381,2472,1.0961e+06,70,1609,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,7.84326,218800,206,22,458861,381,2474,1.0961e+06,70,1609,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,7.84351,218800,209,22,458861,381,2475,1.0961e+06,70,1609,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,7.84377,218800,208,22,458861,381,2476,1.0961e+06,70,1609,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,7.84402,218800,209,22,458861,381,2477,1.0961e+06,70,1609,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,7.84427,218800,208,25,458861,381,2478,1.0961e+06,70,1609,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,7.84452,218800,208,25,458861,381,2479,1.0961e+06,70,1609,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,7.84477,218800,208,24,458861,381,2480,1.0961e+06,70,1609,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,7.84502,218800,208,23,458861,381,2481,1.0961e+06,70,1609,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,7.84528,218800,208,22,458861,381,2482,1.0961e+06,70,1609,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,7.84556,218800,207,22,458861,381,2483,1.0961e+06,70,1609,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,7.84582,218800,208,22,458861,381,2484,1.0961e+06,70,1609,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,7.84607,218800,212,22,458861,381,2485,1.0961e+06,70,1609,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,7.84631,218800,211,25,458861,381,2486,1.0961e+06,70,1609,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,7.84656,218800,211,25,458861,381,2487,1.0961e+06,70,1609,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,7.8468,218800,211,24,458861,381,2488,1.0961e+06,70,1609,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,7.84705,218800,211,23,458861,381,2489,1.0961e+06,70,1609,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,7.84729,218800,206,22,458861,381,2490,1.0961e+06,70,1609,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,7.84753,218800,210,22,458861,381,2491,1.0961e+06,70,1609,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,7.84778,218800,211,22,458861,381,2492,1.0961e+06,70,1609,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,7.84802,218800,210,22,458861,381,2493,1.0961e+06,70,1609,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,7.84826,218800,209,25,458861,381,2494,1.0961e+06,70,1609,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,7.84851,218800,209,25,458861,381,2495,1.0961e+06,70,1609,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,7.84877,218800,209,24,458861,381,2496,1.0961e+06,70,1609,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,7.84902,218800,209,23,458861,381,2497,1.0961e+06,70,1609,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,7.84927,218800,209,22,458861,381,2498,1.0961e+06,70,1609,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,7.84952,218800,208,22,458861,381,2499,1.0961e+06,70,1609,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,7.84978,218800,209,22,458861,381,2500,1.0961e+06,70,1609,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,7.85004,218800,211,22,458861,381,2501,1.0961e+06,70,1609,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,7.8503,218800,209,25,458861,381,2502,1.0961e+06,70,1609,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,7.85054,218800,209,25,458861,381,2503,1.0961e+06,70,1609,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,7.85078,218800,209,24,458861,381,2504,1.0961e+06,70,1609,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,7.85102,218800,209,23,458861,381,2505,1.0961e+06,70,1609,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,7.85125,218800,207,22,458861,381,2506,1.0961e+06,70,1609,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,7.85151,218800,208,22,458861,381,2507,1.0961e+06,70,1609,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,7.85176,218800,210,22,458861,381,2508,1.0961e+06,70,1609,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,7.85201,218800,210,22,458861,381,2509,1.0961e+06,70,1609,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,7.85226,218800,209,25,458861,381,2510,1.0961e+06,70,1609,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,7.8525,218800,209,25,458861,381,2511,1.0961e+06,70,1609,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,7.85276,218800,209,24,458861,381,2512,1.0961e+06,70,1609,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,7.85301,218800,209,23,458861,381,2513,1.0961e+06,70,1609,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,7.85326,218800,207,22,458861,381,2514,1.0961e+06,70,1609,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,7.85352,218800,207,22,458861,381,2515,1.0961e+06,70,1609,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,7.85377,218800,208,22,458861,381,2516,1.0961e+06,70,1609,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,7.85401,218800,218,22,458861,381,2517,1.0961e+06,70,1609,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,7.85427,218800,217,25,458861,381,2518,1.0961e+06,70,1609,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,7.85451,218800,217,25,458861,381,2519,1.0961e+06,70,1609,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,7.85475,218800,217,24,458861,381,2520,1.0961e+06,70,1609,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,7.85499,218800,217,23,458861,381,2521,1.0961e+06,70,1609,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,7.85524,218800,206,22,458861,381,2522,1.0961e+06,70,1609,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,7.85553,218800,215,22,458861,381,2523,1.0961e+06,70,1609,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,7.85579,218800,219,22,458861,381,2524,1.0961e+06,70,1609,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,7.85604,218800,209,22,458861,381,2525,1.0961e+06,70,1609,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,7.8563,218800,208,25,458861,381,2526,1.0961e+06,70,1609,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,7.85654,218800,208,25,458861,381,2527,1.0961e+06,70,1609,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,7.85678,218800,208,24,458861,381,2528,1.0961e+06,70,1609,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,7.85702,218800,208,23,458861,381,2529,1.0961e+06,70,1609,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,7.85726,218800,212,22,458861,381,2530,1.0961e+06,70,1609,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,7.85752,218800,206,22,458861,381,2531,1.0961e+06,70,1609,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,7.85778,218800,210,22,458861,381,2532,1.0961e+06,70,1609,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,7.85804,218800,210,22,458861,381,2533,1.0961e+06,70,1609,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,7.8583,218800,211,25,458861,381,2534,1.0961e+06,70,1609,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,7.85856,218800,211,25,458861,381,2535,1.0961e+06,70,1609,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,7.8588,218800,211,24,458861,381,2536,1.0961e+06,70,1609,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,7.85906,218800,211,23,458861,381,2537,1.0961e+06,70,1609,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,7.8593,218800,205,22,458861,381,2538,1.0961e+06,70,1609,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,7.85954,218800,209,22,458861,381,2539,1.0961e+06,70,1609,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,7.8598,218800,210,22,458861,381,2540,1.0961e+06,70,1609,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,7.86006,218800,211,22,458861,381,2541,1.0961e+06,70,1609,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,7.86032,218800,210,25,458861,381,2542,1.0961e+06,70,1609,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,7.86057,218800,210,25,458861,381,2543,1.0961e+06,70,1609,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,7.86083,218800,210,24,458861,381,2544,1.0961e+06,70,1609,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,7.86107,218800,210,23,458861,381,2545,1.0961e+06,70,1609,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,7.86136,218800,208,22,458861,381,2546,1.0961e+06,70,1609,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,7.86162,218800,209,22,458861,381,2548,1.0961e+06,70,1609,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,7.86187,218800,209,22,458861,381,2549,1.0961e+06,70,1609,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,7.86211,218800,210,22,458861,381,2550,1.0961e+06,70,1609,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,7.86238,218800,211,25,458861,381,2551,1.0961e+06,70,1609,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,7.86262,218800,211,25,458861,381,2552,1.0961e+06,70,1609,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,7.86286,218800,211,24,458861,381,2553,1.0961e+06,70,1609,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,7.8631,218800,211,23,458861,381,2554,1.0961e+06,70,1609,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,7.86336,218800,208,22,458861,381,2555,1.0961e+06,70,1609,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,7.86362,218800,209,22,458861,381,2556,1.0961e+06,70,1609,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,7.86388,218800,210,22,458861,381,2557,1.0961e+06,70,1609,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,7.86414,218800,210,22,458861,381,2558,1.0961e+06,70,1609,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,7.86439,218800,209,25,458861,381,2559,1.0961e+06,70,1609,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,7.86465,218800,209,25,458861,381,2560,1.0961e+06,70,1609,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,7.86489,218800,209,24,458861,381,2561,1.0961e+06,70,1609,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,7.86515,218800,209,23,458861,381,2562,1.0961e+06,70,1609,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,7.86541,218800,208,22,458861,381,2563,1.0961e+06,70,1609,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,7.86566,218800,208,22,458861,381,2564,1.0961e+06,70,1609,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,7.8659,218800,209,22,458861,381,2565,1.0961e+06,70,1609,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,7.86615,218800,210,22,458861,381,2566,1.0961e+06,70,1609,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,7.86642,218800,211,25,458861,381,2567,1.0961e+06,70,1609,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,7.86668,218800,211,25,458861,381,2570,1.0961e+06,70,1609,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,7.86694,218800,211,24,458861,381,2573,1.0961e+06,70,1609,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,7.8672,218800,211,23,458861,381,2576,1.0961e+06,70,1609,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,7.86745,218800,207,22,458861,381,2577,1.0961e+06,70,1609,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,7.86771,218800,210,22,458861,381,2578,1.0961e+06,70,1609,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,7.86796,218800,209,22,458861,381,2579,1.0961e+06,70,1609,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,7.86821,218800,209,22,458861,381,2580,1.0961e+06,70,1609,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,7.86845,218800,208,25,458861,381,2581,1.0961e+06,70,1609,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,7.8687,218800,208,25,458861,381,2582,1.0961e+06,70,1609,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,7.86895,218800,208,24,458861,381,2583,1.0961e+06,70,1609,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,7.8692,218800,208,23,458861,381,2584,1.0961e+06,70,1609,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,7.86948,218800,209,22,458861,381,2587,1.0961e+06,70,1609,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,7.86973,218800,207,22,458861,381,2588,1.0961e+06,70,1609,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,7.87,218800,207,22,458861,381,2589,1.0961e+06,70,1609,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,7.87024,218800,209,22,458861,381,2590,1.0961e+06,70,1609,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,7.87049,218800,208,25,458861,381,2591,1.0961e+06,70,1609,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,7.87075,218800,208,25,458861,381,2592,1.0961e+06,70,1609,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,7.87099,218800,208,24,458861,381,2593,1.0961e+06,70,1609,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,7.87123,218800,208,23,458861,381,2594,1.0961e+06,70,1609,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,7.87148,218800,206,22,458861,381,2595,1.0961e+06,70,1609,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,7.87174,218800,207,22,458861,381,2596,1.0961e+06,70,1609,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,7.87198,218800,208,22,458861,381,2597,1.0961e+06,70,1609,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,7.87223,218800,208,22,458861,381,2598,1.0961e+06,70,1609,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,7.8725,218800,207,25,458861,381,2599,1.0961e+06,70,1609,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,7.87277,218800,207,25,458861,381,2600,1.0961e+06,70,1609,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,7.87302,218800,207,24,458861,381,2601,1.0961e+06,70,1609,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,7.87328,218800,207,23,458861,381,2602,1.0961e+06,70,1609,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,7.87355,218800,206,22,458861,381,2603,1.0961e+06,70,1609,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,7.87379,218800,206,22,458861,381,2606,1.0961e+06,70,1609,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,7.87404,218800,206,22,458861,381,2607,1.0961e+06,70,1609,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,7.87429,218800,210,22,458861,381,2608,1.0961e+06,70,1609,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,7.87806,218800,209,25,458861,381,2609,1.0961e+06,70,1609,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,7.87835,218800,209,25,458861,381,2610,1.0961e+06,70,1609,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,7.87862,218800,209,24,458861,381,2611,1.0961e+06,70,1609,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,7.87887,218800,209,23,458861,381,2612,1.0961e+06,70,1609,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,7.87913,218800,205,22,458861,381,2615,1.0961e+06,70,1609,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,7.87939,218800,207,22,458861,381,2616,1.0961e+06,70,1609,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,7.87964,218800,211,22,458861,381,2617,1.0961e+06,70,1609,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,7.87988,218800,210,22,458861,381,2618,1.0961e+06,70,1609,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,7.88213,218800,209,25,458861,381,2619,1.0961e+06,70,1609,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,7.88242,218800,209,25,458861,381,2620,1.0961e+06,70,1609,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,7.88267,218800,209,24,458861,381,2621,1.0961e+06,70,1609,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,7.88292,218800,209,23,458861,381,2622,1.0961e+06,70,1609,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,7.88316,218800,205,22,458861,381,2623,1.0961e+06,70,1609,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,7.88341,218800,208,22,458861,381,2624,1.0961e+06,70,1609,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,7.88365,218800,208,22,458861,381,2625,1.0961e+06,70,1609,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,7.88389,218800,218,22,458861,381,2626,1.0961e+06,70,1609,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,7.88413,218800,217,25,458861,381,2627,1.0961e+06,70,1609,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,7.88438,218800,217,25,458861,381,2628,1.0961e+06,70,1609,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,7.88462,218800,217,24,458861,381,2629,1.0961e+06,70,1609,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,7.88488,218800,217,23,458861,381,2630,1.0961e+06,70,1609,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,7.88512,218800,207,22,458861,381,2631,1.0961e+06,70,1609,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,7.88542,218800,215,22,458861,381,2632,1.0961e+06,70,1609,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,7.88567,218800,219,22,458861,381,2633,1.0961e+06,70,1609,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,7.88592,218800,209,22,458861,381,2634,1.0961e+06,70,1609,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,7.88615,218800,208,25,458861,381,2635,1.0961e+06,70,1609,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,7.88638,218800,208,25,458861,381,2636,1.0961e+06,70,1609,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,7.8866,218800,208,24,458861,381,2637,1.0961e+06,70,1609,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,7.88685,218800,208,23,458861,381,2638,1.0961e+06,70,1609,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,7.88709,218800,212,22,458861,381,2639,1.0961e+06,70,1609,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,7.88733,218800,206,22,458861,381,2640,1.0961e+06,70,1609,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,7.88759,218800,210,22,458861,381,2641,1.0961e+06,70,1609,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,7.88783,218800,211,22,458861,381,2642,1.0961e+06,70,1609,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,7.88807,218800,210,25,458861,381,2643,1.0961e+06,70,1609,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,7.88831,218800,210,25,458861,381,2644,1.0961e+06,70,1609,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,7.88854,218800,210,24,458861,381,2645,1.0961e+06,70,1609,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,7.88878,218800,210,23,458861,381,2646,1.0961e+06,70,1609,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,7.88901,218800,205,22,458861,381,2647,1.0961e+06,70,1609,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,7.88925,218800,209,22,458861,381,2648,1.0961e+06,70,1609,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,7.88949,218800,209,22,458861,381,2649,1.0961e+06,70,1609,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,7.88973,218800,208,22,458861,381,2650,1.0961e+06,70,1609,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,7.88995,218800,209,25,458861,381,2651,1.0961e+06,70,1609,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,7.89019,218800,209,25,458861,381,2652,1.0961e+06,70,1609,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,7.89041,218800,209,24,458861,381,2653,1.0961e+06,70,1609,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,7.89065,218800,209,23,458861,381,2654,1.0961e+06,70,1609,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,7.89088,218800,208,22,458861,381,2655,1.0961e+06,70,1609,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,7.89112,218800,210,22,458861,381,2656,1.0961e+06,70,1609,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,7.89135,218800,208,22,458861,381,2657,1.0961e+06,70,1609,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,7.89159,218800,209,22,458861,381,2658,1.0961e+06,70,1609,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,7.89182,218800,210,25,458861,381,2659,1.0961e+06,70,1609,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,7.89206,218800,210,25,458861,381,2661,1.0961e+06,70,1609,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,7.89229,218800,210,24,458861,381,2663,1.0961e+06,70,1609,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,7.89252,218800,210,23,458861,381,2665,1.0961e+06,70,1609,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,7.89275,218800,209,22,458861,381,2666,1.0961e+06,70,1609,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,7.89298,218800,209,22,458861,381,2668,1.0961e+06,70,1609,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,7.89322,218800,208,22,458861,381,2669,1.0961e+06,70,1609,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,7.89346,218800,218,22,458861,381,2670,1.0961e+06,70,1609,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,7.89368,218800,217,25,458861,381,2671,1.0961e+06,70,1609,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,7.89391,218800,217,25,458861,381,2672,1.0961e+06,70,1609,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,7.89414,218800,217,24,458861,381,2673,1.0961e+06,70,1609,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,7.89436,218800,217,23,458861,381,2674,1.0961e+06,70,1609,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,7.89459,218800,208,22,458861,381,2676,1.0961e+06,70,1609,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,7.89481,218800,215,22,458861,381,2677,1.0961e+06,70,1609,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,7.89505,218800,219,22,458861,381,2678,1.0961e+06,70,1609,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,7.89527,218800,209,22,458861,381,2679,1.0961e+06,70,1609,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,7.8955,218800,208,25,458861,381,2680,1.0961e+06,70,1609,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,7.89572,218800,208,25,458861,381,2681,1.0961e+06,70,1609,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,7.89595,218800,208,24,458861,381,2682,1.0961e+06,70,1609,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,7.89617,218800,208,23,458861,381,2683,1.0961e+06,70,1609,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,7.89639,218800,212,22,458861,381,2684,1.0961e+06,70,1609,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,7.89661,218800,206,22,458861,381,2685,1.0961e+06,70,1609,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,7.89683,218800,210,22,458861,381,2686,1.0961e+06,70,1609,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,7.89707,218800,211,22,458861,381,2687,1.0961e+06,70,1609,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,7.89733,218800,209,25,458861,381,2688,1.0961e+06,70,1609,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,7.89758,218800,209,25,458861,381,2689,1.0961e+06,70,1609,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,7.89782,218800,209,24,458861,381,2690,1.0961e+06,70,1609,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,7.89806,218800,209,23,458861,381,2691,1.0961e+06,70,1609,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,7.89828,218800,205,22,458861,381,2692,1.0961e+06,70,1609,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,7.89851,218800,208,22,458861,381,2693,1.0961e+06,70,1609,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,7.89874,218800,210,22,458861,381,2694,1.0961e+06,70,1609,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,7.89897,218800,209,22,458861,381,2695,1.0961e+06,70,1609,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,7.89921,218800,210,25,458861,381,2696,1.0961e+06,70,1609,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,7.89945,218800,210,25,458861,381,2698,1.0961e+06,70,1609,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,7.89968,218800,210,24,458861,381,2700,1.0961e+06,70,1609,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,7.89992,218800,210,23,458861,381,2702,1.0961e+06,70,1609,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,7.90014,218800,207,22,458861,381,2703,1.0961e+06,70,1609,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,7.90038,218800,209,22,458861,381,2704,1.0961e+06,70,1609,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,7.90061,218800,208,22,458861,381,2705,1.0961e+06,70,1609,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,7.90084,218800,209,22,458861,381,2706,1.0961e+06,70,1609,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,7.90106,218800,208,25,458861,381,2707,1.0961e+06,70,1609,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,7.90131,218800,208,25,458861,381,2708,1.0961e+06,70,1609,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,7.90155,218800,208,24,458861,381,2709,1.0961e+06,70,1609,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,7.90177,218800,208,23,458861,381,2710,1.0961e+06,70,1609,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,7.90202,218800,208,22,458861,381,2712,1.0961e+06,70,1609,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,7.90224,218800,207,22,458861,381,2713,1.0961e+06,70,1609,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,7.90247,218800,208,22,458861,381,2714,1.0961e+06,70,1609,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,7.90269,218800,209,22,458861,381,2715,1.0961e+06,70,1609,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,7.90291,218800,210,25,458861,381,2716,1.0961e+06,70,1609,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,7.90315,218800,210,25,458861,381,2717,1.0961e+06,70,1609,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,7.90338,218800,210,24,458861,381,2718,1.0961e+06,70,1609,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,7.9036,218800,210,23,458861,381,2719,1.0961e+06,70,1609,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,7.90383,218800,206,22,458861,381,2720,1.0961e+06,70,1609,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,7.90406,218800,208,22,458861,381,2721,1.0961e+06,70,1609,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,7.90429,218800,209,22,458861,381,2722,1.0961e+06,70,1609,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,7.90451,218800,210,22,458861,381,2723,1.0961e+06,70,1609,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,7.90474,218800,208,25,458861,381,2724,1.0961e+06,70,1609,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,7.90497,218800,208,25,458861,381,2725,1.0961e+06,70,1609,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,7.9052,218800,208,24,458861,381,2726,1.0961e+06,70,1609,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,7.90545,218800,208,23,458861,381,2727,1.0961e+06,70,1609,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,7.90569,218800,207,22,458861,381,2728,1.0961e+06,70,1609,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,7.90592,218800,207,22,458861,381,2729,1.0961e+06,70,1609,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,7.90615,218800,209,22,458861,381,2730,1.0961e+06,70,1609,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,7.90638,218800,211,22,458861,381,2731,1.0961e+06,70,1609,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,7.90662,218800,210,25,458861,381,2732,1.0961e+06,70,1609,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,7.90685,218800,210,25,458861,381,2733,1.0961e+06,70,1609,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,7.90709,218800,210,24,458861,381,2734,1.0961e+06,70,1609,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,7.90732,218800,210,23,458861,381,2735,1.0961e+06,70,1609,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,7.90757,218800,206,22,458861,381,2736,1.0961e+06,70,1609,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,7.9078,218800,209,22,458861,381,2737,1.0961e+06,70,1609,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,7.90804,218800,209,22,458861,381,2738,1.0961e+06,70,1609,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,7.90826,218800,210,22,458861,381,2739,1.0961e+06,70,1609,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,7.90849,218800,209,25,458861,381,2740,1.0961e+06,70,1609,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,7.90872,218800,209,25,458861,381,2741,1.0961e+06,70,1609,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,7.90894,218800,209,24,458861,381,2742,1.0961e+06,70,1609,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,7.90919,218800,209,23,458861,381,2743,1.0961e+06,70,1609,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,7.90944,218800,208,22,458861,381,2744,1.0961e+06,70,1609,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,7.90967,218800,208,22,458861,381,2745,1.0961e+06,70,1609,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,7.9099,218800,208,22,458861,381,2746,1.0961e+06,70,1609,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,7.91013,218800,209,22,458861,381,2747,1.0961e+06,70,1609,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,7.91036,218800,208,25,458861,381,2748,1.0961e+06,70,1609,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,7.91058,218800,208,25,458861,381,2749,1.0961e+06,70,1609,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,7.91081,218800,208,24,458861,381,2750,1.0961e+06,70,1609,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,7.91103,218800,208,23,458861,381,2751,1.0961e+06,70,1609,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,7.91126,218800,207,22,458861,381,2752,1.0961e+06,70,1609,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,7.91148,218800,207,22,458861,381,2753,1.0961e+06,70,1609,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,7.9117,218800,207,22,458861,381,2754,1.0961e+06,70,1609,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,7.91193,218800,211,22,458861,381,2755,1.0961e+06,70,1609,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,7.91215,218800,209,25,458861,381,2756,1.0961e+06,70,1609,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,7.91239,218800,209,25,458861,381,2757,1.0961e+06,70,1609,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,7.91262,218800,209,24,458861,381,2758,1.0961e+06,70,1609,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,7.91285,218800,209,23,458861,381,2759,1.0961e+06,70,1609,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,7.91308,218800,206,22,458861,381,2760,1.0961e+06,70,1609,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,7.91335,218800,208,22,458861,381,2761,1.0961e+06,70,1609,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,7.91359,218800,210,22,458861,381,2762,1.0961e+06,70,1609,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,7.91381,218800,209,22,458861,381,2763,1.0961e+06,70,1609,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,7.91404,218800,208,25,458861,381,2764,1.0961e+06,70,1609,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,7.91427,218800,208,25,458861,381,2765,1.0961e+06,70,1609,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,7.91449,218800,208,24,458861,381,2766,1.0961e+06,70,1609,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,7.91472,218800,208,23,458861,381,2767,1.0961e+06,70,1609,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,7.91494,218800,207,22,458861,381,2768,1.0961e+06,70,1609,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,7.91516,218800,207,22,458861,381,2769,1.0961e+06,70,1609,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,7.91539,218800,208,22,458861,381,2770,1.0961e+06,70,1609,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,7.91561,218800,209,22,458861,381,2771,1.0961e+06,70,1609,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,7.91583,218800,210,25,458861,381,2772,1.0961e+06,70,1609,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,7.91606,218800,210,25,458861,381,2773,1.0961e+06,70,1609,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,7.91628,218800,210,24,458861,381,2774,1.0961e+06,70,1609,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,7.91651,218800,210,23,458861,381,2775,1.0961e+06,70,1609,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,7.91673,218800,206,22,458861,381,2776,1.0961e+06,70,1609,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,7.91695,218800,209,22,458861,381,2777,1.0961e+06,70,1609,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,7.91719,218800,208,22,458861,381,2778,1.0961e+06,70,1609,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,7.91744,218800,210,22,458861,381,2779,1.0961e+06,70,1609,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,7.91765,218800,209,25,458861,381,2780,1.0961e+06,70,1609,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,7.91789,218800,209,25,458861,381,2781,1.0961e+06,70,1609,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,7.91811,218800,209,24,458861,381,2782,1.0961e+06,70,1609,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,7.91833,218800,209,23,458861,381,2783,1.0961e+06,70,1609,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,7.91855,218800,208,22,458861,381,2784,1.0961e+06,70,1609,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,7.91877,218800,207,22,458861,381,2785,1.0961e+06,70,1609,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,7.91899,218800,208,22,458861,381,2786,1.0961e+06,70,1609,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,7.91922,218800,218,22,458861,381,2787,1.0961e+06,70,1609,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,7.91943,218800,217,25,458861,381,2788,1.0961e+06,70,1609,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,7.91965,218800,217,25,458861,381,2789,1.0961e+06,70,1609,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,7.91986,218800,217,24,458861,381,2790,1.0961e+06,70,1609,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,7.92008,218800,217,23,458861,381,2791,1.0961e+06,70,1609,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,7.9203,218800,206,22,458861,381,2792,1.0961e+06,70,1609,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,7.92053,218800,215,22,458861,381,2793,1.0961e+06,70,1609,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,7.92075,218800,219,22,458861,381,2794,1.0961e+06,70,1609,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,7.92096,218800,209,22,458861,381,2795,1.0961e+06,70,1609,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,7.92118,218800,208,25,458861,381,2796,1.0961e+06,70,1609,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,7.92141,218800,208,25,458861,381,2797,1.0961e+06,70,1609,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,7.92164,218800,208,24,458861,381,2798,1.0961e+06,70,1609,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,7.92185,218800,208,23,458861,381,2799,1.0961e+06,70,1609,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,7.92206,218800,212,22,458861,381,2800,1.0961e+06,70,1609,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,7.92227,218800,206,22,458861,381,2801,1.0961e+06,70,1609,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,7.92248,218800,210,22,458861,381,2802,1.0961e+06,70,1609,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,7.92271,218800,210,22,458861,381,2803,1.0961e+06,70,1609,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,7.92293,218800,211,25,458861,381,2804,1.0961e+06,70,1609,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,7.92315,218800,211,25,458861,381,2805,1.0961e+06,70,1609,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,7.92337,218800,211,24,458861,381,2806,1.0961e+06,70,1609,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,7.9236,218800,211,23,458861,381,2807,1.0961e+06,70,1609,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,7.92382,218800,205,22,458861,381,2808,1.0961e+06,70,1609,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,7.92404,218800,210,22,458861,381,2809,1.0961e+06,70,1609,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,7.92425,218800,209,22,458861,381,2810,1.0961e+06,70,1609,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,7.92447,218800,210,22,458861,381,2811,1.0961e+06,70,1609,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,7.92469,218800,208,25,458861,381,2812,1.0961e+06,70,1609,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,7.92491,218800,208,25,458861,381,2814,1.0961e+06,70,1609,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,7.92513,218800,208,24,458861,381,2816,1.0961e+06,70,1609,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,7.92538,218800,208,23,458861,381,2818,1.0961e+06,70,1609,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,7.92561,218800,209,22,458861,381,2819,1.0961e+06,70,1609,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,7.92583,218800,207,22,458861,381,2820,1.0961e+06,70,1609,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,7.92606,218800,209,22,458861,381,2821,1.0961e+06,70,1609,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,7.92628,218800,209,22,458861,381,2822,1.0961e+06,70,1609,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,7.9265,218800,208,25,458861,381,2823,1.0961e+06,70,1609,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,7.92672,218800,208,25,458861,381,2824,1.0961e+06,70,1609,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,7.92694,218800,208,24,458861,381,2825,1.0961e+06,70,1609,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,7.92717,218800,208,23,458861,381,2826,1.0961e+06,70,1609,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,7.92739,218800,206,22,458861,381,2827,1.0961e+06,70,1609,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,7.9276,218800,207,22,458861,381,2828,1.0961e+06,70,1609,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,7.92783,218800,208,22,458861,381,2829,1.0961e+06,70,1609,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,7.92807,218800,209,22,458861,381,2831,1.0961e+06,70,1609,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,7.92829,218800,211,25,458861,381,2832,1.0961e+06,70,1609,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,7.92852,218800,211,25,458861,381,2833,1.0961e+06,70,1609,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,7.92873,218800,211,24,458861,381,2834,1.0961e+06,70,1609,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,7.92895,218800,211,23,458861,381,2835,1.0961e+06,70,1609,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,7.92919,218800,206,22,458861,381,2836,1.0961e+06,70,1609,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,7.92943,218800,210,22,458861,381,2837,1.0961e+06,70,1609,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,7.92966,218800,210,22,458861,381,2838,1.0961e+06,70,1609,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,7.92989,218800,209,22,458861,381,2839,1.0961e+06,70,1609,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,7.93012,218800,210,25,458861,381,2840,1.0961e+06,70,1609,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,7.93035,218800,210,25,458861,381,2841,1.0961e+06,70,1609,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,7.93057,218800,210,24,458861,381,2842,1.0961e+06,70,1609,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,7.93079,218800,210,23,458861,381,2843,1.0961e+06,70,1609,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,7.93103,218800,209,22,458861,381,2844,1.0961e+06,70,1609,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,7.93127,218800,208,22,458861,381,2845,1.0961e+06,70,1609,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,7.93149,218800,209,22,458861,381,2846,1.0961e+06,70,1609,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,7.93171,218800,209,22,458861,381,2847,1.0961e+06,70,1609,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,7.93193,218800,210,25,458861,381,2848,1.0961e+06,70,1609,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,7.93216,218800,210,25,458861,381,2849,1.0961e+06,70,1609,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,7.93238,218800,210,24,458861,381,2850,1.0961e+06,70,1609,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,7.93262,218800,210,23,458861,381,2851,1.0961e+06,70,1609,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,7.93284,218800,207,22,458861,381,2852,1.0961e+06,70,1609,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,7.93306,218800,209,22,458861,381,2853,1.0961e+06,70,1609,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,7.93331,218800,208,22,458861,381,2854,1.0961e+06,70,1609,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,7.93353,218800,211,22,458861,381,2855,1.0961e+06,70,1609,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,7.93375,218800,210,25,458861,381,2856,1.0961e+06,70,1609,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,7.93396,218800,210,25,458861,381,2857,1.0961e+06,70,1609,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,7.93418,218800,210,24,458861,381,2858,1.0961e+06,70,1609,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,7.93439,218800,210,23,458861,381,2859,1.0961e+06,70,1609,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,7.93461,218800,208,22,458861,381,2860,1.0961e+06,70,1609,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,7.93482,218800,209,22,458861,381,2861,1.0961e+06,70,1609,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,7.93503,218800,210,22,458861,381,2862,1.0961e+06,70,1609,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,7.93524,218800,209,22,458861,381,2863,1.0961e+06,70,1609,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,7.93548,218800,210,25,458861,381,2864,1.0961e+06,70,1609,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,7.9357,218800,210,25,458861,381,2865,1.0961e+06,70,1609,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,7.93591,218800,210,24,458861,381,2866,1.0961e+06,70,1609,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,7.93613,218800,210,23,458861,381,2867,1.0961e+06,70,1609,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,7.93634,218800,208,22,458861,381,2868,1.0961e+06,70,1609,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,7.93656,218800,211,22,458861,381,2869,1.0961e+06,70,1609,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,7.93677,218800,209,22,458861,381,2870,1.0961e+06,70,1609,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,7.93699,218800,218,22,458861,381,2871,1.0961e+06,70,1609,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,7.93722,218800,217,25,458861,381,2872,1.0961e+06,70,1609,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,7.93747,218800,217,25,458861,381,2873,1.0961e+06,70,1609,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,7.93768,218800,217,24,458861,381,2874,1.0961e+06,70,1609,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,7.93789,218800,217,23,458861,381,2875,1.0961e+06,70,1609,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,7.9381,218800,210,22,458861,381,2876,1.0961e+06,70,1609,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,7.93832,218800,215,22,458861,381,2877,1.0961e+06,70,1609,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,7.93853,218800,219,22,458861,381,2878,1.0961e+06,70,1609,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,7.93873,218800,209,22,458861,381,2879,1.0961e+06,70,1609,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,7.93894,218800,208,25,458861,381,2880,1.0961e+06,70,1609,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,7.93915,218800,208,25,458861,381,2881,1.0961e+06,70,1609,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,7.93936,218800,208,24,458861,381,2882,1.0961e+06,70,1609,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,7.93956,218800,208,23,458861,381,2883,1.0961e+06,70,1609,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,7.93977,218800,212,22,458861,381,2884,1.0961e+06,70,1609,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,7.93997,218800,206,22,458861,381,2885,1.0961e+06,70,1609,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,7.94017,218800,210,22,458861,381,2886,1.0961e+06,70,1609,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,7.94038,218800,210,22,458861,381,2887,1.0961e+06,70,1609,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,7.94059,218800,209,25,458861,381,2888,1.0961e+06,70,1609,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,7.94082,218800,209,25,458861,381,2889,1.0961e+06,70,1609,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,7.94103,218800,209,24,458861,381,2890,1.0961e+06,70,1609,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,7.94127,218800,209,23,458861,381,2891,1.0961e+06,70,1609,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,7.94149,218800,205,22,458861,381,2892,1.0961e+06,70,1609,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,7.94171,218800,208,22,458861,381,2893,1.0961e+06,70,1609,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,7.94191,218800,208,22,458861,381,2894,1.0961e+06,70,1609,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,7.94212,218800,210,22,458861,381,2895,1.0961e+06,70,1609,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,7.94233,218800,207,25,458861,381,2896,1.0961e+06,70,1609,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,7.94253,218800,207,25,458861,381,2897,1.0961e+06,70,1609,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,7.94275,218800,207,24,458861,381,2898,1.0961e+06,70,1609,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,7.94296,218800,207,23,458861,381,2899,1.0961e+06,70,1609,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,7.94318,218800,207,22,458861,381,2900,1.0961e+06,70,1609,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,7.9434,218800,208,22,458861,381,2901,1.0961e+06,70,1609,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,7.9436,218800,209,22,458861,381,2902,1.0961e+06,70,1609,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,7.94381,218800,210,22,458861,381,2903,1.0961e+06,70,1609,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,7.94403,218800,211,25,458861,381,2904,1.0961e+06,70,1609,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,7.94423,218800,211,25,458861,381,2905,1.0961e+06,70,1609,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,7.94443,218800,211,24,458861,381,2906,1.0961e+06,70,1609,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,7.94464,218800,211,23,458861,381,2907,1.0961e+06,70,1609,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,7.94485,218800,207,22,458861,381,2908,1.0961e+06,70,1609,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,7.94507,218800,212,22,458861,381,2910,1.0961e+06,70,1609,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,7.94531,218800,210,22,458861,381,2911,1.0961e+06,70,1609,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,7.94554,218800,209,22,458861,381,2912,1.0961e+06,70,1609,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,7.94574,218800,210,25,458861,381,2913,1.0961e+06,70,1609,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,7.94595,218800,210,25,458861,381,2914,1.0961e+06,70,1609,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,7.94617,218800,210,24,458861,381,2915,1.0961e+06,70,1609,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,7.94637,218800,210,23,458861,381,2916,1.0961e+06,70,1609,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,7.94658,218800,211,22,458861,381,2918,1.0961e+06,70,1609,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,7.9468,218800,208,22,458861,381,2919,1.0961e+06,70,1609,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,7.947,218800,209,22,458861,381,2920,1.0961e+06,70,1609,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,7.94721,218800,212,22,458861,381,2921,1.0961e+06,70,1609,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,7.94742,218800,211,25,458861,381,2922,1.0961e+06,70,1609,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,7.94762,218800,211,25,458861,381,2923,1.0961e+06,70,1609,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,7.94782,218800,211,24,458861,381,2924,1.0961e+06,70,1609,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,7.94803,218800,211,23,458861,381,2925,1.0961e+06,70,1609,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,7.94823,218800,207,22,458861,381,2926,1.0961e+06,70,1609,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,7.94843,218800,210,22,458861,381,2927,1.0961e+06,70,1609,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,7.94864,218800,210,22,458861,381,2928,1.0961e+06,70,1609,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,7.94884,218800,211,22,458861,381,2929,1.0961e+06,70,1609,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,7.94904,218800,210,25,458861,381,2930,1.0961e+06,70,1609,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,7.94927,218800,210,25,458861,381,2931,1.0961e+06,70,1609,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,7.94948,218800,210,24,458861,381,2932,1.0961e+06,70,1609,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,7.94968,218800,210,23,458861,381,2933,1.0961e+06,70,1609,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,7.9499,218800,209,22,458861,381,2934,1.0961e+06,70,1609,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,7.9501,218800,209,22,458861,381,2935,1.0961e+06,70,1609,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,7.95031,218800,209,22,458861,381,2936,1.0961e+06,70,1609,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,7.95052,218800,208,22,458861,381,2938,1.0961e+06,70,1609,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,7.95073,218800,210,25,458861,381,2939,1.0961e+06,70,1609,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,7.95093,218800,210,25,458861,381,2940,1.0961e+06,70,1609,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,7.95113,218800,210,24,458861,381,2941,1.0961e+06,70,1609,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,7.95134,218800,210,23,458861,381,2942,1.0961e+06,70,1609,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,7.95153,218800,208,22,458861,381,2943,1.0961e+06,70,1609,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,7.95174,218800,211,22,458861,381,2945,1.0961e+06,70,1609,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,7.95195,218800,209,22,458861,381,2946,1.0961e+06,70,1609,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,7.95216,218800,208,25,458861,381,2947,1.0961e+06,70,1609,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,7.95236,218800,208,25,458861,381,2948,1.0961e+06,70,1609,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,7.95257,218800,208,24,458861,381,2949,1.0961e+06,70,1609,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,7.95277,218800,208,23,458861,381,2950,1.0961e+06,70,1609,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,7.95299,218800,210,22,458861,381,2952,1.0961e+06,70,1609,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,7.95325,218800,207,22,458861,381,2953,1.0961e+06,70,1609,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,7.95347,218800,208,25,458861,381,2954,1.0961e+06,70,1609,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,7.95367,218800,208,25,458861,381,2955,1.0961e+06,70,1609,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,7.95388,218800,208,24,458861,381,2956,1.0961e+06,70,1609,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,7.95409,218800,208,23,458861,381,2957,1.0961e+06,70,1609,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,7.9543,218800,206,22,458861,381,2958,1.0961e+06,70,1609,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,7.95451,218800,207,22,458861,381,2959,1.0961e+06,70,1609,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,7.95473,218800,207,25,458861,381,2960,1.0961e+06,70,1609,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,7.95494,218800,207,25,458861,381,2961,1.0961e+06,70,1609,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,7.95515,218800,207,24,458861,381,2962,1.0961e+06,70,1609,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,7.95536,218800,207,23,458861,381,2963,1.0961e+06,70,1609,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,7.95556,218800,206,22,458861,381,2964,1.0961e+06,70,1609,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,7.95579,218800,206,22,458861,381,2965,1.0961e+06,70,1609,0
Invariant property smplace_1695 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1695,6.22427e+279,7.95599,218800,210,22,458861,381,2966,1.0961e+06,70,1609,0
Invariant property smplace_1697 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1697,2.48971e+279,7.9562,218800,209,25,458861,381,2967,1.0961e+06,70,1609,0
Invariant property smplace_1698 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1698,2.48971e+279,7.95641,218800,209,25,458861,381,2968,1.0961e+06,70,1609,0
Invariant property smplace_1699 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1699,4.97942e+279,7.9566,218800,209,24,458861,381,2969,1.0961e+06,70,1609,0
Invariant property smplace_1700 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1700,4.97942e+279,7.95681,218800,209,23,458861,381,2970,1.0961e+06,70,1609,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,7.95703,218800,205,22,458861,381,2971,1.0961e+06,70,1609,0
Invariant property smplace_1705 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1705,6.22427e+279,7.95727,218800,207,22,458861,381,2972,1.0961e+06,70,1609,0
Invariant property smplace_1707 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1707,6.22427e+279,7.95747,218800,208,22,458861,381,2973,1.0961e+06,70,1609,0
Invariant property smplace_1721 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1721,6.22427e+279,7.95767,218800,206,22,458861,381,2974,1.0961e+06,70,1609,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,1.24485e+279,7.95789,218800,211,22,458861,381,2976,1.0961e+06,70,1609,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 1621071881942

--------------------
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="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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