Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590300008.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ARMCacheCoherence-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590300008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 6.6K Feb 25 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 21:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 21:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 21:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 163K Feb 25 21:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 21:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 21:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678469048834

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ARMCacheCoherence-PT-none
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ARMCacheCoherence (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 87 places, 33676 transitions, 246935 arcs.
AT ITER 0 NEW BEST:: SOT 2663961 SOS 2595482 HAS SOPS 2560318 HAS SOUS 60865 HAS SOUPS 60701 WITH SCORE 63296.482
AT ITER 1 NEW BEST:: SOT 2663961 SOS 2593749 HAS SOPS 2552413 HAS SOUS 60395 HAS SOUPS 60231 WITH SCORE 62824.749
AT ITER 2 NEW BEST:: SOT 2663961 SOS 2580498 HAS SOPS 2552443 HAS SOUS 57331 HAS SOUPS 57188 WITH SCORE 59768.498
AT ITER 3 NEW BEST:: SOT 2663935 SOS 2580096 HAS SOPS 2551753 HAS SOUS 56921 HAS SOUPS 56778 WITH SCORE 59358.096
AT ITER 4 NEW BEST:: SOT 2661813 SOS 2577912 HAS SOPS 2549560 HAS SOUS 56677 HAS SOUPS 56534 WITH SCORE 59111.912
AT ITER 5 NEW BEST:: SOT 2661562 SOS 2577669 HAS SOPS 2549309 HAS SOUS 56436 HAS SOUPS 56285 WITH SCORE 58862.669
AT ITER 6 NEW BEST:: SOT 2661439 SOS 2576724 HAS SOPS 2547380 HAS SOUS 56334 HAS SOUPS 56183 WITH SCORE 58759.724
AT ITER 7 NEW BEST:: SOT 2661541 SOS 2576693 HAS SOPS 2547349 HAS SOUS 55854 HAS SOUPS 55703 WITH SCORE 58279.693
AT ITER 9 NEW BEST:: SOT 2661787 SOS 2576461 HAS SOPS 2546469 HAS SOUS 55363 HAS SOUPS 55203 WITH SCORE 57779.461
AT ITER 10 NEW BEST:: SOT 2661617 SOS 2539412 HAS SOPS 2527742 HAS SOUS 48844 HAS SOUPS 48709 WITH SCORE 51248.412
AT ITER 11 NEW BEST:: SOT 2661626 SOS 2521003 HAS SOPS 2493951 HAS SOUS 47881 HAS SOUPS 47634 WITH SCORE 50155.003
AT ITER 13 NEW BEST:: SOT 2661765 SOS 2518620 HAS SOPS 2488015 HAS SOUS 47931 HAS SOUPS 47631 WITH SCORE 50149.62
AT ITER 15 NEW BEST:: SOT 2651791 SOS 2518882 HAS SOPS 2498170 HAS SOUS 46962 HAS SOUPS 46678 WITH SCORE 49196.882
AT ITER 16 NEW BEST:: SOT 2651825 SOS 2518967 HAS SOPS 2498255 HAS SOUS 46938 HAS SOUPS 46654 WITH SCORE 49172.967
AT ITER 17 NEW BEST:: SOT 2651801 SOS 2518919 HAS SOPS 2498207 HAS SOUS 46630 HAS SOUPS 46346 WITH SCORE 48864.919
AT ITER 18 NEW BEST:: SOT 2651753 SOS 2501650 HAS SOPS 2490933 HAS SOUS 38836 HAS SOUPS 38610 WITH SCORE 41111.65
AT ITER 19 NEW BEST:: SOT 2651805 SOS 2409600 HAS SOPS 2387636 HAS SOUS 37908 HAS SOUPS 37682 WITH SCORE 40091.6
AT ITER 20 NEW BEST:: SOT 2651518 SOS 2409218 HAS SOPS 2387187 HAS SOUS 37724 HAS SOUPS 37498 WITH SCORE 39907.218
AT ITER 23 NEW BEST:: SOT 2651508 SOS 2409213 HAS SOPS 2387180 HAS SOUS 37719 HAS SOUPS 37491 WITH SCORE 39900.213
AT ITER 24 NEW BEST:: SOT 2651504 SOS 2402761 HAS SOPS 2379674 HAS SOUS 37668 HAS SOUPS 37440 WITH SCORE 39842.761
AT ITER 25 NEW BEST:: SOT 2651504 SOS 2402729 HAS SOPS 2379590 HAS SOUS 37589 HAS SOUPS 37357 WITH SCORE 39759.729
AT ITER 26 NEW BEST:: SOT 2651444 SOS 2402672 HAS SOPS 2379533 HAS SOUS 37580 HAS SOUPS 37348 WITH SCORE 39750.672
AT ITER 28 NEW BEST:: SOT 2625536 SOS 2376764 HAS SOPS 2353617 HAS SOUS 36932 HAS SOUPS 36692 WITH SCORE 39068.764
AT ITER 30 NEW BEST:: SOT 2625522 SOS 2376744 HAS SOPS 2353597 HAS SOUS 36922 HAS SOUPS 36682 WITH SCORE 39058.744
AT ITER 34 NEW BEST:: SOT 2625516 SOS 2376504 HAS SOPS 2353525 HAS SOUS 35882 HAS SOUPS 35648 WITH SCORE 38024.504
AT ITER 36 NEW BEST:: SOT 2625516 SOS 2376443 HAS SOPS 2353693 HAS SOUS 35762 HAS SOUPS 35570 WITH SCORE 37946.443
AT ITER 38 NEW BEST:: SOT 2625591 SOS 2346960 HAS SOPS 2317950 HAS SOUS 35350 HAS SOUPS 35158 WITH SCORE 37504.96
AT ITER 40 NEW BEST:: SOT 2568026 SOS 2291987 HAS SOPS 2260320 HAS SOUS 34578 HAS SOUPS 34284 WITH SCORE 36575.987
AT ITER 44 NEW BEST:: SOT 2568382 SOS 2292218 HAS SOPS 2260579 HAS SOUS 33707 HAS SOUPS 33446 WITH SCORE 35738.218
AT ITER 46 NEW BEST:: SOT 2568381 SOS 2292161 HAS SOPS 2260522 HAS SOUS 33256 HAS SOUPS 32995 WITH SCORE 35287.161
AT ITER 48 NEW BEST:: SOT 2568141 SOS 2291403 HAS SOPS 2259666 HAS SOUS 33050 HAS SOUPS 32789 WITH SCORE 35080.403
AT ITER 49 NEW BEST:: SOT 2568141 SOS 2287593 HAS SOPS 2255100 HAS SOUS 33041 HAS SOUPS 32780 WITH SCORE 35067.593
AT ITER 50 NEW BEST:: SOT 2542901 SOS 2262464 HAS SOPS 2230029 HAS SOUS 32802 HAS SOUPS 32549 WITH SCORE 34811.464
AT ITER 51 NEW BEST:: SOT 2584727 SOS 2254597 HAS SOPS 2212785 HAS SOUS 32523 HAS SOUPS 32270 WITH SCORE 34524.597
AT ITER 53 NEW BEST:: SOT 2584729 SOS 2254601 HAS SOPS 2212798 HAS SOUS 32433 HAS SOUPS 32180 WITH SCORE 34434.601
AT ITER 63 NEW BEST:: SOT 2584733 SOS 2253549 HAS SOPS 2211538 HAS SOUS 32424 HAS SOUPS 32171 WITH SCORE 34424.549
AT ITER 64 NEW BEST:: SOT 2584673 SOS 2253489 HAS SOPS 2211478 HAS SOUS 32363 HAS SOUPS 32110 WITH SCORE 34363.489
AT ITER 65 NEW BEST:: SOT 2584666 SOS 2245594 HAS SOPS 2201981 HAS SOUS 32282 HAS SOUPS 32029 WITH SCORE 34274.594
AT ITER 66 NEW BEST:: SOT 2584673 SOS 2168305 HAS SOPS 2118322 HAS SOUS 32278 HAS SOUPS 32025 WITH SCORE 34193.305
AT ITER 72 NEW BEST:: SOT 2584843 SOS 2165222 HAS SOPS 2114654 HAS SOUS 32137 HAS SOUPS 31884 WITH SCORE 34049.222
AT ITER 73 NEW BEST:: SOT 2584755 SOS 2165054 HAS SOPS 2114362 HAS SOUS 32114 HAS SOUPS 31825 WITH SCORE 33990.054000000004
AT ITER 76 NEW BEST:: SOT 2584775 SOS 2160825 HAS SOPS 2106422 HAS SOUS 31297 HAS SOUPS 30996 WITH SCORE 33156.825
AT ITER 78 NEW BEST:: SOT 2584860 SOS 2059611 HAS SOPS 1981213 HAS SOUS 30018 HAS SOUPS 29717 WITH SCORE 31776.611
AT ITER 79 NEW BEST:: SOT 2586017 SOS 2048325 HAS SOPS 1967718 HAS SOUS 29783 HAS SOUPS 29482 WITH SCORE 31530.325
AT ITER 81 NEW BEST:: SOT 2582495 SOS 2044871 HAS SOPS 1964442 HAS SOUS 29777 HAS SOUPS 29482 WITH SCORE 31526.871
AT ITER 82 NEW BEST:: SOT 2582495 SOS 2044840 HAS SOPS 1964363 HAS SOUS 29762 HAS SOUPS 29467 WITH SCORE 31511.84
AT ITER 85 NEW BEST:: SOT 2582501 SOS 2044702 HAS SOPS 1964207 HAS SOUS 29735 HAS SOUPS 29440 WITH SCORE 31484.702
AT ITER 87 NEW BEST:: SOT 2584714 SOS 2046907 HAS SOPS 1966430 HAS SOUS 29674 HAS SOUPS 29379 WITH SCORE 31425.907
AT ITER 93 NEW BEST:: SOT 2584736 SOS 2046576 HAS SOPS 1965872 HAS SOUS 29474 HAS SOUPS 29179 WITH SCORE 31225.576
AT ITER 94 NEW BEST:: SOT 2584828 SOS 1970386 HAS SOPS 1875386 HAS SOUS 28973 HAS SOUPS 28678 WITH SCORE 30648.386
AT ITER 97 NEW BEST:: SOT 2584852 SOS 1965223 HAS SOPS 1869383 HAS SOUS 28974 HAS SOUPS 28679 WITH SCORE 30644.222999999998
AT ITER 98 NEW BEST:: SOT 2584816 SOS 1965139 HAS SOPS 1869299 HAS SOUS 28896 HAS SOUPS 28601 WITH SCORE 30566.139
AT ITER 99 NEW BEST:: SOT 2547818 SOS 1928173 HAS SOPS 1832333 HAS SOUS 28084 HAS SOUPS 27789 WITH SCORE 29717.173
AT ITER 100 NEW BEST:: SOT 2547818 SOS 1927873 HAS SOPS 1831988 HAS SOUS 28069 HAS SOUPS 27774 WITH SCORE 29701.873
AT ITER 110 NEW BEST:: SOT 2547827 SOS 1925881 HAS SOPS 1829663 HAS SOUS 28070 HAS SOUPS 27775 WITH SCORE 29700.881
AT ITER 115 NEW BEST:: SOT 2547827 SOS 1925929 HAS SOPS 1829735 HAS SOUS 28058 HAS SOUPS 27763 WITH SCORE 29688.929
AT ITER 117 NEW BEST:: SOT 2549932 SOS 1844481 HAS SOPS 1732118 HAS SOUS 27782 HAS SOUPS 27487 WITH SCORE 29331.481
AT ITER 121 NEW BEST:: SOT 2549509 SOS 1844719 HAS SOPS 1731565 HAS SOUS 27731 HAS SOUPS 27388 WITH SCORE 29232.719
AT ITER 122 NEW BEST:: SOT 2507913 SOS 1836935 HAS SOPS 1736242 HAS SOUS 27456 HAS SOUPS 27116 WITH SCORE 28952.935
AT ITER 126 NEW BEST:: SOT 2522497 SOS 1675379 HAS SOPS 1665076 HAS SOUS 20983 HAS SOUPS 20636 WITH SCORE 22311.379
AT ITER 130 NEW BEST:: SOT 2494480 SOS 1649791 HAS SOPS 1639924 HAS SOUS 21035 HAS SOUPS 20651 WITH SCORE 22300.791
AT ITER 131 NEW BEST:: SOT 2494693 SOS 1644839 HAS SOPS 1637333 HAS SOUS 20778 HAS SOUPS 20427 WITH SCORE 22071.839
AT ITER 142 NEW BEST:: SOT 2489436 SOS 1658313 HAS SOPS 1650845 HAS SOUS 20609 HAS SOUPS 20258 WITH SCORE 21916.313000000002
AT ITER 146 NEW BEST:: SOT 2489442 SOS 1658000 HAS SOPS 1650616 HAS SOUS 20550 HAS SOUPS 20199 WITH SCORE 21857.0
AT ITER 147 NEW BEST:: SOT 2489460 SOS 1657793 HAS SOPS 1650706 HAS SOUS 20514 HAS SOUPS 20181 WITH SCORE 21838.793
AT ITER 155 NEW BEST:: SOT 2490174 SOS 1653935 HAS SOPS 1646318 HAS SOUS 20496 HAS SOUPS 20163 WITH SCORE 21816.935
AT ITER 159 NEW BEST:: SOT 2490138 SOS 1653787 HAS SOPS 1646202 HAS SOUS 20427 HAS SOUPS 20094 WITH SCORE 21747.787
AT ITER 175 NEW BEST:: SOT 2490133 SOS 1653782 HAS SOPS 1646197 HAS SOUS 20417 HAS SOUPS 20084 WITH SCORE 21737.782
AT ITER 178 NEW BEST:: SOT 2490149 SOS 1643392 HAS SOPS 1635807 HAS SOUS 20379 HAS SOUPS 20046 WITH SCORE 21689.392
AT ITER 181 NEW BEST:: SOT 2454980 SOS 1654483 HAS SOPS 1647541 HAS SOUS 20178 HAS SOUPS 19845 WITH SCORE 21499.483
AT ITER 184 NEW BEST:: SOT 2454966 SOS 1654458 HAS SOPS 1647472 HAS SOUS 20110 HAS SOUPS 19777 WITH SCORE 21431.458
AT ITER 190 NEW BEST:: SOT 2454982 SOS 1654544 HAS SOPS 1647558 HAS SOUS 20101 HAS SOUPS 19768 WITH SCORE 21422.544
AT ITER 203 NEW BEST:: SOT 2428100 SOS 1988940 HAS SOPS 1972775 HAS SOUS 19316 HAS SOUPS 18863 WITH SCORE 20851.94
AT ITER 205 NEW BEST:: SOT 2441430 SOS 2001433 HAS SOPS 1984033 HAS SOUS 19164 HAS SOUPS 18657 WITH SCORE 20658.433
AT ITER 208 NEW BEST:: SOT 2440369 SOS 2000658 HAS SOPS 1983264 HAS SOUS 19151 HAS SOUPS 18644 WITH SCORE 20644.658
AT ITER 212 NEW BEST:: SOT 2440368 SOS 2000658 HAS SOPS 1983260 HAS SOUS 19148 HAS SOUPS 18641 WITH SCORE 20641.658
AT ITER 213 NEW BEST:: SOT 2440352 SOS 2000629 HAS SOPS 1983164 HAS SOUS 19131 HAS SOUPS 18624 WITH SCORE 20624.629
AT ITER 214 NEW BEST:: SOT 2438927 SOS 2034396 HAS SOPS 2019768 HAS SOUS 18973 HAS SOUPS 18480 WITH SCORE 20514.396
AT ITER 215 NEW BEST:: SOT 2438924 SOS 2034382 HAS SOPS 2019735 HAS SOUS 18961 HAS SOUPS 18468 WITH SCORE 20502.382
AT ITER 221 NEW BEST:: SOT 2438838 SOS 2039752 HAS SOPS 2025336 HAS SOUS 18944 HAS SOUPS 18451 WITH SCORE 20490.752
AT ITER 223 NEW BEST:: SOT 2438745 SOS 2039649 HAS SOPS 2025233 HAS SOUS 18883 HAS SOUPS 18390 WITH SCORE 20429.649
AT ITER 226 NEW BEST:: SOT 2438672 SOS 1803899 HAS SOPS 1789516 HAS SOUS 18682 HAS SOUPS 18189 WITH SCORE 19992.899
AT ITER 239 NEW BEST:: SOT 2438939 SOS 1801729 HAS SOPS 1787346 HAS SOUS 18640 HAS SOUPS 18147 WITH SCORE 19948.729
AT ITER 240 NEW BEST:: SOT 2439046 SOS 1783033 HAS SOPS 1768159 HAS SOUS 18617 HAS SOUPS 18124 WITH SCORE 19907.033
AT ITER 249 NEW BEST:: SOT 2439040 SOS 1783031 HAS SOPS 1768147 HAS SOUS 18611 HAS SOUPS 18118 WITH SCORE 19901.031
AT ITER 251 NEW BEST:: SOT 2439080 SOS 1782197 HAS SOPS 1766968 HAS SOUS 18585 HAS SOUPS 18092 WITH SCORE 19874.197
AT ITER 252 NEW BEST:: SOT 2359133 SOS 1702300 HAS SOPS 1687071 HAS SOUS 17196 HAS SOUPS 16703 WITH SCORE 18405.3
AT ITER 253 NEW BEST:: SOT 2351540 SOS 1694707 HAS SOPS 1679493 HAS SOUS 17070 HAS SOUPS 16595 WITH SCORE 18289.707
AT ITER 263 NEW BEST:: SOT 2351540 SOS 1694704 HAS SOPS 1679490 HAS SOUS 17070 HAS SOUPS 16595 WITH SCORE 18289.704
AT ITER 266 NEW BEST:: SOT 2357612 SOS 1700776 HAS SOPS 1685587 HAS SOUS 17005 HAS SOUPS 16533 WITH SCORE 18233.776
AT ITER 269 NEW BEST:: SOT 2357642 SOS 1668957 HAS SOPS 1653493 HAS SOUS 16907 HAS SOUPS 16435 WITH SCORE 18103.957
AT ITER 271 NEW BEST:: SOT 2357642 SOS 1668966 HAS SOPS 1653481 HAS SOUS 16892 HAS SOUPS 16420 WITH SCORE 18088.966
AT ITER 275 NEW BEST:: SOT 2357636 SOS 1666224 HAS SOPS 1650645 HAS SOUS 16869 HAS SOUPS 16397 WITH SCORE 18063.224
AT ITER 280 NEW BEST:: SOT 2357084 SOS 1667300 HAS SOPS 1651721 HAS SOUS 16758 HAS SOUPS 16286 WITH SCORE 17953.3
AT ITER 284 NEW BEST:: SOT 2357084 SOS 1667307 HAS SOPS 1651728 HAS SOUS 16741 HAS SOUPS 16269 WITH SCORE 17936.307
AT ITER 289 NEW BEST:: SOT 2357081 SOS 1670319 HAS SOPS 1654623 HAS SOUS 16621 HAS SOUPS 16149 WITH SCORE 17819.319
AT ITER 290 NEW BEST:: SOT 2357010 SOS 1670260 HAS SOPS 1654507 HAS SOUS 16609 HAS SOUPS 16137 WITH SCORE 17807.26
AT ITER 303 NEW BEST:: SOT 2357255 SOS 1512014 HAS SOPS 1504427 HAS SOUS 16189 HAS SOUPS 15797 WITH SCORE 17309.014
AT ITER 305 NEW BEST:: SOT 2356464 SOS 1545734 HAS SOPS 1535140 HAS SOUS 16171 HAS SOUPS 15738 WITH SCORE 17283.734
AT ITER 306 NEW BEST:: SOT 2356464 SOS 1545741 HAS SOPS 1535147 HAS SOUS 16164 HAS SOUPS 15731 WITH SCORE 17276.741
AT ITER 310 NEW BEST:: SOT 2356462 SOS 1545721 HAS SOPS 1535049 HAS SOUS 16142 HAS SOUPS 15709 WITH SCORE 17254.721
AT ITER 317 NEW BEST:: SOT 2294149 SOS 1483376 HAS SOPS 1472707 HAS SOUS 16086 HAS SOUPS 15648 WITH SCORE 17131.376
AT ITER 319 NEW BEST:: SOT 2293930 SOS 1483157 HAS SOPS 1472488 HAS SOUS 16026 HAS SOUPS 15588 WITH SCORE 17071.157
AT ITER 330 NEW BEST:: SOT 2293926 SOS 1484678 HAS SOPS 1474181 HAS SOUS 16022 HAS SOUPS 15584 WITH SCORE 17068.678
AT ITER 342 NEW BEST:: SOT 2293912 SOS 1472213 HAS SOPS 1461716 HAS SOUS 16009 HAS SOUPS 15571 WITH SCORE 17043.213
AT ITER 348 NEW BEST:: SOT 2292897 SOS 1471198 HAS SOPS 1460707 HAS SOUS 15975 HAS SOUPS 15537 WITH SCORE 17008.198
AT ITER 350 NEW BEST:: SOT 2304776 SOS 1483087 HAS SOPS 1472593 HAS SOUS 15471 HAS SOUPS 15038 WITH SCORE 16521.087
AT ITER 356 NEW BEST:: SOT 2223189 SOS 1401595 HAS SOPS 1390801 HAS SOUS 14112 HAS SOUPS 13631 WITH SCORE 15032.595
AT ITER 359 NEW BEST:: SOT 2223171 SOS 1400812 HAS SOPS 1390090 HAS SOUS 14070 HAS SOUPS 13589 WITH SCORE 14989.812
AT ITER 372 NEW BEST:: SOT 2223170 SOS 1397294 HAS SOPS 1386572 HAS SOUS 14036 HAS SOUPS 13555 WITH SCORE 14952.294
AT ITER 382 NEW BEST:: SOT 2223169 SOS 1397293 HAS SOPS 1386561 HAS SOUS 14030 HAS SOUPS 13549 WITH SCORE 14946.293
AT ITER 384 NEW BEST:: SOT 2223108 SOS 1397257 HAS SOPS 1386525 HAS SOUS 14000 HAS SOUPS 13519 WITH SCORE 14916.257
AT ITER 387 NEW BEST:: SOT 2223124 SOS 1397259 HAS SOPS 1386287 HAS SOUS 13952 HAS SOUPS 13471 WITH SCORE 14868.259
AT ITER 390 NEW BEST:: SOT 2221567 SOS 1435518 HAS SOPS 1424546 HAS SOUS 13872 HAS SOUPS 13391 WITH SCORE 14826.518
AT ITER 392 NEW BEST:: SOT 2221532 SOS 1435448 HAS SOPS 1424476 HAS SOUS 13865 HAS SOUPS 13384 WITH SCORE 14819.448
AT ITER 399 NEW BEST:: SOT 2219828 SOS 1436514 HAS SOPS 1425542 HAS SOUS 13640 HAS SOUPS 13159 WITH SCORE 14595.514
AT ITER 401 NEW BEST:: SOT 2219783 SOS 1436469 HAS SOPS 1425372 HAS SOUS 13595 HAS SOUPS 13089 WITH SCORE 14525.469000000001
AT ITER 402 NEW BEST:: SOT 2219783 SOS 1436149 HAS SOPS 1425052 HAS SOUS 13593 HAS SOUPS 13087 WITH SCORE 14523.149
AT ITER 405 NEW BEST:: SOT 2219691 SOS 1436015 HAS SOPS 1424918 HAS SOUS 13528 HAS SOUPS 13022 WITH SCORE 14458.015
AT ITER 408 NEW BEST:: SOT 2219687 SOS 1436011 HAS SOPS 1424926 HAS SOUS 13521 HAS SOUPS 13015 WITH SCORE 14451.011
AT ITER 416 NEW BEST:: SOT 2219697 SOS 1436010 HAS SOPS 1424925 HAS SOUS 13515 HAS SOUPS 13009 WITH SCORE 14445.01
AT ITER 440 NEW BEST:: SOT 2219849 SOS 1249488 HAS SOPS 1235975 HAS SOUS 13658 HAS SOUPS 13118 WITH SCORE 14367.488
AT ITER 452 NEW BEST:: SOT 2219766 SOS 1249411 HAS SOPS 1235830 HAS SOUS 13480 HAS SOUPS 12940 WITH SCORE 14189.411
AT ITER 455 NEW BEST:: SOT 2219788 SOS 1247749 HAS SOPS 1234168 HAS SOUS 13470 HAS SOUPS 12930 WITH SCORE 14177.749
AT ITER 458 NEW BEST:: SOT 2219788 SOS 1247765 HAS SOPS 1234168 HAS SOUS 13458 HAS SOUPS 12918 WITH SCORE 14165.765
AT ITER 459 NEW BEST:: SOT 2239286 SOS 1267263 HAS SOPS 1253606 HAS SOUS 12450 HAS SOUPS 11935 WITH SCORE 13202.262999999999
AT ITER 460 NEW BEST:: SOT 2255478 SOS 1283455 HAS SOPS 1269798 HAS SOUS 12031 HAS SOUPS 11521 WITH SCORE 12804.455
AT ITER 461 NEW BEST:: SOT 2255476 SOS 1283324 HAS SOPS 1269667 HAS SOUS 11975 HAS SOUPS 11465 WITH SCORE 12748.324
AT ITER 466 NEW BEST:: SOT 2255473 SOS 1282733 HAS SOPS 1269076 HAS SOUS 11970 HAS SOUPS 11460 WITH SCORE 12742.733
AT ITER 474 NEW BEST:: SOT 2255503 SOS 1276696 HAS SOPS 1263039 HAS SOUS 11969 HAS SOUPS 11459 WITH SCORE 12735.696
AT ITER 480 NEW BEST:: SOT 2255201 SOS 1276412 HAS SOPS 1263013 HAS SOUS 11963 HAS SOUPS 11457 WITH SCORE 12733.412
AT ITER 488 NEW BEST:: SOT 2255189 SOS 1276151 HAS SOPS 1262900 HAS SOUS 11761 HAS SOUPS 11295 WITH SCORE 12571.151
AT ITER 492 NEW BEST:: SOT 2255189 SOS 1275939 HAS SOPS 1262979 HAS SOUS 11749 HAS SOUPS 11292 WITH SCORE 12567.939
AT ITER 498 NEW BEST:: SOT 2243231 SOS 1263981 HAS SOPS 1251021 HAS SOUS 11529 HAS SOUPS 11071 WITH SCORE 12334.981
AT ITER 512 NEW BEST:: SOT 2243176 SOS 1264193 HAS SOPS 1251503 HAS SOUS 11517 HAS SOUPS 11059 WITH SCORE 12323.193
AT ITER 549 NEW BEST:: SOT 2243176 SOS 1265733 HAS SOPS 1253209 HAS SOUS 11497 HAS SOUPS 11039 WITH SCORE 12304.733
AT ITER 565 NEW BEST:: SOT 2243170 SOS 1267489 HAS SOPS 1254953 HAS SOUS 11493 HAS SOUPS 11035 WITH SCORE 12302.489
AT ITER 575 NEW BEST:: SOT 2243170 SOS 1266859 HAS SOPS 1254323 HAS SOUS 11474 HAS SOUPS 11016 WITH SCORE 12282.859
AT ITER 577 NEW BEST:: SOT 2243170 SOS 1266859 HAS SOPS 1254323 HAS SOUS 11472 HAS SOUPS 11014 WITH SCORE 12280.859
AT ITER 595 NEW BEST:: SOT 2239504 SOS 1263245 HAS SOPS 1251354 HAS SOUS 11440 HAS SOUPS 10982 WITH SCORE 12245.245
AT ITER 603 NEW BEST:: SOT 2205813 SOS 1229554 HAS SOPS 1217663 HAS SOUS 11411 HAS SOUPS 10947 WITH SCORE 12176.554
AT ITER 624 NEW BEST:: SOT 2205776 SOS 1229463 HAS SOPS 1217572 HAS SOUS 11364 HAS SOUPS 10900 WITH SCORE 12129.463
AT ITER 635 NEW BEST:: SOT 2205776 SOS 1229463 HAS SOPS 1217572 HAS SOUS 11355 HAS SOUPS 10891 WITH SCORE 12120.463
AT ITER 639 NEW BEST:: SOT 2205762 SOS 1229440 HAS SOPS 1217549 HAS SOUS 11308 HAS SOUPS 10844 WITH SCORE 12073.44
AT ITER 642 NEW BEST:: SOT 2205762 SOS 1228852 HAS SOPS 1217447 HAS SOUS 11230 HAS SOUPS 10780 WITH SCORE 12008.852
AT ITER 653 NEW BEST:: SOT 2205542 SOS 1258109 HAS SOPS 1246126 HAS SOUS 11154 HAS SOUPS 10708 WITH SCORE 11966.109
AT ITER 654 NEW BEST:: SOT 2205542 SOS 1257056 HAS SOPS 1245119 HAS SOUS 11150 HAS SOUPS 10704 WITH SCORE 11961.056
AT ITER 655 NEW BEST:: SOT 2205635 SOS 1163151 HAS SOPS 1151379 HAS SOUS 11227 HAS SOUPS 10781 WITH SCORE 11944.151
AT ITER 660 NEW BEST:: SOT 2205659 SOS 1163177 HAS SOPS 1151403 HAS SOUS 11216 HAS SOUPS 10770 WITH SCORE 11933.177
AT ITER 661 NEW BEST:: SOT 2205655 SOS 1163174 HAS SOPS 1151404 HAS SOUS 11215 HAS SOUPS 10769 WITH SCORE 11932.173999999999
AT ITER 664 NEW BEST:: SOT 2205518 SOS 1162842 HAS SOPS 1151072 HAS SOUS 11182 HAS SOUPS 10736 WITH SCORE 11898.842
AT ITER 670 NEW BEST:: SOT 2205561 SOS 1162862 HAS SOPS 1151000 HAS SOUS 11026 HAS SOUPS 10580 WITH SCORE 11742.862000000001
AT ITER 672 NEW BEST:: SOT 2205570 SOS 1162865 HAS SOPS 1151003 HAS SOUS 11011 HAS SOUPS 10565 WITH SCORE 11727.865
AT ITER 686 NEW BEST:: SOT 2205538 SOS 1160617 HAS SOPS 1148755 HAS SOUS 11003 HAS SOUPS 10557 WITH SCORE 11717.617
AT ITER 706 NEW BEST:: SOT 2205663 SOS 1116325 HAS SOPS 1104445 HAS SOUS 11029 HAS SOUPS 10583 WITH SCORE 11699.325
AT ITER 720 NEW BEST:: SOT 2206185 SOS 1038508 HAS SOPS 1028423 HAS SOUS 11046 HAS SOUPS 10609 WITH SCORE 11647.508
AT ITER 732 NEW BEST:: SOT 2206176 SOS 1038479 HAS SOPS 1028273 HAS SOUS 11029 HAS SOUPS 10592 WITH SCORE 11630.479
AT ITER 739 NEW BEST:: SOT 2206258 SOS 999488 HAS SOPS 989196 HAS SOUS 11057 HAS SOUPS 10620 WITH SCORE 11619.488
AT ITER 751 NEW BEST:: SOT 2206243 SOS 999473 HAS SOPS 989181 HAS SOUS 11027 HAS SOUPS 10590 WITH SCORE 11589.473
AT ITER 765 NEW BEST:: SOT 2206243 SOS 997620 HAS SOPS 987328 HAS SOUS 11026 HAS SOUPS 10589 WITH SCORE 11586.62
AT ITER 769 NEW BEST:: SOT 2206231 SOS 989242 HAS SOPS 978950 HAS SOUS 11023 HAS SOUPS 10586 WITH SCORE 11575.242
AT ITER 783 NEW BEST:: SOT 2206286 SOS 1006210 HAS SOPS 998409 HAS SOUS 10905 HAS SOUPS 10496 WITH SCORE 11502.21
AT ITER 784 NEW BEST:: SOT 2206284 SOS 1006202 HAS SOPS 998403 HAS SOUS 10904 HAS SOUPS 10495 WITH SCORE 11501.202
AT ITER 796 NEW BEST:: SOT 2206279 SOS 1005387 HAS SOPS 997588 HAS SOUS 10889 HAS SOUPS 10480 WITH SCORE 11485.387
AT ITER 815 NEW BEST:: SOT 2206279 SOS 1005382 HAS SOPS 997583 HAS SOUS 10884 HAS SOUPS 10475 WITH SCORE 11480.382
AT ITER 837 NEW BEST:: SOT 2206245 SOS 1010116 HAS SOPS 1002105 HAS SOUS 10878 HAS SOUPS 10469 WITH SCORE 11479.116
AT ITER 841 NEW BEST:: SOT 2206241 SOS 1010112 HAS SOPS 1002101 HAS SOUS 10878 HAS SOUPS 10469 WITH SCORE 11479.112
AT ITER 879 NEW BEST:: SOT 2206241 SOS 1010095 HAS SOPS 1002084 HAS SOUS 10875 HAS SOUPS 10466 WITH SCORE 11476.095
AT ITER 883 NEW BEST:: SOT 2206275 SOS 955683 HAS SOPS 947690 HAS SOUS 10909 HAS SOUPS 10500 WITH SCORE 11455.683
AT ITER 903 NEW BEST:: SOT 2206168 SOS 965805 HAS SOPS 957704 HAS SOUS 10839 HAS SOUPS 10430 WITH SCORE 11395.805
AT ITER 910 NEW BEST:: SOT 2206168 SOS 965814 HAS SOPS 957699 HAS SOUS 10828 HAS SOUPS 10419 WITH SCORE 11384.814
AT ITER 911 NEW BEST:: SOT 2206168 SOS 970119 HAS SOPS 962004 HAS SOUS 10801 HAS SOUPS 10392 WITH SCORE 11362.119
AT ITER 919 NEW BEST:: SOT 2206172 SOS 967079 HAS SOPS 958988 HAS SOUS 10793 HAS SOUPS 10384 WITH SCORE 11351.079
AT ITER 936 NEW BEST:: SOT 2220440 SOS 981351 HAS SOPS 973288 HAS SOUS 10623 HAS SOUPS 10218 WITH SCORE 11199.351
AT ITER 937 NEW BEST:: SOT 2220458 SOS 974477 HAS SOPS 966414 HAS SOUS 10626 HAS SOUPS 10221 WITH SCORE 11195.477
AT ITER 947 NEW BEST:: SOT 2220458 SOS 974765 HAS SOPS 966836 HAS SOUS 10602 HAS SOUPS 10202 WITH SCORE 11176.765
AT ITER 961 NEW BEST:: SOT 2221141 SOS 975445 HAS SOPS 967486 HAS SOUS 10567 HAS SOUPS 10167 WITH SCORE 11142.445
AT ITER 967 NEW BEST:: SOT 2221145 SOS 972423 HAS SOPS 964488 HAS SOUS 10567 HAS SOUPS 10167 WITH SCORE 11139.423
AT ITER 984 NEW BEST:: SOT 2221150 SOS 969878 HAS SOPS 961943 HAS SOUS 10555 HAS SOUPS 10155 WITH SCORE 11124.878
AT ITER 996 NEW BEST:: SOT 2221150 SOS 969876 HAS SOPS 961959 HAS SOUS 10517 HAS SOUPS 10117 WITH SCORE 11086.876
AT ITER 1006 NEW BEST:: SOT 2221138 SOS 969860 HAS SOPS 961943 HAS SOUS 10515 HAS SOUPS 10115 WITH SCORE 11084.86
AT ITER 1013 NEW BEST:: SOT 2221128 SOS 977193 HAS SOPS 969483 HAS SOUS 10448 HAS SOUPS 10058 WITH SCORE 11035.193
AT ITER 1031 NEW BEST:: SOT 2221111 SOS 974260 HAS SOPS 966550 HAS SOUS 10396 HAS SOUPS 10006 WITH SCORE 10980.26
AT ITER 1032 NEW BEST:: SOT 2221555 SOS 971037 HAS SOPS 963327 HAS SOUS 10361 HAS SOUPS 9971 WITH SCORE 10942.037
AT ITER 1037 NEW BEST:: SOT 2179890 SOS 929435 HAS SOPS 921779 HAS SOUS 10330 HAS SOUPS 9994 WITH SCORE 10923.435
AT ITER 1048 NEW BEST:: SOT 2179141 SOS 928698 HAS SOPS 921042 HAS SOUS 10311 HAS SOUPS 9975 WITH SCORE 10903.698
AT ITER 1049 NEW BEST:: SOT 2179148 SOS 924533 HAS SOPS 916877 HAS SOUS 10304 HAS SOUPS 9968 WITH SCORE 10892.533
AT ITER 1062 NEW BEST:: SOT 2176539 SOS 921928 HAS SOPS 914278 HAS SOUS 10295 HAS SOUPS 9965 WITH SCORE 10886.928
AT ITER 1065 NEW BEST:: SOT 2176537 SOS 921926 HAS SOPS 914278 HAS SOUS 10295 HAS SOUPS 9965 WITH SCORE 10886.926
AT ITER 1082 NEW BEST:: SOT 2176537 SOS 921926 HAS SOPS 914278 HAS SOUS 10291 HAS SOUPS 9961 WITH SCORE 10882.926
AT ITER 1083 NEW BEST:: SOT 2175659 SOS 921048 HAS SOPS 913425 HAS SOUS 10209 HAS SOUPS 9884 WITH SCORE 10805.048
AT ITER 1105 NEW BEST:: SOT 2175509 SOS 1008356 HAS SOPS 1001421 HAS SOUS 10119 HAS SOUPS 9794 WITH SCORE 10802.356
AT ITER 1115 NEW BEST:: SOT 2175557 SOS 998024 HAS SOPS 991089 HAS SOUS 10129 HAS SOUPS 9804 WITH SCORE 10802.024
AT ITER 1158 NEW BEST:: SOT 2175564 SOS 997911 HAS SOPS 990976 HAS SOUS 9963 HAS SOUPS 9638 WITH SCORE 10635.911
AT ITER 1165 NEW BEST:: SOT 2175564 SOS 997909 HAS SOPS 990842 HAS SOUS 9958 HAS SOUPS 9633 WITH SCORE 10630.909
AT ITER 1167 NEW BEST:: SOT 2175552 SOS 997891 HAS SOPS 990824 HAS SOUS 9952 HAS SOUPS 9627 WITH SCORE 10624.891
AT ITER 1170 NEW BEST:: SOT 2175543 SOS 997882 HAS SOPS 990815 HAS SOUS 9946 HAS SOUPS 9621 WITH SCORE 10618.882
AT ITER 1175 NEW BEST:: SOT 2175541 SOS 997880 HAS SOPS 990813 HAS SOUS 9946 HAS SOUPS 9621 WITH SCORE 10618.88
AT ITER 1193 NEW BEST:: SOT 2175053 SOS 997979 HAS SOPS 990912 HAS SOUS 9909 HAS SOUPS 9584 WITH SCORE 10581.979
AT ITER 1196 NEW BEST:: SOT 2175037 SOS 998001 HAS SOPS 990826 HAS SOUS 9855 HAS SOUPS 9530 WITH SCORE 10528.001
AT ITER 1211 NEW BEST:: SOT 2175037 SOS 997991 HAS SOPS 990816 HAS SOUS 9850 HAS SOUPS 9525 WITH SCORE 10522.991
AT ITER 1225 NEW BEST:: SOT 2175036 SOS 997990 HAS SOPS 990815 HAS SOUS 9850 HAS SOUPS 9525 WITH SCORE 10522.99
AT ITER 1250 NEW BEST:: SOT 2174980 SOS 1020412 HAS SOPS 1013240 HAS SOUS 9787 HAS SOUPS 9462 WITH SCORE 10482.412
AT ITER 1258 NEW BEST:: SOT 2174988 SOS 1020803 HAS SOPS 1013774 HAS SOUS 9714 HAS SOUPS 9396 WITH SCORE 10416.803
AT ITER 1263 NEW BEST:: SOT 2174987 SOS 1020802 HAS SOPS 1013773 HAS SOUS 9712 HAS SOUPS 9394 WITH SCORE 10414.802
AT ITER 1293 NEW BEST:: SOT 2175075 SOS 1020939 HAS SOPS 1013910 HAS SOUS 9690 HAS SOUPS 9372 WITH SCORE 10392.939
AT ITER 1333 NEW BEST:: SOT 2183752 SOS 1029552 HAS SOPS 1021614 HAS SOUS 9685 HAS SOUPS 9339 WITH SCORE 10368.552
AT ITER 1349 NEW BEST:: SOT 2183740 SOS 1026096 HAS SOPS 1018158 HAS SOUS 9682 HAS SOUPS 9336 WITH SCORE 10362.096
AT ITER 1350 NEW BEST:: SOT 2183735 SOS 1026062 HAS SOPS 1018124 HAS SOUS 9670 HAS SOUPS 9324 WITH SCORE 10350.062
AT ITER 1388 NEW BEST:: SOT 2183423 SOS 1048400 HAS SOPS 1039918 HAS SOUS 9518 HAS SOUPS 9177 WITH SCORE 10225.4
AT ITER 1392 NEW BEST:: SOT 2183422 SOS 1048437 HAS SOPS 1039915 HAS SOUS 9519 HAS SOUPS 9176 WITH SCORE 10224.437
AT ITER 1408 NEW BEST:: SOT 2183422 SOS 1048283 HAS SOPS 1039761 HAS SOUS 9519 HAS SOUPS 9176 WITH SCORE 10224.283
AT ITER 1425 NEW BEST:: SOT 2183012 SOS 1047873 HAS SOPS 1039451 HAS SOUS 9497 HAS SOUPS 9174 WITH SCORE 10221.873
AT ITER 1438 NEW BEST:: SOT 2183012 SOS 1047720 HAS SOPS 1039298 HAS SOUS 9497 HAS SOUPS 9174 WITH SCORE 10221.72
AT ITER 1449 NEW BEST:: SOT 2183010 SOS 1047703 HAS SOPS 1039301 HAS SOUS 9495 HAS SOUPS 9173 WITH SCORE 10220.703
AT ITER 1453 NEW BEST:: SOT 2181284 SOS 1045977 HAS SOPS 1037625 HAS SOUS 9337 HAS SOUPS 9025 WITH SCORE 10070.977
AT ITER 1458 NEW BEST:: SOT 2181281 SOS 1045974 HAS SOPS 1037622 HAS SOUS 9333 HAS SOUPS 9021 WITH SCORE 10066.974
AT ITER 1473 NEW BEST:: SOT 2181452 SOS 1045919 HAS SOPS 1037567 HAS SOUS 9287 HAS SOUPS 8975 WITH SCORE 10020.919
AT ITER 1532 NEW BEST:: SOT 2181452 SOS 1045996 HAS SOPS 1037644 HAS SOUS 9285 HAS SOUPS 8973 WITH SCORE 10018.996
AT ITER 1560 NEW BEST:: SOT 2181452 SOS 1045993 HAS SOPS 1037641 HAS SOUS 9282 HAS SOUPS 8970 WITH SCORE 10015.993
AT ITER 1573 NEW BEST:: SOT 2181454 SOS 1044308 HAS SOPS 1035956 HAS SOUS 9283 HAS SOUPS 8971 WITH SCORE 10015.308
AT ITER 1579 NEW BEST:: SOT 2181476 SOS 1044311 HAS SOPS 1035283 HAS SOUS 9226 HAS SOUPS 8914 WITH SCORE 9958.311
AT ITER 1589 NEW BEST:: SOT 2181475 SOS 1044309 HAS SOPS 1035281 HAS SOUS 9220 HAS SOUPS 8908 WITH SCORE 9952.309
AT ITER 1598 NEW BEST:: SOT 2181235 SOS 1044235 HAS SOPS 1035207 HAS SOUS 9210 HAS SOUPS 8898 WITH SCORE 9942.235
AT ITER 1640 NEW BEST:: SOT 2181167 SOS 1044713 HAS SOPS 1035949 HAS SOUS 9185 HAS SOUPS 8873 WITH SCORE 9917.713
AT ITER 1650 NEW BEST:: SOT 2181173 SOS 1039839 HAS SOPS 1031075 HAS SOUS 9186 HAS SOUPS 8874 WITH SCORE 9913.839
AT ITER 1662 NEW BEST:: SOT 2181134 SOS 1039796 HAS SOPS 1031032 HAS SOUS 9133 HAS SOUPS 8821 WITH SCORE 9860.796
AT ITER 1692 NEW BEST:: SOT 2181157 SOS 1039818 HAS SOPS 1031054 HAS SOUS 9129 HAS SOUPS 8817 WITH SCORE 9856.818
AT ITER 1701 NEW BEST:: SOT 2181155 SOS 1039814 HAS SOPS 1031050 HAS SOUS 9128 HAS SOUPS 8816 WITH SCORE 9855.814
AT ITER 1718 NEW BEST:: SOT 2215077 SOS 1073736 HAS SOPS 1064966 HAS SOUS 8808 HAS SOUPS 8510 WITH SCORE 9583.736
AT ITER 1727 NEW BEST:: SOT 2215079 SOS 1073738 HAS SOPS 1064968 HAS SOUS 8807 HAS SOUPS 8509 WITH SCORE 9582.738
AT ITER 1762 NEW BEST:: SOT 2215079 SOS 1073743 HAS SOPS 1064973 HAS SOUS 8804 HAS SOUPS 8506 WITH SCORE 9579.743
AT ITER 1763 NEW BEST:: SOT 2215078 SOS 1073742 HAS SOPS 1064972 HAS SOUS 8804 HAS SOUPS 8506 WITH SCORE 9579.742
AT ITER 1813 NEW BEST:: SOT 2215054 SOS 1073716 HAS SOPS 1064946 HAS SOUS 8784 HAS SOUPS 8486 WITH SCORE 9559.716
AT ITER 1818 NEW BEST:: SOT 2215059 SOS 1072591 HAS SOPS 1063821 HAS SOUS 8770 HAS SOUPS 8472 WITH SCORE 9544.591
AT ITER 1850 NEW BEST:: SOT 2224125 SOS 1081684 HAS SOPS 1073175 HAS SOUS 8241 HAS SOUPS 7956 WITH SCORE 9037.684
AT ITER 1851 NEW BEST:: SOT 2224125 SOS 1081608 HAS SOPS 1073099 HAS SOUS 8241 HAS SOUPS 7956 WITH SCORE 9037.608
AT ITER 1876 NEW BEST:: SOT 2224125 SOS 1081605 HAS SOPS 1073096 HAS SOUS 8241 HAS SOUPS 7956 WITH SCORE 9037.605
AT ITER 1911 NEW BEST:: SOT 2224132 SOS 1076109 HAS SOPS 1067600 HAS SOUS 8244 HAS SOUPS 7959 WITH SCORE 9035.109
AT ITER 1912 NEW BEST:: SOT 2224129 SOS 1076106 HAS SOPS 1067597 HAS SOUS 8244 HAS SOUPS 7959 WITH SCORE 9035.106
AT ITER 1920 NEW BEST:: SOT 2224137 SOS 1076808 HAS SOPS 1068399 HAS SOUS 8221 HAS SOUPS 7941 WITH SCORE 9017.808
AT ITER 1947 NEW BEST:: SOT 2224135 SOS 1076806 HAS SOPS 1068397 HAS SOUS 8221 HAS SOUPS 7941 WITH SCORE 9017.806
AT ITER 1962 NEW BEST:: SOT 2224146 SOS 1076817 HAS SOPS 1068402 HAS SOUS 8210 HAS SOUPS 7930 WITH SCORE 9006.817
AT ITER 2014 NEW BEST:: SOT 2224064 SOS 1076203 HAS SOPS 1067788 HAS SOUS 8161 HAS SOUPS 7881 WITH SCORE 8957.203
AT ITER 2085 NEW BEST:: SOT 2224086 SOS 1065605 HAS SOPS 1057190 HAS SOUS 8168 HAS SOUPS 7888 WITH SCORE 8953.605
AT ITER 2087 NEW BEST:: SOT 2224086 SOS 1065602 HAS SOPS 1057187 HAS SOUS 8168 HAS SOUPS 7888 WITH SCORE 8953.602
AT ITER 2106 NEW BEST:: SOT 2224091 SOS 1074675 HAS SOPS 1066420 HAS SOUS 8136 HAS SOUPS 7864 WITH SCORE 8938.675
AT ITER 2165 NEW BEST:: SOT 2224069 SOS 1074641 HAS SOPS 1066386 HAS SOUS 8104 HAS SOUPS 7832 WITH SCORE 8906.641
AT ITER 2185 NEW BEST:: SOT 2224069 SOS 1074635 HAS SOPS 1066380 HAS SOUS 8101 HAS SOUPS 7829 WITH SCORE 8903.635
AT ITER 2194 NEW BEST:: SOT 2224069 SOS 1074628 HAS SOPS 1066373 HAS SOUS 8094 HAS SOUPS 7822 WITH SCORE 8896.628
AT ITER 2207 NEW BEST:: SOT 2224057 SOS 1072144 HAS SOPS 1063889 HAS SOUS 8088 HAS SOUPS 7816 WITH SCORE 8888.144
AT ITER 2278 NEW BEST:: SOT 2224043 SOS 1076611 HAS SOPS 1068383 HAS SOUS 8078 HAS SOUPS 7806 WITH SCORE 8882.611
AT ITER 2310 NEW BEST:: SOT 2224040 SOS 1076608 HAS SOPS 1068380 HAS SOUS 8076 HAS SOUPS 7804 WITH SCORE 8880.608
AT ITER 2363 NEW BEST:: SOT 2224036 SOS 1076569 HAS SOPS 1068342 HAS SOUS 8069 HAS SOUPS 7797 WITH SCORE 8873.569
AT ITER 2384 NEW BEST:: SOT 2224036 SOS 1076803 HAS SOPS 1068576 HAS SOUS 8057 HAS SOUPS 7785 WITH SCORE 8861.803
AT ITER 2430 NEW BEST:: SOT 2223992 SOS 1076691 HAS SOPS 1068456 HAS SOUS 7986 HAS SOUPS 7714 WITH SCORE 8790.691
AT ITER 2447 NEW BEST:: SOT 2223989 SOS 1076688 HAS SOPS 1068453 HAS SOUS 7980 HAS SOUPS 7708 WITH SCORE 8784.688
AT ITER 2495 NEW BEST:: SOT 2223989 SOS 1076682 HAS SOPS 1068447 HAS SOUS 7977 HAS SOUPS 7705 WITH SCORE 8781.682
AT ITER 2515 NEW BEST:: SOT 2223988 SOS 1076660 HAS SOPS 1068425 HAS SOUS 7971 HAS SOUPS 7699 WITH SCORE 8775.66
AT ITER 2614 NEW BEST:: SOT 2223983 SOS 1076655 HAS SOPS 1068420 HAS SOUS 7969 HAS SOUPS 7697 WITH SCORE 8773.655
AT ITER 2621 NEW BEST:: SOT 2223983 SOS 1076655 HAS SOPS 1068420 HAS SOUS 7965 HAS SOUPS 7693 WITH SCORE 8769.655
AT ITER 2645 NEW BEST:: SOT 2223983 SOS 1076655 HAS SOPS 1068420 HAS SOUS 7911 HAS SOUPS 7639 WITH SCORE 8715.655
AT ITER 2695 NEW BEST:: SOT 2223983 SOS 1080342 HAS SOPS 1072173 HAS SOUS 7887 HAS SOUPS 7618 WITH SCORE 8698.342
AT ITER 2838 NEW BEST:: SOT 2223983 SOS 1079962 HAS SOPS 1071773 HAS SOUS 7881 HAS SOUPS 7611 WITH SCORE 8690.962
AT ITER 2898 NEW BEST:: SOT 2223982 SOS 1079939 HAS SOPS 1071770 HAS SOUS 7880 HAS SOUPS 7611 WITH SCORE 8690.939
AT ITER 2920 NEW BEST:: SOT 2223953 SOS 1079939 HAS SOPS 1071770 HAS SOUS 7862 HAS SOUPS 7593 WITH SCORE 8672.939
AT ITER 2981 NEW BEST:: SOT 2223953 SOS 1079939 HAS SOPS 1071770 HAS SOUS 7859 HAS SOUPS 7590 WITH SCORE 8669.939
AT ITER 3022 NEW BEST:: SOT 2223953 SOS 1054303 HAS SOPS 1045915 HAS SOUS 7874 HAS SOUPS 7605 WITH SCORE 8659.303
AT ITER 3030 NEW BEST:: SOT 2223949 SOS 1054295 HAS SOPS 1045907 HAS SOUS 7854 HAS SOUPS 7585 WITH SCORE 8639.295
AT ITER 3073 NEW BEST:: SOT 2223955 SOS 1054039 HAS SOPS 1045651 HAS SOUS 7854 HAS SOUPS 7585 WITH SCORE 8639.039
AT ITER 3134 NEW BEST:: SOT 2223891 SOS 1087211 HAS SOPS 1078823 HAS SOUS 7812 HAS SOUPS 7543 WITH SCORE 8630.211
AT ITER 3165 NEW BEST:: SOT 2223891 SOS 1082931 HAS SOPS 1074533 HAS SOUS 7807 HAS SOUPS 7538 WITH SCORE 8620.931
AT ITER 3336 NEW BEST:: SOT 2223885 SOS 1082925 HAS SOPS 1074527 HAS SOUS 7804 HAS SOUPS 7535 WITH SCORE 8617.925
AT ITER 3412 NEW BEST:: SOT 2223879 SOS 1082913 HAS SOPS 1074515 HAS SOUS 7781 HAS SOUPS 7512 WITH SCORE 8594.913
AT ITER 3471 NEW BEST:: SOT 2223881 SOS 1082984 HAS SOPS 1074586 HAS SOUS 7757 HAS SOUPS 7488 WITH SCORE 8570.984
AT ITER 3507 NEW BEST:: SOT 2223923 SOS 1061270 HAS SOPS 1052872 HAS SOUS 7768 HAS SOUPS 7499 WITH SCORE 8560.27
AT ITER 3634 NEW BEST:: SOT 2223923 SOS 1060964 HAS SOPS 1052566 HAS SOUS 7768 HAS SOUPS 7499 WITH SCORE 8559.964
AT ITER 3752 NEW BEST:: SOT 2223923 SOS 1060164 HAS SOPS 1051766 HAS SOUS 7760 HAS SOUPS 7491 WITH SCORE 8551.164
AT ITER 3762 NEW BEST:: SOT 2223748 SOS 1059988 HAS SOPS 1051586 HAS SOUS 7715 HAS SOUPS 7446 WITH SCORE 8505.988
AT ITER 3820 NEW BEST:: SOT 2223748 SOS 1059835 HAS SOPS 1051433 HAS SOUS 7715 HAS SOUPS 7446 WITH SCORE 8505.835
AT ITER 3825 NEW BEST:: SOT 2223748 SOS 1059834 HAS SOPS 1051432 HAS SOUS 7715 HAS SOUPS 7446 WITH SCORE 8505.834
AT ITER 3858 NEW BEST:: SOT 2223739 SOS 1059825 HAS SOPS 1051398 HAS SOUS 7710 HAS SOUPS 7436 WITH SCORE 8495.825
AT ITER 3867 NEW BEST:: SOT 2223739 SOS 1059843 HAS SOPS 1051680 HAS SOUS 7702 HAS SOUPS 7432 WITH SCORE 8491.843
AT ITER 3895 NEW BEST:: SOT 2223736 SOS 1059840 HAS SOPS 1051677 HAS SOUS 7700 HAS SOUPS 7430 WITH SCORE 8489.84
AT ITER 3992 NEW BEST:: SOT 2223743 SOS 1054344 HAS SOPS 1046181 HAS SOUS 7703 HAS SOUPS 7433 WITH SCORE 8487.344000000001
AT ITER 4025 NEW BEST:: SOT 2223743 SOS 1053732 HAS SOPS 1045569 HAS SOUS 7703 HAS SOUPS 7433 WITH SCORE 8486.732
AT ITER 4067 NEW BEST:: SOT 2223741 SOS 1053734 HAS SOPS 1045567 HAS SOUS 7702 HAS SOUPS 7432 WITH SCORE 8485.734
AT ITER 4072 NEW BEST:: SOT 2223741 SOS 1053728 HAS SOPS 1045561 HAS SOUS 7702 HAS SOUPS 7432 WITH SCORE 8485.728
AT ITER 4173 NEW BEST:: SOT 2223737 SOS 1053724 HAS SOPS 1045557 HAS SOUS 7702 HAS SOUPS 7432 WITH SCORE 8485.724
AT ITER 4204 NEW BEST:: SOT 2223733 SOS 1053720 HAS SOPS 1045553 HAS SOUS 7702 HAS SOUPS 7432 WITH SCORE 8485.72
AT ITER 4214 NEW BEST:: SOT 2223733 SOS 1053720 HAS SOPS 1045553 HAS SOUS 7698 HAS SOUPS 7428 WITH SCORE 8481.72
AT ITER 4294 NEW BEST:: SOT 2223733 SOS 1053720 HAS SOPS 1045553 HAS SOUS 7697 HAS SOUPS 7427 WITH SCORE 8480.72
AT ITER 4307 NEW BEST:: SOT 2223719 SOS 1053708 HAS SOPS 1045541 HAS SOUS 7693 HAS SOUPS 7423 WITH SCORE 8476.708
AT ITER 4488 NEW BEST:: SOT 2223707 SOS 1053696 HAS SOPS 1045529 HAS SOUS 7687 HAS SOUPS 7417 WITH SCORE 8470.696
AT ITER 4615 NEW BEST:: SOT 2223706 SOS 1053696 HAS SOPS 1045525 HAS SOUS 7675 HAS SOUPS 7405 WITH SCORE 8458.696
AT ITER 4683 NEW BEST:: SOT 2223288 SOS 1053278 HAS SOPS 1045157 HAS SOUS 7643 HAS SOUPS 7383 WITH SCORE 8436.278
AT ITER 4717 NEW BEST:: SOT 2223283 SOS 1053273 HAS SOPS 1045152 HAS SOUS 7636 HAS SOUPS 7376 WITH SCORE 8429.273
AT ITER 4720 NEW BEST:: SOT 2223268 SOS 1053263 HAS SOPS 1045142 HAS SOUS 7635 HAS SOUPS 7375 WITH SCORE 8428.262999999999
AT ITER 4723 NEW BEST:: SOT 2223212 SOS 1053943 HAS SOPS 1045822 HAS SOUS 7629 HAS SOUPS 7369 WITH SCORE 8422.943
AT ITER 4783 NEW BEST:: SOT 2223213 SOS 1053938 HAS SOPS 1045681 HAS SOUS 7622 HAS SOUPS 7362 WITH SCORE 8415.938
AT ITER 4974 NEW BEST:: SOT 2223215 SOS 1053928 HAS SOPS 1045399 HAS SOUS 7608 HAS SOUPS 7344 WITH SCORE 8397.928
AT ITER 4981 NEW BEST:: SOT 2223211 SOS 1053924 HAS SOPS 1045395 HAS SOUS 7608 HAS SOUPS 7344 WITH SCORE 8397.923999999999
AT ITER 5049 NEW BEST:: SOT 2223211 SOS 1053924 HAS SOPS 1045395 HAS SOUS 7606 HAS SOUPS 7342 WITH SCORE 8395.923999999999
AT ITER 5113 NEW BEST:: SOT 2223211 SOS 1053924 HAS SOPS 1045395 HAS SOUS 7604 HAS SOUPS 7340 WITH SCORE 8393.923999999999
AT ITER 5368 NEW BEST:: SOT 2223211 SOS 1053926 HAS SOPS 1045397 HAS SOUS 7603 HAS SOUPS 7339 WITH SCORE 8392.926
AT ITER 5399 NEW BEST:: SOT 2223207 SOS 1053918 HAS SOPS 1045389 HAS SOUS 7583 HAS SOUPS 7319 WITH SCORE 8372.918
AT ITER 5563 NEW BEST:: SOT 2222771 SOS 1053482 HAS SOPS 1044953 HAS SOUS 7541 HAS SOUPS 7277 WITH SCORE 8330.482
AT ITER 5717 NEW BEST:: SOT 2222771 SOS 1053482 HAS SOPS 1044953 HAS SOUS 7537 HAS SOUPS 7273 WITH SCORE 8326.482
AT ITER 5785 NEW BEST:: SOT 2222771 SOS 1053486 HAS SOPS 1044949 HAS SOUS 7530 HAS SOUPS 7266 WITH SCORE 8319.486
AT ITER 5961 NEW BEST:: SOT 2219923 SOS 1050638 HAS SOPS 1042101 HAS SOUS 7466 HAS SOUPS 7202 WITH SCORE 8252.637999999999
AT ITER 5972 NEW BEST:: SOT 2219922 SOS 1050629 HAS SOPS 1042092 HAS SOUS 7460 HAS SOUPS 7196 WITH SCORE 8246.629
AT ITER 5974 NEW BEST:: SOT 2219917 SOS 1050605 HAS SOPS 1042068 HAS SOUS 7459 HAS SOUPS 7195 WITH SCORE 8245.605
AT ITER 6065 NEW BEST:: SOT 2219919 SOS 1050600 HAS SOPS 1041931 HAS SOUS 7454 HAS SOUPS 7190 WITH SCORE 8240.6
AT ITER 6310 NEW BEST:: SOT 2219919 SOS 1050600 HAS SOPS 1041931 HAS SOUS 7452 HAS SOUPS 7188 WITH SCORE 8238.6
AT ITER 6649 NEW BEST:: SOT 2219920 SOS 1050600 HAS SOPS 1041801 HAS SOUS 7450 HAS SOUPS 7184 WITH SCORE 8234.6
AT ITER 6671 NEW BEST:: SOT 2219924 SOS 1050608 HAS SOPS 1041809 HAS SOUS 7442 HAS SOUPS 7176 WITH SCORE 8226.608
AT ITER 6731 NEW BEST:: SOT 2219956 SOS 1036146 HAS SOPS 1027301 HAS SOUS 7436 HAS SOUPS 7170 WITH SCORE 8206.146
AT ITER 6748 NEW BEST:: SOT 2219956 SOS 1036128 HAS SOPS 1027019 HAS SOUS 7428 HAS SOUPS 7162 WITH SCORE 8198.128
AT ITER 6960 NEW BEST:: SOT 2219953 SOS 1032905 HAS SOPS 1023796 HAS SOUS 7429 HAS SOUPS 7163 WITH SCORE 8195.905
AT ITER 7213 NEW BEST:: SOT 2219955 SOS 1032776 HAS SOPS 1023667 HAS SOUS 7423 HAS SOUPS 7157 WITH SCORE 8189.776
AT ITER 7620 NEW BEST:: SOT 2219955 SOS 1032776 HAS SOPS 1023667 HAS SOUS 7421 HAS SOUPS 7155 WITH SCORE 8187.776
AT ITER 7657 NEW BEST:: SOT 2219953 SOS 1032774 HAS SOPS 1023665 HAS SOUS 7419 HAS SOUPS 7153 WITH SCORE 8185.774
AT ITER 7659 NEW BEST:: SOT 2219960 SOS 1032774 HAS SOPS 1023407 HAS SOUS 7416 HAS SOUPS 7150 WITH SCORE 8182.774
AT ITER 7964 NEW BEST:: SOT 2219960 SOS 1032781 HAS SOPS 1023414 HAS SOUS 7415 HAS SOUPS 7149 WITH SCORE 8181.781
AT ITER 8057 NEW BEST:: SOT 2219951 SOS 1032763 HAS SOPS 1023396 HAS SOUS 7415 HAS SOUPS 7149 WITH SCORE 8181.763
AT ITER 8247 NEW BEST:: SOT 2219951 SOS 1032763 HAS SOPS 1023396 HAS SOUS 7413 HAS SOUPS 7147 WITH SCORE 8179.763
AT ITER 8471 NEW BEST:: SOT 2219949 SOS 1032761 HAS SOPS 1023394 HAS SOUS 7413 HAS SOUPS 7147 WITH SCORE 8179.761
AT ITER 8495 NEW BEST:: SOT 2219949 SOS 1032684 HAS SOPS 1023317 HAS SOUS 7413 HAS SOUPS 7147 WITH SCORE 8179.684
AT ITER 8732 NEW BEST:: SOT 2220038 SOS 1018282 HAS SOPS 1009227 HAS SOUS 7418 HAS SOUPS 7155 WITH SCORE 8173.282
AT ITER 8757 NEW BEST:: SOT 2220038 SOS 1018282 HAS SOPS 1009227 HAS SOUS 7410 HAS SOUPS 7147 WITH SCORE 8165.282
AT ITER 8900 NEW BEST:: SOT 2220038 SOS 1018279 HAS SOPS 1009224 HAS SOUS 7410 HAS SOUPS 7147 WITH SCORE 8165.279
AT ITER 9234 NEW BEST:: SOT 2220044 SOS 1015971 HAS SOPS 1006916 HAS SOUS 7409 HAS SOUPS 7146 WITH SCORE 8161.971
AT ITER 9549 NEW BEST:: SOT 2220038 SOS 1015965 HAS SOPS 1006910 HAS SOUS 7407 HAS SOUPS 7144 WITH SCORE 8159.965
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15849376 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16118252 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ARMCacheCoherence-PT-none"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
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-5348"
echo " Executing tool smart"
echo " Input is ARMCacheCoherence-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590300008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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