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.r099-tall-167814472700632.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 DLCround-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472700632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 18:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 18:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 25 18:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K 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 1678255478560

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=DLCround-PT-03b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 03b
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: 1383 places, 1887 transitions, 4809 arcs.
AT ITER 0 NEW BEST:: SOT 1530587 SOS 280738 HAS SOPS 280738 HAS SOUS 223983 HAS SOUPS 223983 WITH SCORE 224263.738
AT ITER 29 NEW BEST:: SOT 1530529 SOS 280684 HAS SOPS 280684 HAS SOUS 223925 HAS SOUPS 223925 WITH SCORE 224205.684
AT ITER 60 NEW BEST:: SOT 1530464 SOS 280555 HAS SOPS 280555 HAS SOUS 223796 HAS SOUPS 223796 WITH SCORE 224076.555
AT ITER 61 NEW BEST:: SOT 1530409 SOS 280500 HAS SOPS 280500 HAS SOUS 223741 HAS SOUPS 223741 WITH SCORE 224021.5
AT ITER 75 NEW BEST:: SOT 1530374 SOS 280465 HAS SOPS 280465 HAS SOUS 223671 HAS SOUPS 223671 WITH SCORE 223951.465
AT ITER 99 NEW BEST:: SOT 1530248 SOS 280339 HAS SOPS 280339 HAS SOUS 223419 HAS SOUPS 223419 WITH SCORE 223699.339
AT ITER 101 NEW BEST:: SOT 1530216 SOS 280275 HAS SOPS 280275 HAS SOUS 223355 HAS SOUPS 223355 WITH SCORE 223635.275
AT ITER 103 NEW BEST:: SOT 1530153 SOS 280212 HAS SOPS 280212 HAS SOUS 223292 HAS SOUPS 223292 WITH SCORE 223572.212
AT ITER 104 NEW BEST:: SOT 1530152 SOS 280473 HAS SOPS 280473 HAS SOUS 223289 HAS SOUPS 223289 WITH SCORE 223569.473
AT ITER 116 NEW BEST:: SOT 1529925 SOS 280445 HAS SOPS 280445 HAS SOUS 223261 HAS SOUPS 223261 WITH SCORE 223541.445
AT ITER 124 NEW BEST:: SOT 1529611 SOS 280157 HAS SOPS 280157 HAS SOUS 222947 HAS SOUPS 222947 WITH SCORE 223227.157
AT ITER 138 NEW BEST:: SOT 1529524 SOS 280070 HAS SOPS 280070 HAS SOUS 222860 HAS SOUPS 222860 WITH SCORE 223140.07
AT ITER 155 NEW BEST:: SOT 1529524 SOS 279887 HAS SOPS 279887 HAS SOUS 222860 HAS SOUPS 222860 WITH SCORE 223139.887
AT ITER 170 NEW BEST:: SOT 1528881 SOS 279464 HAS SOPS 279464 HAS SOUS 222447 HAS SOUPS 222447 WITH SCORE 222726.464
AT ITER 182 NEW BEST:: SOT 1528850 SOS 279433 HAS SOPS 279433 HAS SOUS 222416 HAS SOUPS 222416 WITH SCORE 222695.433
AT ITER 212 NEW BEST:: SOT 1528552 SOS 279284 HAS SOPS 279284 HAS SOUS 222267 HAS SOUPS 222267 WITH SCORE 222546.284
AT ITER 225 NEW BEST:: SOT 1528550 SOS 279280 HAS SOPS 279280 HAS SOUS 222263 HAS SOUPS 222263 WITH SCORE 222542.28
AT ITER 240 NEW BEST:: SOT 1528492 SOS 279251 HAS SOPS 279251 HAS SOUS 222234 HAS SOUPS 222234 WITH SCORE 222513.251
AT ITER 249 NEW BEST:: SOT 1528111 SOS 281077 HAS SOPS 281077 HAS SOUS 222053 HAS SOUPS 222053 WITH SCORE 222334.077
AT ITER 289 NEW BEST:: SOT 1527849 SOS 280553 HAS SOPS 280553 HAS SOUS 221529 HAS SOUPS 221529 WITH SCORE 221809.553
AT ITER 316 NEW BEST:: SOT 1527644 SOS 280516 HAS SOPS 280516 HAS SOUS 221443 HAS SOUPS 221443 WITH SCORE 221723.516
AT ITER 328 NEW BEST:: SOT 1527644 SOS 280516 HAS SOPS 280516 HAS SOUS 221425 HAS SOUPS 221425 WITH SCORE 221705.516
AT ITER 344 NEW BEST:: SOT 1526875 SOS 280280 HAS SOPS 280280 HAS SOUS 221028 HAS SOUPS 221028 WITH SCORE 221308.28
AT ITER 347 NEW BEST:: SOT 1526740 SOS 280141 HAS SOPS 280141 HAS SOUS 220892 HAS SOUPS 220892 WITH SCORE 221172.141
AT ITER 400 NEW BEST:: SOT 1526740 SOS 280141 HAS SOPS 280141 HAS SOUS 220639 HAS SOUPS 220639 WITH SCORE 220919.141
AT ITER 410 NEW BEST:: SOT 1526671 SOS 280003 HAS SOPS 280003 HAS SOUS 220501 HAS SOUPS 220501 WITH SCORE 220781.003
AT ITER 418 NEW BEST:: SOT 1526529 SOS 279860 HAS SOPS 279860 HAS SOUS 220358 HAS SOUPS 220358 WITH SCORE 220637.86
AT ITER 424 NEW BEST:: SOT 1526509 SOS 279820 HAS SOPS 279820 HAS SOUS 220338 HAS SOUPS 220338 WITH SCORE 220617.82
AT ITER 453 NEW BEST:: SOT 1526239 SOS 279880 HAS SOPS 279880 HAS SOUS 220301 HAS SOUPS 220301 WITH SCORE 220580.88
AT ITER 457 NEW BEST:: SOT 1526189 SOS 279780 HAS SOPS 279780 HAS SOUS 220201 HAS SOUPS 220201 WITH SCORE 220480.78
AT ITER 464 NEW BEST:: SOT 1526171 SOS 279808 HAS SOPS 279808 HAS SOUS 220181 HAS SOUPS 220181 WITH SCORE 220460.808
AT ITER 480 NEW BEST:: SOT 1526119 SOS 279782 HAS SOPS 279782 HAS SOUS 220155 HAS SOUPS 220155 WITH SCORE 220434.782
AT ITER 487 NEW BEST:: SOT 1526086 SOS 279716 HAS SOPS 279716 HAS SOUS 220089 HAS SOUPS 220089 WITH SCORE 220368.716
AT ITER 489 NEW BEST:: SOT 1525001 SOS 278631 HAS SOPS 278631 HAS SOUS 219004 HAS SOUPS 219004 WITH SCORE 219282.631
AT ITER 504 NEW BEST:: SOT 1524814 SOS 278257 HAS SOPS 278257 HAS SOUS 218678 HAS SOUPS 218678 WITH SCORE 218956.257
AT ITER 518 NEW BEST:: SOT 1524433 SOS 277876 HAS SOPS 277876 HAS SOUS 218297 HAS SOUPS 218297 WITH SCORE 218574.876
AT ITER 581 NEW BEST:: SOT 1524378 SOS 277821 HAS SOPS 277821 HAS SOUS 218242 HAS SOUPS 218242 WITH SCORE 218519.821
AT ITER 607 NEW BEST:: SOT 1524377 SOS 277933 HAS SOPS 277933 HAS SOUS 218240 HAS SOUPS 218240 WITH SCORE 218517.933
AT ITER 680 NEW BEST:: SOT 1524377 SOS 278000 HAS SOPS 278000 HAS SOUS 218239 HAS SOUPS 218239 WITH SCORE 218517.0
AT ITER 684 NEW BEST:: SOT 1524269 SOS 277892 HAS SOPS 277892 HAS SOUS 218131 HAS SOUPS 218131 WITH SCORE 218408.892
AT ITER 687 NEW BEST:: SOT 1524137 SOS 277798 HAS SOPS 277798 HAS SOUS 218040 HAS SOUPS 218040 WITH SCORE 218317.798
AT ITER 709 NEW BEST:: SOT 1524217 SOS 277958 HAS SOPS 277958 HAS SOUS 217747 HAS SOUPS 217747 WITH SCORE 218024.958
AT ITER 756 NEW BEST:: SOT 1524137 SOS 277916 HAS SOPS 277916 HAS SOUS 217705 HAS SOUPS 217705 WITH SCORE 217982.916
AT ITER 765 NEW BEST:: SOT 1523701 SOS 277842 HAS SOPS 277842 HAS SOUS 217269 HAS SOUPS 217269 WITH SCORE 217546.842
AT ITER 775 NEW BEST:: SOT 1523539 SOS 277680 HAS SOPS 277680 HAS SOUS 217107 HAS SOUPS 217107 WITH SCORE 217384.68
AT ITER 776 NEW BEST:: SOT 1523502 SOS 277606 HAS SOPS 277606 HAS SOUS 216981 HAS SOUPS 216981 WITH SCORE 217258.606
AT ITER 784 NEW BEST:: SOT 1523489 SOS 277580 HAS SOPS 277580 HAS SOUS 216968 HAS SOUPS 216968 WITH SCORE 217245.58
AT ITER 818 NEW BEST:: SOT 1523359 SOS 277320 HAS SOPS 277320 HAS SOUS 216708 HAS SOUPS 216708 WITH SCORE 216985.32
AT ITER 848 NEW BEST:: SOT 1523198 SOS 280268 HAS SOPS 280268 HAS SOUS 216419 HAS SOUPS 216419 WITH SCORE 216699.268
AT ITER 871 NEW BEST:: SOT 1523168 SOS 280268 HAS SOPS 280268 HAS SOUS 216404 HAS SOUPS 216404 WITH SCORE 216684.268
AT ITER 881 NEW BEST:: SOT 1523109 SOS 280273 HAS SOPS 280273 HAS SOUS 216386 HAS SOUPS 216386 WITH SCORE 216666.273
AT ITER 884 NEW BEST:: SOT 1522986 SOS 280027 HAS SOPS 280027 HAS SOUS 216140 HAS SOUPS 216140 WITH SCORE 216420.027
AT ITER 886 NEW BEST:: SOT 1521931 SOS 283063 HAS SOPS 283063 HAS SOUS 215801 HAS SOUPS 215801 WITH SCORE 216084.063
AT ITER 901 NEW BEST:: SOT 1521911 SOS 282843 HAS SOPS 282843 HAS SOUS 215761 HAS SOUPS 215761 WITH SCORE 216043.843
AT ITER 936 NEW BEST:: SOT 1521699 SOS 282563 HAS SOPS 282563 HAS SOUS 215532 HAS SOUPS 215532 WITH SCORE 215814.563
AT ITER 953 NEW BEST:: SOT 1521661 SOS 282563 HAS SOPS 282563 HAS SOUS 215494 HAS SOUPS 215494 WITH SCORE 215776.563
AT ITER 955 NEW BEST:: SOT 1521548 SOS 282450 HAS SOPS 282450 HAS SOUS 215381 HAS SOUPS 215381 WITH SCORE 215663.45
AT ITER 962 NEW BEST:: SOT 1521487 SOS 281779 HAS SOPS 281779 HAS SOUS 215259 HAS SOUPS 215259 WITH SCORE 215540.779
AT ITER 966 NEW BEST:: SOT 1521478 SOS 281761 HAS SOPS 281761 HAS SOUS 215250 HAS SOUPS 215250 WITH SCORE 215531.761
AT ITER 972 NEW BEST:: SOT 1521387 SOS 281628 HAS SOPS 281628 HAS SOUS 215117 HAS SOUPS 215117 WITH SCORE 215398.628
AT ITER 982 NEW BEST:: SOT 1520468 SOS 284254 HAS SOPS 284254 HAS SOUS 214616 HAS SOUPS 214616 WITH SCORE 214900.254
AT ITER 995 NEW BEST:: SOT 1520153 SOS 284009 HAS SOPS 284009 HAS SOUS 214511 HAS SOUPS 214511 WITH SCORE 214795.009
AT ITER 1009 NEW BEST:: SOT 1519058 SOS 284315 HAS SOPS 284315 HAS SOUS 214084 HAS SOUPS 214084 WITH SCORE 214368.315
AT ITER 1043 NEW BEST:: SOT 1519057 SOS 284313 HAS SOPS 284313 HAS SOUS 214082 HAS SOUPS 214082 WITH SCORE 214366.313
AT ITER 1045 NEW BEST:: SOT 1519057 SOS 284306 HAS SOPS 284306 HAS SOUS 214075 HAS SOUPS 214075 WITH SCORE 214359.306
AT ITER 1053 NEW BEST:: SOT 1517822 SOS 284094 HAS SOPS 284094 HAS SOUS 213064 HAS SOUPS 213064 WITH SCORE 213348.094
AT ITER 1060 NEW BEST:: SOT 1517822 SOS 284094 HAS SOPS 284094 HAS SOUS 213025 HAS SOUPS 213025 WITH SCORE 213309.094
AT ITER 1075 NEW BEST:: SOT 1517735 SOS 283374 HAS SOPS 283374 HAS SOUS 212851 HAS SOUPS 212851 WITH SCORE 213134.374
AT ITER 1079 NEW BEST:: SOT 1517715 SOS 283322 HAS SOPS 283322 HAS SOUS 212799 HAS SOUPS 212799 WITH SCORE 213082.322
AT ITER 1111 NEW BEST:: SOT 1517679 SOS 283286 HAS SOPS 283286 HAS SOUS 212769 HAS SOUPS 212769 WITH SCORE 213052.286
AT ITER 1145 NEW BEST:: SOT 1517668 SOS 283264 HAS SOPS 283264 HAS SOUS 212758 HAS SOUPS 212758 WITH SCORE 213041.264
AT ITER 1153 NEW BEST:: SOT 1517638 SOS 283204 HAS SOPS 283204 HAS SOUS 212728 HAS SOUPS 212728 WITH SCORE 213011.204
AT ITER 1154 NEW BEST:: SOT 1517582 SOS 283092 HAS SOPS 283092 HAS SOUS 212616 HAS SOUPS 212616 WITH SCORE 212899.092
AT ITER 1159 NEW BEST:: SOT 1517473 SOS 282874 HAS SOPS 282874 HAS SOUS 212398 HAS SOUPS 212398 WITH SCORE 212680.874
AT ITER 1188 NEW BEST:: SOT 1517469 SOS 282866 HAS SOPS 282866 HAS SOUS 212390 HAS SOUPS 212390 WITH SCORE 212672.866
AT ITER 1216 NEW BEST:: SOT 1517469 SOS 282866 HAS SOPS 282866 HAS SOUS 212337 HAS SOUPS 212337 WITH SCORE 212619.866
AT ITER 1223 NEW BEST:: SOT 1517338 SOS 282691 HAS SOPS 282691 HAS SOUS 212162 HAS SOUPS 212162 WITH SCORE 212444.691
AT ITER 1226 NEW BEST:: SOT 1517144 SOS 282594 HAS SOPS 282594 HAS SOUS 212065 HAS SOUPS 212065 WITH SCORE 212347.594
AT ITER 1227 NEW BEST:: SOT 1517097 SOS 282500 HAS SOPS 282500 HAS SOUS 211971 HAS SOUPS 211971 WITH SCORE 212253.5
AT ITER 1266 NEW BEST:: SOT 1517110 SOS 282471 HAS SOPS 282471 HAS SOUS 211942 HAS SOUPS 211942 WITH SCORE 212224.471
AT ITER 1280 NEW BEST:: SOT 1517096 SOS 282457 HAS SOPS 282457 HAS SOUS 211928 HAS SOUPS 211928 WITH SCORE 212210.457
AT ITER 1288 NEW BEST:: SOT 1516599 SOS 281922 HAS SOPS 281922 HAS SOUS 211393 HAS SOUPS 211393 WITH SCORE 211674.922
AT ITER 1297 NEW BEST:: SOT 1516598 SOS 282084 HAS SOPS 282084 HAS SOUS 211391 HAS SOUPS 211391 WITH SCORE 211673.084
AT ITER 1321 NEW BEST:: SOT 1516407 SOS 281915 HAS SOPS 281915 HAS SOUS 211222 HAS SOUPS 211222 WITH SCORE 211503.915
AT ITER 1331 NEW BEST:: SOT 1516364 SOS 281829 HAS SOPS 281829 HAS SOUS 211136 HAS SOUPS 211136 WITH SCORE 211417.829
AT ITER 1405 NEW BEST:: SOT 1516364 SOS 281969 HAS SOPS 281969 HAS SOUS 211135 HAS SOUPS 211135 WITH SCORE 211416.969
AT ITER 1410 NEW BEST:: SOT 1516362 SOS 281965 HAS SOPS 281965 HAS SOUS 211131 HAS SOUPS 211131 WITH SCORE 211412.965
AT ITER 1416 NEW BEST:: SOT 1516076 SOS 281757 HAS SOPS 281757 HAS SOUS 210923 HAS SOUPS 210923 WITH SCORE 211204.757
AT ITER 1462 NEW BEST:: SOT 1516052 SOS 281733 HAS SOPS 281733 HAS SOUS 210899 HAS SOUPS 210899 WITH SCORE 211180.733
AT ITER 1513 NEW BEST:: SOT 1516052 SOS 281672 HAS SOPS 281672 HAS SOUS 210838 HAS SOUPS 210838 WITH SCORE 211119.672
AT ITER 1522 NEW BEST:: SOT 1515980 SOS 281528 HAS SOPS 281528 HAS SOUS 210694 HAS SOUPS 210694 WITH SCORE 210975.528
AT ITER 1541 NEW BEST:: SOT 1515980 SOS 281528 HAS SOPS 281528 HAS SOUS 210616 HAS SOUPS 210616 WITH SCORE 210897.528
AT ITER 1548 NEW BEST:: SOT 1515719 SOS 281212 HAS SOPS 281212 HAS SOUS 210151 HAS SOUPS 210151 WITH SCORE 210432.212
AT ITER 1562 NEW BEST:: SOT 1515626 SOS 281026 HAS SOPS 281026 HAS SOUS 209791 HAS SOUPS 209791 WITH SCORE 210072.026
AT ITER 1569 NEW BEST:: SOT 1515073 SOS 280406 HAS SOPS 280406 HAS SOUS 209171 HAS SOUPS 209171 WITH SCORE 209451.406
AT ITER 1593 NEW BEST:: SOT 1515072 SOS 280530 HAS SOPS 280530 HAS SOUS 209169 HAS SOUPS 209169 WITH SCORE 209449.53
AT ITER 1616 NEW BEST:: SOT 1515142 SOS 281367 HAS SOPS 281367 HAS SOUS 209166 HAS SOUPS 209166 WITH SCORE 209447.367
AT ITER 1647 NEW BEST:: SOT 1514848 SOS 281159 HAS SOPS 281159 HAS SOUS 208622 HAS SOUPS 208622 WITH SCORE 208903.159
AT ITER 1710 NEW BEST:: SOT 1514673 SOS 280809 HAS SOPS 280809 HAS SOUS 208272 HAS SOUPS 208272 WITH SCORE 208552.809
AT ITER 1716 NEW BEST:: SOT 1514660 SOS 280783 HAS SOPS 280783 HAS SOUS 208259 HAS SOUPS 208259 WITH SCORE 208539.783
AT ITER 1729 NEW BEST:: SOT 1513963 SOS 280420 HAS SOPS 280420 HAS SOUS 208012 HAS SOUPS 208012 WITH SCORE 208292.42
AT ITER 1753 NEW BEST:: SOT 1513963 SOS 280376 HAS SOPS 280376 HAS SOUS 208012 HAS SOUPS 208012 WITH SCORE 208292.376
AT ITER 1825 NEW BEST:: SOT 1513303 SOS 279274 HAS SOPS 279274 HAS SOUS 207163 HAS SOUPS 207163 WITH SCORE 207442.274
AT ITER 1838 NEW BEST:: SOT 1513157 SOS 278982 HAS SOPS 278982 HAS SOUS 206762 HAS SOUPS 206762 WITH SCORE 207040.982
AT ITER 1846 NEW BEST:: SOT 1513100 SOS 278868 HAS SOPS 278868 HAS SOUS 206696 HAS SOUPS 206696 WITH SCORE 206974.868
AT ITER 1860 NEW BEST:: SOT 1512938 SOS 279015 HAS SOPS 279015 HAS SOUS 206691 HAS SOUPS 206691 WITH SCORE 206970.015
AT ITER 1865 NEW BEST:: SOT 1512938 SOS 278889 HAS SOPS 278889 HAS SOUS 206691 HAS SOUPS 206691 WITH SCORE 206969.889
AT ITER 1869 NEW BEST:: SOT 1512897 SOS 278807 HAS SOPS 278807 HAS SOUS 206494 HAS SOUPS 206494 WITH SCORE 206772.807
AT ITER 1891 NEW BEST:: SOT 1512690 SOS 278616 HAS SOPS 278616 HAS SOUS 206303 HAS SOUPS 206303 WITH SCORE 206581.616
AT ITER 1892 NEW BEST:: SOT 1512671 SOS 278578 HAS SOPS 278578 HAS SOUS 206243 HAS SOUPS 206243 WITH SCORE 206521.578
AT ITER 1975 NEW BEST:: SOT 1512373 SOS 280673 HAS SOPS 280673 HAS SOUS 205646 HAS SOUPS 205646 WITH SCORE 205926.673
AT ITER 1991 NEW BEST:: SOT 1512373 SOS 280627 HAS SOPS 280627 HAS SOUS 205646 HAS SOUPS 205646 WITH SCORE 205926.627
AT ITER 2014 NEW BEST:: SOT 1512332 SOS 280545 HAS SOPS 280545 HAS SOUS 205564 HAS SOUPS 205564 WITH SCORE 205844.545
AT ITER 2050 NEW BEST:: SOT 1512121 SOS 280329 HAS SOPS 280329 HAS SOUS 205348 HAS SOUPS 205348 WITH SCORE 205628.329
AT ITER 2070 NEW BEST:: SOT 1512121 SOS 280288 HAS SOPS 280288 HAS SOUS 205307 HAS SOUPS 205307 WITH SCORE 205587.288
AT ITER 2109 NEW BEST:: SOT 1512135 SOS 280316 HAS SOPS 280316 HAS SOUS 205088 HAS SOUPS 205088 WITH SCORE 205368.316
AT ITER 2133 NEW BEST:: SOT 1512017 SOS 279950 HAS SOPS 279950 HAS SOUS 204840 HAS SOUPS 204840 WITH SCORE 205119.95
AT ITER 2137 NEW BEST:: SOT 1511787 SOS 279490 HAS SOPS 279490 HAS SOUS 204610 HAS SOUPS 204610 WITH SCORE 204889.49
AT ITER 2140 NEW BEST:: SOT 1511627 SOS 279320 HAS SOPS 279320 HAS SOUS 204449 HAS SOUPS 204449 WITH SCORE 204728.32
AT ITER 2200 NEW BEST:: SOT 1511622 SOS 279310 HAS SOPS 279310 HAS SOUS 204308 HAS SOUPS 204308 WITH SCORE 204587.31
AT ITER 2208 NEW BEST:: SOT 1511605 SOS 279292 HAS SOPS 279292 HAS SOUS 204290 HAS SOUPS 204290 WITH SCORE 204569.292
AT ITER 2209 NEW BEST:: SOT 1511515 SOS 279112 HAS SOPS 279112 HAS SOUS 204095 HAS SOUPS 204095 WITH SCORE 204374.112
AT ITER 2219 NEW BEST:: SOT 1511519 SOS 279120 HAS SOPS 279120 HAS SOUS 204083 HAS SOUPS 204083 WITH SCORE 204362.12
AT ITER 2224 NEW BEST:: SOT 1511433 SOS 279006 HAS SOPS 279006 HAS SOUS 203969 HAS SOUPS 203969 WITH SCORE 204248.006
AT ITER 2233 NEW BEST:: SOT 1511245 SOS 278852 HAS SOPS 278852 HAS SOUS 203800 HAS SOUPS 203800 WITH SCORE 204078.852
AT ITER 2247 NEW BEST:: SOT 1511034 SOS 278430 HAS SOPS 278430 HAS SOUS 203352 HAS SOUPS 203352 WITH SCORE 203630.43
AT ITER 2258 NEW BEST:: SOT 1510906 SOS 278216 HAS SOPS 278216 HAS SOUS 203224 HAS SOUPS 203224 WITH SCORE 203502.216
AT ITER 2259 NEW BEST:: SOT 1510906 SOS 278216 HAS SOPS 278216 HAS SOUS 203126 HAS SOUPS 203126 WITH SCORE 203404.216
AT ITER 2270 NEW BEST:: SOT 1510906 SOS 277920 HAS SOPS 277920 HAS SOUS 203126 HAS SOUPS 203126 WITH SCORE 203403.92
AT ITER 2271 NEW BEST:: SOT 1510906 SOS 277810 HAS SOPS 277810 HAS SOUS 203126 HAS SOUPS 203126 WITH SCORE 203403.81
AT ITER 2309 NEW BEST:: SOT 1510926 SOS 277809 HAS SOPS 277809 HAS SOUS 203125 HAS SOUPS 203125 WITH SCORE 203402.809
AT ITER 2322 NEW BEST:: SOT 1510770 SOS 276440 HAS SOPS 276440 HAS SOUS 203103 HAS SOUPS 203103 WITH SCORE 203379.44
AT ITER 2323 NEW BEST:: SOT 1510724 SOS 276302 HAS SOPS 276302 HAS SOUS 203057 HAS SOUPS 203057 WITH SCORE 203333.302
AT ITER 2331 NEW BEST:: SOT 1510659 SOS 276237 HAS SOPS 276237 HAS SOUS 202992 HAS SOUPS 202992 WITH SCORE 203268.237
AT ITER 2388 NEW BEST:: SOT 1510151 SOS 276236 HAS SOPS 276236 HAS SOUS 202745 HAS SOUPS 202745 WITH SCORE 203021.236
AT ITER 2438 NEW BEST:: SOT 1510151 SOS 276244 HAS SOPS 276244 HAS SOUS 202744 HAS SOUPS 202744 WITH SCORE 203020.244
AT ITER 2452 NEW BEST:: SOT 1510151 SOS 276243 HAS SOPS 276243 HAS SOUS 202667 HAS SOUPS 202667 WITH SCORE 202943.243
AT ITER 2458 NEW BEST:: SOT 1510111 SOS 276265 HAS SOPS 276265 HAS SOUS 202627 HAS SOUPS 202627 WITH SCORE 202903.265
AT ITER 2480 NEW BEST:: SOT 1510014 SOS 276183 HAS SOPS 276183 HAS SOUS 202530 HAS SOUPS 202530 WITH SCORE 202806.183
AT ITER 2482 NEW BEST:: SOT 1509940 SOS 276035 HAS SOPS 276035 HAS SOUS 202368 HAS SOUPS 202368 WITH SCORE 202644.035
AT ITER 2513 NEW BEST:: SOT 1509768 SOS 275796 HAS SOPS 275796 HAS SOUS 202169 HAS SOUPS 202169 WITH SCORE 202444.796
AT ITER 2543 NEW BEST:: SOT 1509746 SOS 275752 HAS SOPS 275752 HAS SOUS 202146 HAS SOUPS 202146 WITH SCORE 202421.752
AT ITER 2550 NEW BEST:: SOT 1509606 SOS 275715 HAS SOPS 275715 HAS SOUS 202109 HAS SOUPS 202109 WITH SCORE 202384.715
AT ITER 2556 NEW BEST:: SOT 1509606 SOS 275691 HAS SOPS 275691 HAS SOUS 202085 HAS SOUPS 202085 WITH SCORE 202360.691
AT ITER 2585 NEW BEST:: SOT 1509606 SOS 276029 HAS SOPS 276029 HAS SOUS 202084 HAS SOUPS 202084 WITH SCORE 202360.029
AT ITER 2587 NEW BEST:: SOT 1509524 SOS 275865 HAS SOPS 275865 HAS SOUS 202002 HAS SOUPS 202002 WITH SCORE 202277.865
AT ITER 2617 NEW BEST:: SOT 1509478 SOS 275819 HAS SOPS 275819 HAS SOUS 201979 HAS SOUPS 201979 WITH SCORE 202254.819
AT ITER 2636 NEW BEST:: SOT 1509437 SOS 275787 HAS SOPS 275787 HAS SOUS 201947 HAS SOUPS 201947 WITH SCORE 202222.787
AT ITER 2646 NEW BEST:: SOT 1509421 SOS 275771 HAS SOPS 275771 HAS SOUS 201931 HAS SOUPS 201931 WITH SCORE 202206.771
AT ITER 2655 NEW BEST:: SOT 1509374 SOS 275677 HAS SOPS 275677 HAS SOUS 201884 HAS SOUPS 201884 WITH SCORE 202159.677
AT ITER 2699 NEW BEST:: SOT 1509364 SOS 275784 HAS SOPS 275784 HAS SOUS 201836 HAS SOUPS 201836 WITH SCORE 202111.784
AT ITER 2749 NEW BEST:: SOT 1509337 SOS 275730 HAS SOPS 275730 HAS SOUS 201545 HAS SOUPS 201545 WITH SCORE 201820.73
AT ITER 2771 NEW BEST:: SOT 1509277 SOS 275654 HAS SOPS 275654 HAS SOUS 201469 HAS SOUPS 201469 WITH SCORE 201744.654
AT ITER 2796 NEW BEST:: SOT 1509039 SOS 275178 HAS SOPS 275178 HAS SOUS 200912 HAS SOUPS 200912 WITH SCORE 201187.178
AT ITER 2843 NEW BEST:: SOT 1509032 SOS 275164 HAS SOPS 275164 HAS SOUS 200898 HAS SOUPS 200898 WITH SCORE 201173.164
AT ITER 2870 NEW BEST:: SOT 1509056 SOS 275123 HAS SOPS 275123 HAS SOUS 200857 HAS SOUPS 200857 WITH SCORE 201132.123
AT ITER 2965 NEW BEST:: SOT 1509056 SOS 275123 HAS SOPS 275123 HAS SOUS 200822 HAS SOUPS 200822 WITH SCORE 201097.123
AT ITER 2968 NEW BEST:: SOT 1509056 SOS 274630 HAS SOPS 274630 HAS SOUS 200550 HAS SOUPS 200550 WITH SCORE 200824.63
AT ITER 2976 NEW BEST:: SOT 1509018 SOS 274554 HAS SOPS 274554 HAS SOUS 200474 HAS SOUPS 200474 WITH SCORE 200748.554
AT ITER 2978 NEW BEST:: SOT 1509014 SOS 274546 HAS SOPS 274546 HAS SOUS 200470 HAS SOUPS 200470 WITH SCORE 200744.546
AT ITER 3006 NEW BEST:: SOT 1508587 SOS 274410 HAS SOPS 274410 HAS SOUS 200334 HAS SOUPS 200334 WITH SCORE 200608.41
AT ITER 3028 NEW BEST:: SOT 1508227 SOS 273930 HAS SOPS 273930 HAS SOUS 199974 HAS SOUPS 199974 WITH SCORE 200247.93
AT ITER 3033 NEW BEST:: SOT 1508180 SOS 273837 HAS SOPS 273837 HAS SOUS 199881 HAS SOUPS 199881 WITH SCORE 200154.837
AT ITER 3038 NEW BEST:: SOT 1508022 SOS 273725 HAS SOPS 273725 HAS SOUS 199814 HAS SOUPS 199814 WITH SCORE 200087.725
AT ITER 3060 NEW BEST:: SOT 1508022 SOS 273723 HAS SOPS 273723 HAS SOUS 199814 HAS SOUPS 199814 WITH SCORE 200087.723
AT ITER 3094 NEW BEST:: SOT 1507659 SOS 273987 HAS SOPS 273987 HAS SOUS 199686 HAS SOUPS 199686 WITH SCORE 199959.987
AT ITER 3150 NEW BEST:: SOT 1507616 SOS 274128 HAS SOPS 274128 HAS SOUS 199599 HAS SOUPS 199599 WITH SCORE 199873.128
AT ITER 3157 NEW BEST:: SOT 1507482 SOS 274101 HAS SOPS 274101 HAS SOUS 199556 HAS SOUPS 199556 WITH SCORE 199830.101
AT ITER 3205 NEW BEST:: SOT 1507040 SOS 274553 HAS SOPS 274553 HAS SOUS 199495 HAS SOUPS 199495 WITH SCORE 199769.553
AT ITER 3240 NEW BEST:: SOT 1507051 SOS 274539 HAS SOPS 274539 HAS SOUS 199481 HAS SOUPS 199481 WITH SCORE 199755.539
AT ITER 3270 NEW BEST:: SOT 1507047 SOS 274531 HAS SOPS 274531 HAS SOUS 199475 HAS SOUPS 199475 WITH SCORE 199749.531
AT ITER 3278 NEW BEST:: SOT 1507026 SOS 274510 HAS SOPS 274510 HAS SOUS 199454 HAS SOUPS 199454 WITH SCORE 199728.51
AT ITER 3344 NEW BEST:: SOT 1506995 SOS 274448 HAS SOPS 274448 HAS SOUS 199392 HAS SOUPS 199392 WITH SCORE 199666.448
AT ITER 3386 NEW BEST:: SOT 1506970 SOS 274301 HAS SOPS 274301 HAS SOUS 199373 HAS SOUPS 199373 WITH SCORE 199647.301
AT ITER 3419 NEW BEST:: SOT 1506969 SOS 274299 HAS SOPS 274299 HAS SOUS 199371 HAS SOUPS 199371 WITH SCORE 199645.299
AT ITER 3424 NEW BEST:: SOT 1506892 SOS 274166 HAS SOPS 274166 HAS SOUS 199238 HAS SOUPS 199238 WITH SCORE 199512.166
AT ITER 3440 NEW BEST:: SOT 1506807 SOS 273996 HAS SOPS 273996 HAS SOUS 199153 HAS SOUPS 199153 WITH SCORE 199426.996
AT ITER 3442 NEW BEST:: SOT 1506806 SOS 273994 HAS SOPS 273994 HAS SOUS 199152 HAS SOUPS 199152 WITH SCORE 199425.994
AT ITER 3461 NEW BEST:: SOT 1506758 SOS 273946 HAS SOPS 273946 HAS SOUS 199104 HAS SOUPS 199104 WITH SCORE 199377.946
AT ITER 3473 NEW BEST:: SOT 1506758 SOS 273820 HAS SOPS 273820 HAS SOUS 199041 HAS SOUPS 199041 WITH SCORE 199314.82
AT ITER 3522 NEW BEST:: SOT 1506459 SOS 273719 HAS SOPS 273719 HAS SOUS 198918 HAS SOUPS 198918 WITH SCORE 199191.719
AT ITER 3532 NEW BEST:: SOT 1506368 SOS 273537 HAS SOPS 273537 HAS SOUS 198903 HAS SOUPS 198903 WITH SCORE 199176.537
AT ITER 3545 NEW BEST:: SOT 1506352 SOS 273505 HAS SOPS 273505 HAS SOUS 198887 HAS SOUPS 198887 WITH SCORE 199160.505
AT ITER 3558 NEW BEST:: SOT 1506330 SOS 273461 HAS SOPS 273461 HAS SOUS 198882 HAS SOUPS 198882 WITH SCORE 199155.461
AT ITER 3562 NEW BEST:: SOT 1506283 SOS 273367 HAS SOPS 273367 HAS SOUS 198788 HAS SOUPS 198788 WITH SCORE 199061.367
AT ITER 3579 NEW BEST:: SOT 1506279 SOS 273363 HAS SOPS 273363 HAS SOUS 198784 HAS SOUPS 198784 WITH SCORE 199057.363
AT ITER 3606 NEW BEST:: SOT 1506273 SOS 273273 HAS SOPS 273273 HAS SOUS 198772 HAS SOUPS 198772 WITH SCORE 199045.273
AT ITER 3610 NEW BEST:: SOT 1506285 SOS 273297 HAS SOPS 273297 HAS SOUS 198653 HAS SOUPS 198653 WITH SCORE 198926.297
AT ITER 3621 NEW BEST:: SOT 1506285 SOS 273295 HAS SOPS 273295 HAS SOUS 198653 HAS SOUPS 198653 WITH SCORE 198926.295
AT ITER 3676 NEW BEST:: SOT 1506108 SOS 273059 HAS SOPS 273059 HAS SOUS 198575 HAS SOUPS 198575 WITH SCORE 198848.059
AT ITER 3693 NEW BEST:: SOT 1506087 SOS 272975 HAS SOPS 272975 HAS SOUS 198554 HAS SOUPS 198554 WITH SCORE 198826.975
AT ITER 3725 NEW BEST:: SOT 1505950 SOS 272974 HAS SOPS 272974 HAS SOUS 198508 HAS SOUPS 198508 WITH SCORE 198780.974
AT ITER 3728 NEW BEST:: SOT 1505938 SOS 272950 HAS SOPS 272950 HAS SOUS 198496 HAS SOUPS 198496 WITH SCORE 198768.95
AT ITER 3782 NEW BEST:: SOT 1505946 SOS 272928 HAS SOPS 272928 HAS SOUS 198466 HAS SOUPS 198466 WITH SCORE 198738.928
AT ITER 3787 NEW BEST:: SOT 1505937 SOS 271918 HAS SOPS 271918 HAS SOUS 198200 HAS SOUPS 198200 WITH SCORE 198471.918
AT ITER 3788 NEW BEST:: SOT 1505906 SOS 271856 HAS SOPS 271856 HAS SOUS 198138 HAS SOUPS 198138 WITH SCORE 198409.856
AT ITER 3806 NEW BEST:: SOT 1505836 SOS 271716 HAS SOPS 271716 HAS SOUS 197998 HAS SOUPS 197998 WITH SCORE 198269.716
AT ITER 3812 NEW BEST:: SOT 1505812 SOS 271668 HAS SOPS 271668 HAS SOUS 197950 HAS SOUPS 197950 WITH SCORE 198221.668
AT ITER 3847 NEW BEST:: SOT 1505596 SOS 271344 HAS SOPS 271344 HAS SOUS 197734 HAS SOUPS 197734 WITH SCORE 198005.344
AT ITER 3852 NEW BEST:: SOT 1505500 SOS 271296 HAS SOPS 271296 HAS SOUS 197655 HAS SOUPS 197655 WITH SCORE 197926.296
AT ITER 3925 NEW BEST:: SOT 1505382 SOS 271060 HAS SOPS 271060 HAS SOUS 197419 HAS SOUPS 197419 WITH SCORE 197690.06
AT ITER 3927 NEW BEST:: SOT 1505414 SOS 271124 HAS SOPS 271124 HAS SOUS 197411 HAS SOUPS 197411 WITH SCORE 197682.124
AT ITER 3940 NEW BEST:: SOT 1505431 SOS 271068 HAS SOPS 271068 HAS SOUS 197355 HAS SOUPS 197355 WITH SCORE 197626.068
AT ITER 3986 NEW BEST:: SOT 1505428 SOS 271134 HAS SOPS 271134 HAS SOUS 197349 HAS SOUPS 197349 WITH SCORE 197620.134
AT ITER 3989 NEW BEST:: SOT 1505228 SOS 268934 HAS SOPS 268934 HAS SOUS 196949 HAS SOUPS 196949 WITH SCORE 197217.934
AT ITER 4005 NEW BEST:: SOT 1505228 SOS 268968 HAS SOPS 268968 HAS SOUS 196948 HAS SOUPS 196948 WITH SCORE 197216.968
AT ITER 4011 NEW BEST:: SOT 1505228 SOS 268968 HAS SOPS 268968 HAS SOUS 196946 HAS SOUPS 196946 WITH SCORE 197214.968
AT ITER 4035 NEW BEST:: SOT 1505142 SOS 268796 HAS SOPS 268796 HAS SOUS 196860 HAS SOUPS 196860 WITH SCORE 197128.796
AT ITER 4037 NEW BEST:: SOT 1505142 SOS 268736 HAS SOPS 268736 HAS SOUS 196860 HAS SOUPS 196860 WITH SCORE 197128.736
AT ITER 4041 NEW BEST:: SOT 1505114 SOS 268680 HAS SOPS 268680 HAS SOUS 196832 HAS SOUPS 196832 WITH SCORE 197100.68
AT ITER 4042 NEW BEST:: SOT 1505057 SOS 268639 HAS SOPS 268639 HAS SOUS 196775 HAS SOUPS 196775 WITH SCORE 197043.639
AT ITER 4046 NEW BEST:: SOT 1505057 SOS 269408 HAS SOPS 269408 HAS SOUS 196764 HAS SOUPS 196764 WITH SCORE 197033.408
AT ITER 4076 NEW BEST:: SOT 1505014 SOS 269322 HAS SOPS 269322 HAS SOUS 196678 HAS SOUPS 196678 WITH SCORE 196947.322
AT ITER 4079 NEW BEST:: SOT 1504823 SOS 268940 HAS SOPS 268940 HAS SOUS 196299 HAS SOUPS 196299 WITH SCORE 196567.94
AT ITER 4093 NEW BEST:: SOT 1504746 SOS 268330 HAS SOPS 268330 HAS SOUS 196297 HAS SOUPS 196297 WITH SCORE 196565.33
AT ITER 4113 NEW BEST:: SOT 1504788 SOS 267398 HAS SOPS 267398 HAS SOUS 195945 HAS SOUPS 195945 WITH SCORE 196212.398
AT ITER 4123 NEW BEST:: SOT 1504626 SOS 267236 HAS SOPS 267236 HAS SOUS 195783 HAS SOUPS 195783 WITH SCORE 196050.236
AT ITER 4133 NEW BEST:: SOT 1503982 SOS 267670 HAS SOPS 267670 HAS SOUS 195591 HAS SOUPS 195591 WITH SCORE 195858.67
AT ITER 4145 NEW BEST:: SOT 1503885 SOS 267660 HAS SOPS 267660 HAS SOUS 195575 HAS SOUPS 195575 WITH SCORE 195842.66
AT ITER 4168 NEW BEST:: SOT 1503867 SOS 267606 HAS SOPS 267606 HAS SOUS 195521 HAS SOUPS 195521 WITH SCORE 195788.606
AT ITER 4213 NEW BEST:: SOT 1503804 SOS 267638 HAS SOPS 267638 HAS SOUS 195457 HAS SOUPS 195457 WITH SCORE 195724.638
AT ITER 4295 NEW BEST:: SOT 1503774 SOS 267578 HAS SOPS 267578 HAS SOUS 195397 HAS SOUPS 195397 WITH SCORE 195664.578
AT ITER 4310 NEW BEST:: SOT 1503726 SOS 267506 HAS SOPS 267506 HAS SOUS 195349 HAS SOUPS 195349 WITH SCORE 195616.506
AT ITER 4314 NEW BEST:: SOT 1503725 SOS 267243 HAS SOPS 267243 HAS SOUS 195347 HAS SOUPS 195347 WITH SCORE 195614.243
AT ITER 4338 NEW BEST:: SOT 1503697 SOS 267187 HAS SOPS 267187 HAS SOUS 195291 HAS SOUPS 195291 WITH SCORE 195558.187
AT ITER 4340 NEW BEST:: SOT 1502876 SOS 266273 HAS SOPS 266273 HAS SOUS 194643 HAS SOUPS 194643 WITH SCORE 194909.273
AT ITER 4364 NEW BEST:: SOT 1502954 SOS 266250 HAS SOPS 266250 HAS SOUS 194624 HAS SOUPS 194624 WITH SCORE 194890.25
AT ITER 4379 NEW BEST:: SOT 1502489 SOS 265874 HAS SOPS 265874 HAS SOUS 194245 HAS SOUPS 194245 WITH SCORE 194510.874
AT ITER 4412 NEW BEST:: SOT 1502427 SOS 265750 HAS SOPS 265750 HAS SOUS 194121 HAS SOUPS 194121 WITH SCORE 194386.75
AT ITER 4436 NEW BEST:: SOT 1502197 SOS 264912 HAS SOPS 264912 HAS SOUS 193765 HAS SOUPS 193765 WITH SCORE 194029.912
AT ITER 4438 NEW BEST:: SOT 1502164 SOS 264846 HAS SOPS 264846 HAS SOUS 193699 HAS SOUPS 193699 WITH SCORE 193963.846
AT ITER 4462 NEW BEST:: SOT 1502164 SOS 264846 HAS SOPS 264846 HAS SOUS 193612 HAS SOUPS 193612 WITH SCORE 193876.846
AT ITER 4472 NEW BEST:: SOT 1502159 SOS 264836 HAS SOPS 264836 HAS SOUS 193602 HAS SOUPS 193602 WITH SCORE 193866.836
AT ITER 4497 NEW BEST:: SOT 1502156 SOS 264824 HAS SOPS 264824 HAS SOUS 193596 HAS SOUPS 193596 WITH SCORE 193860.824
AT ITER 4550 NEW BEST:: SOT 1502090 SOS 264692 HAS SOPS 264692 HAS SOUS 193464 HAS SOUPS 193464 WITH SCORE 193728.692
AT ITER 4566 NEW BEST:: SOT 1502085 SOS 264682 HAS SOPS 264682 HAS SOUS 193459 HAS SOUPS 193459 WITH SCORE 193723.682
AT ITER 4570 NEW BEST:: SOT 1502057 SOS 264654 HAS SOPS 264654 HAS SOUS 193431 HAS SOUPS 193431 WITH SCORE 193695.654
AT ITER 4601 NEW BEST:: SOT 1502057 SOS 264791 HAS SOPS 264791 HAS SOUS 193430 HAS SOUPS 193430 WITH SCORE 193694.791
AT ITER 4604 NEW BEST:: SOT 1502067 SOS 264650 HAS SOPS 264650 HAS SOUS 193289 HAS SOUPS 193289 WITH SCORE 193553.65
AT ITER 4613 NEW BEST:: SOT 1502058 SOS 264670 HAS SOPS 264670 HAS SOUS 193280 HAS SOUPS 193280 WITH SCORE 193544.67
AT ITER 4614 NEW BEST:: SOT 1502024 SOS 264603 HAS SOPS 264603 HAS SOUS 193213 HAS SOUPS 193213 WITH SCORE 193477.603
AT ITER 4644 NEW BEST:: SOT 1501961 SOS 264519 HAS SOPS 264519 HAS SOUS 193152 HAS SOUPS 193152 WITH SCORE 193416.519
AT ITER 4672 NEW BEST:: SOT 1501945 SOS 264487 HAS SOPS 264487 HAS SOUS 193120 HAS SOUPS 193120 WITH SCORE 193384.487
AT ITER 4678 NEW BEST:: SOT 1501830 SOS 264172 HAS SOPS 264172 HAS SOUS 192985 HAS SOUPS 192985 WITH SCORE 193249.172
AT ITER 4698 NEW BEST:: SOT 1501786 SOS 264084 HAS SOPS 264084 HAS SOUS 192893 HAS SOUPS 192893 WITH SCORE 193157.084
AT ITER 4729 NEW BEST:: SOT 1501786 SOS 264084 HAS SOPS 264084 HAS SOUS 192886 HAS SOUPS 192886 WITH SCORE 193150.084
AT ITER 4775 NEW BEST:: SOT 1501778 SOS 264068 HAS SOPS 264068 HAS SOUS 192870 HAS SOUPS 192870 WITH SCORE 193134.068
AT ITER 4805 NEW BEST:: SOT 1501793 SOS 264098 HAS SOPS 264098 HAS SOUS 192838 HAS SOUPS 192838 WITH SCORE 193102.098
AT ITER 4807 NEW BEST:: SOT 1501749 SOS 264010 HAS SOPS 264010 HAS SOUS 192750 HAS SOUPS 192750 WITH SCORE 193014.01
AT ITER 4835 NEW BEST:: SOT 1501627 SOS 264128 HAS SOPS 264128 HAS SOUS 192505 HAS SOUPS 192505 WITH SCORE 192769.128
AT ITER 4846 NEW BEST:: SOT 1501609 SOS 264092 HAS SOPS 264092 HAS SOUS 192469 HAS SOUPS 192469 WITH SCORE 192733.092
AT ITER 4864 NEW BEST:: SOT 1501594 SOS 264086 HAS SOPS 264086 HAS SOUS 192460 HAS SOUPS 192460 WITH SCORE 192724.086
AT ITER 4867 NEW BEST:: SOT 1501547 SOS 264058 HAS SOPS 264058 HAS SOUS 192413 HAS SOUPS 192413 WITH SCORE 192677.058
AT ITER 4880 NEW BEST:: SOT 1501533 SOS 264030 HAS SOPS 264030 HAS SOUS 192392 HAS SOUPS 192392 WITH SCORE 192656.03
AT ITER 4930 NEW BEST:: SOT 1501410 SOS 263784 HAS SOPS 263784 HAS SOUS 192269 HAS SOUPS 192269 WITH SCORE 192532.784
AT ITER 4957 NEW BEST:: SOT 1501389 SOS 263742 HAS SOPS 263742 HAS SOUS 192227 HAS SOUPS 192227 WITH SCORE 192490.742
AT ITER 4984 NEW BEST:: SOT 1501387 SOS 263738 HAS SOPS 263738 HAS SOUS 192223 HAS SOUPS 192223 WITH SCORE 192486.738
AT ITER 5039 NEW BEST:: SOT 1501358 SOS 262600 HAS SOPS 262600 HAS SOUS 192165 HAS SOUPS 192165 WITH SCORE 192427.6
AT ITER 5071 NEW BEST:: SOT 1501136 SOS 262156 HAS SOPS 262156 HAS SOUS 191985 HAS SOUPS 191985 WITH SCORE 192247.156
AT ITER 5083 NEW BEST:: SOT 1501091 SOS 262066 HAS SOPS 262066 HAS SOUS 191940 HAS SOUPS 191940 WITH SCORE 192202.066
AT ITER 5152 NEW BEST:: SOT 1500816 SOS 262126 HAS SOPS 262126 HAS SOUS 191938 HAS SOUPS 191938 WITH SCORE 192200.126
AT ITER 5153 NEW BEST:: SOT 1500758 SOS 262010 HAS SOPS 262010 HAS SOUS 191710 HAS SOUPS 191710 WITH SCORE 191972.01
AT ITER 5188 NEW BEST:: SOT 1500814 SOS 261954 HAS SOPS 261954 HAS SOUS 191710 HAS SOUPS 191710 WITH SCORE 191971.954
AT ITER 5194 NEW BEST:: SOT 1500743 SOS 261812 HAS SOPS 261812 HAS SOUS 191556 HAS SOUPS 191556 WITH SCORE 191817.812
AT ITER 5205 NEW BEST:: SOT 1500685 SOS 261696 HAS SOPS 261696 HAS SOUS 191395 HAS SOUPS 191395 WITH SCORE 191656.696
AT ITER 5212 NEW BEST:: SOT 1500685 SOS 261696 HAS SOPS 261696 HAS SOUS 191302 HAS SOUPS 191302 WITH SCORE 191563.696
AT ITER 5223 NEW BEST:: SOT 1500603 SOS 261323 HAS SOPS 261323 HAS SOUS 191138 HAS SOUPS 191138 WITH SCORE 191399.323
AT ITER 5264 NEW BEST:: SOT 1500347 SOS 260043 HAS SOPS 260043 HAS SOUS 190626 HAS SOUPS 190626 WITH SCORE 190886.043
AT ITER 5272 NEW BEST:: SOT 1500211 SOS 259771 HAS SOPS 259771 HAS SOUS 190359 HAS SOUPS 190359 WITH SCORE 190618.771
AT ITER 5290 NEW BEST:: SOT 1500172 SOS 259894 HAS SOPS 259894 HAS SOUS 190264 HAS SOUPS 190264 WITH SCORE 190523.894
AT ITER 5295 NEW BEST:: SOT 1500149 SOS 259871 HAS SOPS 259871 HAS SOUS 190241 HAS SOUPS 190241 WITH SCORE 190500.871
AT ITER 5299 NEW BEST:: SOT 1500143 SOS 259894 HAS SOPS 259894 HAS SOUS 190229 HAS SOUPS 190229 WITH SCORE 190488.894
AT ITER 5316 NEW BEST:: SOT 1499484 SOS 259916 HAS SOPS 259916 HAS SOUS 189765 HAS SOUPS 189765 WITH SCORE 190024.916
AT ITER 5394 NEW BEST:: SOT 1499439 SOS 259826 HAS SOPS 259826 HAS SOUS 189720 HAS SOUPS 189720 WITH SCORE 189979.826
AT ITER 5461 NEW BEST:: SOT 1499386 SOS 259773 HAS SOPS 259773 HAS SOUS 189667 HAS SOUPS 189667 WITH SCORE 189926.773
AT ITER 5474 NEW BEST:: SOT 1499242 SOS 259485 HAS SOPS 259485 HAS SOUS 189523 HAS SOUPS 189523 WITH SCORE 189782.485
AT ITER 5478 NEW BEST:: SOT 1499120 SOS 259315 HAS SOPS 259315 HAS SOUS 189401 HAS SOUPS 189401 WITH SCORE 189660.315
AT ITER 5505 NEW BEST:: SOT 1499149 SOS 259301 HAS SOPS 259301 HAS SOUS 189394 HAS SOUPS 189394 WITH SCORE 189653.301
AT ITER 5518 NEW BEST:: SOT 1499368 SOS 259082 HAS SOPS 259082 HAS SOUS 189276 HAS SOUPS 189276 WITH SCORE 189535.082
AT ITER 5558 NEW BEST:: SOT 1499367 SOS 258810 HAS SOPS 258810 HAS SOUS 189274 HAS SOUPS 189274 WITH SCORE 189532.81
AT ITER 5576 NEW BEST:: SOT 1499367 SOS 258805 HAS SOPS 258805 HAS SOUS 189274 HAS SOUPS 189274 WITH SCORE 189532.805
AT ITER 5603 NEW BEST:: SOT 1499311 SOS 258693 HAS SOPS 258693 HAS SOUS 189218 HAS SOUPS 189218 WITH SCORE 189476.693
AT ITER 5637 NEW BEST:: SOT 1499301 SOS 258692 HAS SOPS 258692 HAS SOUS 189217 HAS SOUPS 189217 WITH SCORE 189475.692
AT ITER 5675 NEW BEST:: SOT 1499227 SOS 258618 HAS SOPS 258618 HAS SOUS 189143 HAS SOUPS 189143 WITH SCORE 189401.618
AT ITER 5696 NEW BEST:: SOT 1499227 SOS 258615 HAS SOPS 258615 HAS SOUS 189134 HAS SOUPS 189134 WITH SCORE 189392.615
AT ITER 5735 NEW BEST:: SOT 1499218 SOS 258597 HAS SOPS 258597 HAS SOUS 189116 HAS SOUPS 189116 WITH SCORE 189374.597
AT ITER 5744 NEW BEST:: SOT 1499228 SOS 258582 HAS SOPS 258582 HAS SOUS 189101 HAS SOUPS 189101 WITH SCORE 189359.582
AT ITER 5749 NEW BEST:: SOT 1499227 SOS 258580 HAS SOPS 258580 HAS SOUS 189099 HAS SOUPS 189099 WITH SCORE 189357.58
AT ITER 5827 NEW BEST:: SOT 1499219 SOS 257987 HAS SOPS 257987 HAS SOUS 189091 HAS SOUPS 189091 WITH SCORE 189348.987
AT ITER 5887 NEW BEST:: SOT 1498518 SOS 257775 HAS SOPS 257775 HAS SOUS 188713 HAS SOUPS 188713 WITH SCORE 188970.775
AT ITER 5902 NEW BEST:: SOT 1498357 SOS 257578 HAS SOPS 257578 HAS SOUS 188494 HAS SOUPS 188494 WITH SCORE 188751.578
AT ITER 5920 NEW BEST:: SOT 1498358 SOS 258016 HAS SOPS 258016 HAS SOUS 188491 HAS SOUPS 188491 WITH SCORE 188749.016
AT ITER 5966 NEW BEST:: SOT 1498300 SOS 257900 HAS SOPS 257900 HAS SOUS 188375 HAS SOUPS 188375 WITH SCORE 188632.9
AT ITER 5976 NEW BEST:: SOT 1498241 SOS 257841 HAS SOPS 257841 HAS SOUS 188316 HAS SOUPS 188316 WITH SCORE 188573.841
AT ITER 6078 NEW BEST:: SOT 1498241 SOS 257841 HAS SOPS 257841 HAS SOUS 188307 HAS SOUPS 188307 WITH SCORE 188564.841
AT ITER 6097 NEW BEST:: SOT 1498306 SOS 257971 HAS SOPS 257971 HAS SOUS 188260 HAS SOUPS 188260 WITH SCORE 188517.971
AT ITER 6108 NEW BEST:: SOT 1498306 SOS 257954 HAS SOPS 257954 HAS SOUS 188243 HAS SOUPS 188243 WITH SCORE 188500.954
AT ITER 6109 NEW BEST:: SOT 1498240 SOS 257822 HAS SOPS 257822 HAS SOUS 188177 HAS SOUPS 188177 WITH SCORE 188434.822
AT ITER 6117 NEW BEST:: SOT 1498240 SOS 257873 HAS SOPS 257873 HAS SOUS 188176 HAS SOUPS 188176 WITH SCORE 188433.873
AT ITER 6161 NEW BEST:: SOT 1498240 SOS 257828 HAS SOPS 257828 HAS SOUS 188131 HAS SOUPS 188131 WITH SCORE 188388.828
AT ITER 6192 NEW BEST:: SOT 1498237 SOS 257806 HAS SOPS 257806 HAS SOUS 188118 HAS SOUPS 188118 WITH SCORE 188375.806
AT ITER 6202 NEW BEST:: SOT 1498237 SOS 257806 HAS SOPS 257806 HAS SOUS 188108 HAS SOUPS 188108 WITH SCORE 188365.806
AT ITER 6208 NEW BEST:: SOT 1498181 SOS 257694 HAS SOPS 257694 HAS SOUS 188052 HAS SOUPS 188052 WITH SCORE 188309.694
AT ITER 6233 NEW BEST:: SOT 1498172 SOS 257676 HAS SOPS 257676 HAS SOUS 188034 HAS SOUPS 188034 WITH SCORE 188291.676
AT ITER 6238 NEW BEST:: SOT 1498136 SOS 257646 HAS SOPS 257646 HAS SOUS 187998 HAS SOUPS 187998 WITH SCORE 188255.646
AT ITER 6264 NEW BEST:: SOT 1498052 SOS 257562 HAS SOPS 257562 HAS SOUS 187914 HAS SOUPS 187914 WITH SCORE 188171.562
AT ITER 6305 NEW BEST:: SOT 1498047 SOS 257552 HAS SOPS 257552 HAS SOUS 187909 HAS SOUPS 187909 WITH SCORE 188166.552
AT ITER 6324 NEW BEST:: SOT 1497917 SOS 257477 HAS SOPS 257477 HAS SOUS 187834 HAS SOUPS 187834 WITH SCORE 188091.477
AT ITER 6333 NEW BEST:: SOT 1497872 SOS 257387 HAS SOPS 257387 HAS SOUS 187744 HAS SOUPS 187744 WITH SCORE 188001.387
AT ITER 6352 NEW BEST:: SOT 1497857 SOS 257357 HAS SOPS 257357 HAS SOUS 187729 HAS SOUPS 187729 WITH SCORE 187986.357
AT ITER 6354 NEW BEST:: SOT 1497801 SOS 257245 HAS SOPS 257245 HAS SOUS 187673 HAS SOUPS 187673 WITH SCORE 187930.245
AT ITER 6360 NEW BEST:: SOT 1497801 SOS 257235 HAS SOPS 257235 HAS SOUS 187673 HAS SOUPS 187673 WITH SCORE 187930.235
AT ITER 6405 NEW BEST:: SOT 1497779 SOS 257169 HAS SOPS 257169 HAS SOUS 187629 HAS SOUPS 187629 WITH SCORE 187886.169
AT ITER 6410 NEW BEST:: SOT 1497537 SOS 256899 HAS SOPS 256899 HAS SOUS 187466 HAS SOUPS 187466 WITH SCORE 187722.899
AT ITER 6455 NEW BEST:: SOT 1497525 SOS 256875 HAS SOPS 256875 HAS SOUS 187442 HAS SOUPS 187442 WITH SCORE 187698.875
AT ITER 6515 NEW BEST:: SOT 1497516 SOS 256857 HAS SOPS 256857 HAS SOUS 187424 HAS SOUPS 187424 WITH SCORE 187680.857
AT ITER 6546 NEW BEST:: SOT 1497477 SOS 256779 HAS SOPS 256779 HAS SOUS 187385 HAS SOUPS 187385 WITH SCORE 187641.779
AT ITER 6590 NEW BEST:: SOT 1497454 SOS 256733 HAS SOPS 256733 HAS SOUS 187362 HAS SOUPS 187362 WITH SCORE 187618.733
AT ITER 6606 NEW BEST:: SOT 1497453 SOS 256731 HAS SOPS 256731 HAS SOUS 187360 HAS SOUPS 187360 WITH SCORE 187616.731
AT ITER 6680 NEW BEST:: SOT 1497453 SOS 256731 HAS SOPS 256731 HAS SOUS 187313 HAS SOUPS 187313 WITH SCORE 187569.731
AT ITER 6686 NEW BEST:: SOT 1497444 SOS 256713 HAS SOPS 256713 HAS SOUS 187295 HAS SOUPS 187295 WITH SCORE 187551.713
AT ITER 6710 NEW BEST:: SOT 1497461 SOS 256707 HAS SOPS 256707 HAS SOUS 187289 HAS SOUPS 187289 WITH SCORE 187545.707
AT ITER 6744 NEW BEST:: SOT 1497461 SOS 256747 HAS SOPS 256747 HAS SOUS 187288 HAS SOUPS 187288 WITH SCORE 187544.747
AT ITER 6772 NEW BEST:: SOT 1497402 SOS 256629 HAS SOPS 256629 HAS SOUS 187170 HAS SOUPS 187170 WITH SCORE 187426.629
AT ITER 6779 NEW BEST:: SOT 1497320 SOS 256465 HAS SOPS 256465 HAS SOUS 186919 HAS SOUPS 186919 WITH SCORE 187175.465
AT ITER 6786 NEW BEST:: SOT 1497319 SOS 256463 HAS SOPS 256463 HAS SOUS 186917 HAS SOUPS 186917 WITH SCORE 187173.463
AT ITER 6878 NEW BEST:: SOT 1497318 SOS 256461 HAS SOPS 256461 HAS SOUS 186915 HAS SOUPS 186915 WITH SCORE 187171.461
AT ITER 6926 NEW BEST:: SOT 1497155 SOS 256298 HAS SOPS 256298 HAS SOUS 186879 HAS SOUPS 186879 WITH SCORE 187135.298
AT ITER 6941 NEW BEST:: SOT 1497128 SOS 256270 HAS SOPS 256270 HAS SOUS 186851 HAS SOUPS 186851 WITH SCORE 187107.27
AT ITER 6960 NEW BEST:: SOT 1497102 SOS 256140 HAS SOPS 256140 HAS SOUS 186799 HAS SOUPS 186799 WITH SCORE 187055.14
AT ITER 6971 NEW BEST:: SOT 1496953 SOS 255946 HAS SOPS 255946 HAS SOUS 186650 HAS SOUPS 186650 WITH SCORE 186905.946
AT ITER 7006 NEW BEST:: SOT 1496898 SOS 255341 HAS SOPS 255341 HAS SOUS 186540 HAS SOUPS 186540 WITH SCORE 186795.341
AT ITER 7018 NEW BEST:: SOT 1496782 SOS 255259 HAS SOPS 255259 HAS SOUS 186440 HAS SOUPS 186440 WITH SCORE 186695.259
AT ITER 7034 NEW BEST:: SOT 1496782 SOS 255259 HAS SOPS 255259 HAS SOUS 186390 HAS SOUPS 186390 WITH SCORE 186645.259
AT ITER 7046 NEW BEST:: SOT 1496433 SOS 254729 HAS SOPS 254729 HAS SOUS 185933 HAS SOUPS 185933 WITH SCORE 186187.729
AT ITER 7067 NEW BEST:: SOT 1496394 SOS 254729 HAS SOPS 254729 HAS SOUS 185894 HAS SOUPS 185894 WITH SCORE 186148.729
AT ITER 7080 NEW BEST:: SOT 1496414 SOS 254769 HAS SOPS 254769 HAS SOUS 185850 HAS SOUPS 185850 WITH SCORE 186104.769
AT ITER 7094 NEW BEST:: SOT 1496401 SOS 254766 HAS SOPS 254766 HAS SOUS 185849 HAS SOUPS 185849 WITH SCORE 186103.766
AT ITER 7096 NEW BEST:: SOT 1496374 SOS 254712 HAS SOPS 254712 HAS SOUS 185795 HAS SOUPS 185795 WITH SCORE 186049.712
AT ITER 7113 NEW BEST:: SOT 1496373 SOS 254710 HAS SOPS 254710 HAS SOUS 185793 HAS SOUPS 185793 WITH SCORE 186047.71
AT ITER 7133 NEW BEST:: SOT 1496320 SOS 254981 HAS SOPS 254981 HAS SOUS 185665 HAS SOUPS 185665 WITH SCORE 185919.981
AT ITER 7250 NEW BEST:: SOT 1496218 SOS 254777 HAS SOPS 254777 HAS SOUS 185512 HAS SOUPS 185512 WITH SCORE 185766.777
AT ITER 7261 NEW BEST:: SOT 1496218 SOS 254712 HAS SOPS 254712 HAS SOUS 185447 HAS SOUPS 185447 WITH SCORE 185701.712
AT ITER 7272 NEW BEST:: SOT 1496102 SOS 254480 HAS SOPS 254480 HAS SOUS 185331 HAS SOUPS 185331 WITH SCORE 185585.48
AT ITER 7349 NEW BEST:: SOT 1495975 SOS 254354 HAS SOPS 254354 HAS SOUS 185205 HAS SOUPS 185205 WITH SCORE 185459.354
AT ITER 7418 NEW BEST:: SOT 1495913 SOS 253954 HAS SOPS 253954 HAS SOUS 185051 HAS SOUPS 185051 WITH SCORE 185304.954
AT ITER 7532 NEW BEST:: SOT 1495986 SOS 253846 HAS SOPS 253846 HAS SOUS 184997 HAS SOUPS 184997 WITH SCORE 185250.846
AT ITER 7587 NEW BEST:: SOT 1495831 SOS 253746 HAS SOPS 253746 HAS SOUS 184842 HAS SOUPS 184842 WITH SCORE 185095.746
AT ITER 7594 NEW BEST:: SOT 1495736 SOS 253221 HAS SOPS 253221 HAS SOUS 184677 HAS SOUPS 184677 WITH SCORE 184930.221
AT ITER 7606 NEW BEST:: SOT 1495736 SOS 253173 HAS SOPS 253173 HAS SOUS 184669 HAS SOUPS 184669 WITH SCORE 184922.173
AT ITER 7607 NEW BEST:: SOT 1495715 SOS 253131 HAS SOPS 253131 HAS SOUS 184620 HAS SOUPS 184620 WITH SCORE 184873.131
AT ITER 7669 NEW BEST:: SOT 1495684 SOS 252947 HAS SOPS 252947 HAS SOUS 184538 HAS SOUPS 184538 WITH SCORE 184790.947
AT ITER 7673 NEW BEST:: SOT 1495566 SOS 252829 HAS SOPS 252829 HAS SOUS 184420 HAS SOUPS 184420 WITH SCORE 184672.829
AT ITER 7682 NEW BEST:: SOT 1495497 SOS 253150 HAS SOPS 253150 HAS SOUS 184394 HAS SOUPS 184394 WITH SCORE 184647.15
AT ITER 7688 NEW BEST:: SOT 1495466 SOS 253057 HAS SOPS 253057 HAS SOUS 184332 HAS SOUPS 184332 WITH SCORE 184585.057
AT ITER 7695 NEW BEST:: SOT 1495414 SOS 253028 HAS SOPS 253028 HAS SOUS 184303 HAS SOUPS 184303 WITH SCORE 184556.028
AT ITER 7702 NEW BEST:: SOT 1495176 SOS 252947 HAS SOPS 252947 HAS SOUS 184174 HAS SOUPS 184174 WITH SCORE 184426.947
AT ITER 7764 NEW BEST:: SOT 1495025 SOS 252806 HAS SOPS 252806 HAS SOUS 183966 HAS SOUPS 183966 WITH SCORE 184218.806
AT ITER 7772 NEW BEST:: SOT 1495016 SOS 252788 HAS SOPS 252788 HAS SOUS 183948 HAS SOUPS 183948 WITH SCORE 184200.788
AT ITER 7776 NEW BEST:: SOT 1494998 SOS 252701 HAS SOPS 252701 HAS SOUS 183879 HAS SOUPS 183879 WITH SCORE 184131.701
AT ITER 7794 NEW BEST:: SOT 1494997 SOS 252697 HAS SOPS 252697 HAS SOUS 183877 HAS SOUPS 183877 WITH SCORE 184129.697
AT ITER 7815 NEW BEST:: SOT 1495048 SOS 252640 HAS SOPS 252640 HAS SOUS 183875 HAS SOUPS 183875 WITH SCORE 184127.64
AT ITER 7918 NEW BEST:: SOT 1495053 SOS 252587 HAS SOPS 252587 HAS SOUS 183817 HAS SOUPS 183817 WITH SCORE 184069.587
AT ITER 7956 NEW BEST:: SOT 1494726 SOS 252533 HAS SOPS 252533 HAS SOUS 183763 HAS SOUPS 183763 WITH SCORE 184015.533
AT ITER 8016 NEW BEST:: SOT 1494631 SOS 252531 HAS SOPS 252531 HAS SOUS 183761 HAS SOUPS 183761 WITH SCORE 184013.531
AT ITER 8086 NEW BEST:: SOT 1494630 SOS 252355 HAS SOPS 252355 HAS SOUS 183731 HAS SOUPS 183731 WITH SCORE 183983.355
AT ITER 8108 NEW BEST:: SOT 1494614 SOS 252323 HAS SOPS 252323 HAS SOUS 183715 HAS SOUPS 183715 WITH SCORE 183967.323
AT ITER 8109 NEW BEST:: SOT 1494613 SOS 252321 HAS SOPS 252321 HAS SOUS 183713 HAS SOUPS 183713 WITH SCORE 183965.321
AT ITER 8191 NEW BEST:: SOT 1494606 SOS 252307 HAS SOPS 252307 HAS SOUS 183699 HAS SOUPS 183699 WITH SCORE 183951.307
AT ITER 8193 NEW BEST:: SOT 1494400 SOS 252140 HAS SOPS 252140 HAS SOUS 183532 HAS SOUPS 183532 WITH SCORE 183784.14
AT ITER 8194 NEW BEST:: SOT 1494398 SOS 252136 HAS SOPS 252136 HAS SOUS 183496 HAS SOUPS 183496 WITH SCORE 183748.136
AT ITER 8217 NEW BEST:: SOT 1494396 SOS 252070 HAS SOPS 252070 HAS SOUS 183494 HAS SOUPS 183494 WITH SCORE 183746.07
AT ITER 8237 NEW BEST:: SOT 1494455 SOS 252637 HAS SOPS 252637 HAS SOUS 183484 HAS SOUPS 183484 WITH SCORE 183736.637
AT ITER 8245 NEW BEST:: SOT 1494503 SOS 252535 HAS SOPS 252535 HAS SOUS 183433 HAS SOUPS 183433 WITH SCORE 183685.535
AT ITER 8254 NEW BEST:: SOT 1494480 SOS 252382 HAS SOPS 252382 HAS SOUS 183400 HAS SOUPS 183400 WITH SCORE 183652.382
AT ITER 8300 NEW BEST:: SOT 1494433 SOS 252372 HAS SOPS 252372 HAS SOUS 183362 HAS SOUPS 183362 WITH SCORE 183614.372
AT ITER 8340 NEW BEST:: SOT 1494375 SOS 252311 HAS SOPS 252311 HAS SOUS 183361 HAS SOUPS 183361 WITH SCORE 183613.311
AT ITER 8341 NEW BEST:: SOT 1494344 SOS 252077 HAS SOPS 252077 HAS SOUS 183304 HAS SOUPS 183304 WITH SCORE 183556.077
AT ITER 8344 NEW BEST:: SOT 1494320 SOS 252054 HAS SOPS 252054 HAS SOUS 183281 HAS SOUPS 183281 WITH SCORE 183533.054
AT ITER 8377 NEW BEST:: SOT 1494313 SOS 252040 HAS SOPS 252040 HAS SOUS 183267 HAS SOUPS 183267 WITH SCORE 183519.04
AT ITER 8393 NEW BEST:: SOT 1493576 SOS 251555 HAS SOPS 251555 HAS SOUS 182918 HAS SOUPS 182918 WITH SCORE 183169.555
AT ITER 8424 NEW BEST:: SOT 1493502 SOS 251481 HAS SOPS 251481 HAS SOUS 182844 HAS SOUPS 182844 WITH SCORE 183095.481
AT ITER 8438 NEW BEST:: SOT 1493457 SOS 251391 HAS SOPS 251391 HAS SOUS 182754 HAS SOUPS 182754 WITH SCORE 183005.391
AT ITER 8447 NEW BEST:: SOT 1493456 SOS 251389 HAS SOPS 251389 HAS SOUS 182752 HAS SOUPS 182752 WITH SCORE 183003.389
AT ITER 8456 NEW BEST:: SOT 1493430 SOS 251337 HAS SOPS 251337 HAS SOUS 182700 HAS SOUPS 182700 WITH SCORE 182951.337
AT ITER 8497 NEW BEST:: SOT 1493334 SOS 251145 HAS SOPS 251145 HAS SOUS 182527 HAS SOUPS 182527 WITH SCORE 182778.145
AT ITER 8518 NEW BEST:: SOT 1493334 SOS 251145 HAS SOPS 251145 HAS SOUS 182439 HAS SOUPS 182439 WITH SCORE 182690.145
AT ITER 8523 NEW BEST:: SOT 1492997 SOS 251080 HAS SOPS 251080 HAS SOUS 182197 HAS SOUPS 182197 WITH SCORE 182448.08
AT ITER 8524 NEW BEST:: SOT 1492840 SOS 250766 HAS SOPS 250766 HAS SOUS 181948 HAS SOUPS 181948 WITH SCORE 182198.766
AT ITER 8556 NEW BEST:: SOT 1492840 SOS 250740 HAS SOPS 250740 HAS SOUS 181922 HAS SOUPS 181922 WITH SCORE 182172.74
AT ITER 8590 NEW BEST:: SOT 1492839 SOS 250418 HAS SOPS 250418 HAS SOUS 181920 HAS SOUPS 181920 WITH SCORE 182170.418
AT ITER 8633 NEW BEST:: SOT 1492712 SOS 250164 HAS SOPS 250164 HAS SOUS 181666 HAS SOUPS 181666 WITH SCORE 181916.164
AT ITER 8662 NEW BEST:: SOT 1492670 SOS 249954 HAS SOPS 249954 HAS SOUS 181582 HAS SOUPS 181582 WITH SCORE 181831.954
AT ITER 8665 NEW BEST:: SOT 1492596 SOS 249880 HAS SOPS 249880 HAS SOUS 181463 HAS SOUPS 181463 WITH SCORE 181712.88
AT ITER 8677 NEW BEST:: SOT 1492415 SOS 249654 HAS SOPS 249654 HAS SOUS 181420 HAS SOUPS 181420 WITH SCORE 181669.654
AT ITER 8741 NEW BEST:: SOT 1492404 SOS 249696 HAS SOPS 249696 HAS SOUS 181398 HAS SOUPS 181398 WITH SCORE 181647.696
AT ITER 8746 NEW BEST:: SOT 1492374 SOS 249666 HAS SOPS 249666 HAS SOUS 181398 HAS SOUPS 181398 WITH SCORE 181647.666
AT ITER 8865 NEW BEST:: SOT 1492361 SOS 249640 HAS SOPS 249640 HAS SOUS 181385 HAS SOUPS 181385 WITH SCORE 181634.64
AT ITER 8904 NEW BEST:: SOT 1491459 SOS 251881 HAS SOPS 251881 HAS SOUS 180951 HAS SOUPS 180951 WITH SCORE 181202.881
AT ITER 8927 NEW BEST:: SOT 1491409 SOS 251631 HAS SOPS 251631 HAS SOUS 180901 HAS SOUPS 180901 WITH SCORE 181152.631
AT ITER 8957 NEW BEST:: SOT 1491390 SOS 251593 HAS SOPS 251593 HAS SOUS 180863 HAS SOUPS 180863 WITH SCORE 181114.593
AT ITER 8984 NEW BEST:: SOT 1491390 SOS 251593 HAS SOPS 251593 HAS SOUS 180816 HAS SOUPS 180816 WITH SCORE 181067.593
AT ITER 9014 NEW BEST:: SOT 1491414 SOS 251641 HAS SOPS 251641 HAS SOUS 180813 HAS SOUPS 180813 WITH SCORE 181064.641
AT ITER 9048 NEW BEST:: SOT 1491428 SOS 251630 HAS SOPS 251630 HAS SOUS 180802 HAS SOUPS 180802 WITH SCORE 181053.63
AT ITER 9051 NEW BEST:: SOT 1491428 SOS 251514 HAS SOPS 251514 HAS SOUS 180802 HAS SOUPS 180802 WITH SCORE 181053.514
AT ITER 9098 NEW BEST:: SOT 1491250 SOS 251158 HAS SOPS 251158 HAS SOUS 180643 HAS SOUPS 180643 WITH SCORE 180894.158
AT ITER 9103 NEW BEST:: SOT 1491203 SOS 251159 HAS SOPS 251159 HAS SOUS 180606 HAS SOUPS 180606 WITH SCORE 180857.159
AT ITER 9121 NEW BEST:: SOT 1491174 SOS 251130 HAS SOPS 251130 HAS SOUS 180606 HAS SOUPS 180606 WITH SCORE 180857.13
AT ITER 9141 NEW BEST:: SOT 1491115 SOS 251015 HAS SOPS 251015 HAS SOUS 180547 HAS SOUPS 180547 WITH SCORE 180798.015
AT ITER 9192 NEW BEST:: SOT 1491027 SOS 250883 HAS SOPS 250883 HAS SOUS 180415 HAS SOUPS 180415 WITH SCORE 180665.883
AT ITER 9234 NEW BEST:: SOT 1491131 SOS 250860 HAS SOPS 250860 HAS SOUS 180392 HAS SOUPS 180392 WITH SCORE 180642.86
AT ITER 9241 NEW BEST:: SOT 1491030 SOS 250658 HAS SOPS 250658 HAS SOUS 180190 HAS SOUPS 180190 WITH SCORE 180440.658
AT ITER 9242 NEW BEST:: SOT 1491029 SOS 251142 HAS SOPS 251142 HAS SOUS 180188 HAS SOUPS 180188 WITH SCORE 180439.142
AT ITER 9264 NEW BEST:: SOT 1491015 SOS 251114 HAS SOPS 251114 HAS SOUS 180160 HAS SOUPS 180160 WITH SCORE 180411.114
AT ITER 9289 NEW BEST:: SOT 1490978 SOS 251040 HAS SOPS 251040 HAS SOUS 180160 HAS SOUPS 180160 WITH SCORE 180411.04
AT ITER 9368 NEW BEST:: SOT 1490978 SOS 250979 HAS SOPS 250979 HAS SOUS 180099 HAS SOUPS 180099 WITH SCORE 180349.979
AT ITER 9404 NEW BEST:: SOT 1490979 SOS 250915 HAS SOPS 250915 HAS SOUS 180035 HAS SOUPS 180035 WITH SCORE 180285.915
AT ITER 9411 NEW BEST:: SOT 1491042 SOS 250645 HAS SOPS 250645 HAS SOUS 180029 HAS SOUPS 180029 WITH SCORE 180279.645
AT ITER 9426 NEW BEST:: SOT 1490891 SOS 250563 HAS SOPS 250563 HAS SOUS 179998 HAS SOUPS 179998 WITH SCORE 180248.563
AT ITER 9431 NEW BEST:: SOT 1490854 SOS 250559 HAS SOPS 250559 HAS SOUS 179964 HAS SOUPS 179964 WITH SCORE 180214.559
AT ITER 9444 NEW BEST:: SOT 1490815 SOS 250697 HAS SOPS 250697 HAS SOUS 179958 HAS SOUPS 179958 WITH SCORE 180208.697
AT ITER 9447 NEW BEST:: SOT 1490534 SOS 250259 HAS SOPS 250259 HAS SOUS 179796 HAS SOUPS 179796 WITH SCORE 180046.259
AT ITER 9456 NEW BEST:: SOT 1490529 SOS 250338 HAS SOPS 250338 HAS SOUS 179788 HAS SOUPS 179788 WITH SCORE 180038.338
AT ITER 9526 NEW BEST:: SOT 1490445 SOS 249960 HAS SOPS 249960 HAS SOUS 179684 HAS SOUPS 179684 WITH SCORE 179933.96
AT ITER 9573 NEW BEST:: SOT 1490395 SOS 249645 HAS SOPS 249645 HAS SOUS 179562 HAS SOUPS 179562 WITH SCORE 179811.645
AT ITER 9646 NEW BEST:: SOT 1490435 SOS 249605 HAS SOPS 249605 HAS SOUS 179562 HAS SOUPS 179562 WITH SCORE 179811.605
AT ITER 9657 NEW BEST:: SOT 1490435 SOS 249600 HAS SOPS 249600 HAS SOUS 179562 HAS SOUPS 179562 WITH SCORE 179811.6
AT ITER 9666 NEW BEST:: SOT 1490370 SOS 249470 HAS SOPS 249470 HAS SOUS 179432 HAS SOUPS 179432 WITH SCORE 179681.47
AT ITER 9690 NEW BEST:: SOT 1490385 SOS 249500 HAS SOPS 249500 HAS SOUS 179428 HAS SOUPS 179428 WITH SCORE 179677.5
AT ITER 9741 NEW BEST:: SOT 1490384 SOS 249498 HAS SOPS 249498 HAS SOUS 179426 HAS SOUPS 179426 WITH SCORE 179675.498
AT ITER 9744 NEW BEST:: SOT 1490307 SOS 249344 HAS SOPS 249344 HAS SOUS 179349 HAS SOUPS 179349 WITH SCORE 179598.344
AT ITER 9759 NEW BEST:: SOT 1490307 SOS 249341 HAS SOPS 249341 HAS SOUS 179346 HAS SOUPS 179346 WITH SCORE 179595.341
AT ITER 9773 NEW BEST:: SOT 1490275 SOS 249325 HAS SOPS 249325 HAS SOUS 179330 HAS SOUPS 179330 WITH SCORE 179579.325
AT ITER 9829 NEW BEST:: SOT 1490269 SOS 249313 HAS SOPS 249313 HAS SOUS 179324 HAS SOUPS 179324 WITH SCORE 179573.313
AT ITER 9839 NEW BEST:: SOT 1490261 SOS 249093 HAS SOPS 249093 HAS SOUS 179315 HAS SOUPS 179315 WITH SCORE 179564.093
AT ITER 9874 NEW BEST:: SOT 1490229 SOS 249029 HAS SOPS 249029 HAS SOUS 179251 HAS SOUPS 179251 WITH SCORE 179500.029
AT ITER 9933 NEW BEST:: SOT 1490225 SOS 249010 HAS SOPS 249010 HAS SOUS 179247 HAS SOUPS 179247 WITH SCORE 179496.01
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 11928128 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151992 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="DLCround-PT-03b"
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 DLCround-PT-03b, 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 r099-tall-167814472700632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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