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.r459-smll-167912651000280.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 smartxred
Input is SmartHome-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.4K Feb 26 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 05:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 05:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 05:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 05:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 05:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 05:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 120K Mar 5 18:23 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 1679283725654

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-16
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 03:42:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 03:42:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 03:42:09] [INFO ] Load time of PNML (sax parser for PT used): 128 ms
[2023-03-20 03:42:09] [INFO ] Transformed 499 places.
[2023-03-20 03:42:09] [INFO ] Transformed 533 transitions.
[2023-03-20 03:42:09] [INFO ] Found NUPN structural information;
[2023-03-20 03:42:09] [INFO ] Parsed PT model containing 499 places and 533 transitions and 1222 arcs in 236 ms.
[2023-03-20 03:42:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 499 places, 533 transitions and 1222 arcs took 9 ms.
Total runtime 301 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 16
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 499 places, 533 transitions, 1222 arcs.
AT ITER 0 NEW BEST:: SOT 157221 SOS 35977 HAS SOPS 35977 HAS SOUS 35133 HAS SOUPS 35133 WITH SCORE 35168.977
AT ITER 8 NEW BEST:: SOT 157172 SOS 35977 HAS SOPS 35977 HAS SOUS 35132 HAS SOUPS 35132 WITH SCORE 35167.977
AT ITER 14 NEW BEST:: SOT 156781 SOS 35615 HAS SOPS 35615 HAS SOUS 34736 HAS SOUPS 34736 WITH SCORE 34771.615
AT ITER 22 NEW BEST:: SOT 156781 SOS 35503 HAS SOPS 35503 HAS SOUS 34624 HAS SOUPS 34624 WITH SCORE 34659.503
AT ITER 25 NEW BEST:: SOT 156770 SOS 35481 HAS SOPS 35481 HAS SOUS 34602 HAS SOUPS 34602 WITH SCORE 34637.481
AT ITER 26 NEW BEST:: SOT 156714 SOS 35369 HAS SOPS 35369 HAS SOUS 34490 HAS SOUPS 34490 WITH SCORE 34525.369
AT ITER 60 NEW BEST:: SOT 156274 SOS 38147 HAS SOPS 38147 HAS SOUS 34487 HAS SOUPS 34487 WITH SCORE 34525.147
AT ITER 75 NEW BEST:: SOT 156251 SOS 38101 HAS SOPS 38101 HAS SOUS 34441 HAS SOUPS 34441 WITH SCORE 34479.101
AT ITER 87 NEW BEST:: SOT 156242 SOS 37965 HAS SOPS 37965 HAS SOUS 34365 HAS SOUPS 34365 WITH SCORE 34402.965
AT ITER 92 NEW BEST:: SOT 156204 SOS 37889 HAS SOPS 37889 HAS SOUS 34365 HAS SOUPS 34365 WITH SCORE 34402.889
AT ITER 108 NEW BEST:: SOT 156215 SOS 37886 HAS SOPS 37886 HAS SOUS 34361 HAS SOUPS 34361 WITH SCORE 34398.886
AT ITER 119 NEW BEST:: SOT 156215 SOS 37886 HAS SOPS 37886 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34386.886
AT ITER 129 NEW BEST:: SOT 156029 SOS 37765 HAS SOPS 37765 HAS SOUS 34228 HAS SOUPS 34228 WITH SCORE 34265.765
AT ITER 132 NEW BEST:: SOT 155962 SOS 37718 HAS SOPS 37718 HAS SOUS 34160 HAS SOUPS 34160 WITH SCORE 34197.718
AT ITER 133 NEW BEST:: SOT 154854 SOS 37353 HAS SOPS 37353 HAS SOUS 33214 HAS SOUPS 33214 WITH SCORE 33251.353
AT ITER 159 NEW BEST:: SOT 154825 SOS 37339 HAS SOPS 37339 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33222.339
AT ITER 171 NEW BEST:: SOT 154835 SOS 37315 HAS SOPS 37315 HAS SOUS 33103 HAS SOUPS 33103 WITH SCORE 33140.315
AT ITER 178 NEW BEST:: SOT 154777 SOS 37243 HAS SOPS 37243 HAS SOUS 32994 HAS SOUPS 32994 WITH SCORE 33031.243
AT ITER 187 NEW BEST:: SOT 154777 SOS 37226 HAS SOPS 37226 HAS SOUS 32977 HAS SOUPS 32977 WITH SCORE 33014.226
AT ITER 209 NEW BEST:: SOT 154764 SOS 37200 HAS SOPS 37200 HAS SOUS 32951 HAS SOUPS 32951 WITH SCORE 32988.2
AT ITER 234 NEW BEST:: SOT 154720 SOS 37108 HAS SOPS 37108 HAS SOUS 32907 HAS SOUPS 32907 WITH SCORE 32944.108
AT ITER 251 NEW BEST:: SOT 154095 SOS 37050 HAS SOPS 37050 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32468.05
AT ITER 255 NEW BEST:: SOT 154112 SOS 37084 HAS SOPS 37084 HAS SOUS 32389 HAS SOUPS 32389 WITH SCORE 32426.084
AT ITER 273 NEW BEST:: SOT 154030 SOS 36387 HAS SOPS 36387 HAS SOUS 32266 HAS SOUPS 32266 WITH SCORE 32302.387
AT ITER 278 NEW BEST:: SOT 154021 SOS 36369 HAS SOPS 36369 HAS SOUS 32266 HAS SOUPS 32266 WITH SCORE 32302.369
AT ITER 288 NEW BEST:: SOT 153906 SOS 36139 HAS SOPS 36139 HAS SOUS 32151 HAS SOUPS 32151 WITH SCORE 32187.139
AT ITER 290 NEW BEST:: SOT 153906 SOS 36101 HAS SOPS 36101 HAS SOUS 32131 HAS SOUPS 32131 WITH SCORE 32167.101
AT ITER 293 NEW BEST:: SOT 153805 SOS 35908 HAS SOPS 35908 HAS SOUS 31967 HAS SOUPS 31967 WITH SCORE 32002.908
AT ITER 299 NEW BEST:: SOT 153502 SOS 36335 HAS SOPS 36335 HAS SOUS 31746 HAS SOUPS 31746 WITH SCORE 31782.335
AT ITER 307 NEW BEST:: SOT 153444 SOS 36277 HAS SOPS 36277 HAS SOUS 31688 HAS SOUPS 31688 WITH SCORE 31724.277
AT ITER 311 NEW BEST:: SOT 152540 SOS 43489 HAS SOPS 43489 HAS SOUS 31540 HAS SOUPS 31540 WITH SCORE 31583.489
AT ITER 315 NEW BEST:: SOT 152551 SOS 43500 HAS SOPS 43500 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31572.5
AT ITER 318 NEW BEST:: SOT 152549 SOS 43476 HAS SOPS 43476 HAS SOUS 31472 HAS SOUPS 31472 WITH SCORE 31515.476
AT ITER 326 NEW BEST:: SOT 152549 SOS 43401 HAS SOPS 43401 HAS SOUS 31376 HAS SOUPS 31376 WITH SCORE 31419.401
AT ITER 343 NEW BEST:: SOT 152546 SOS 43395 HAS SOPS 43395 HAS SOUS 31370 HAS SOUPS 31370 WITH SCORE 31413.395
AT ITER 351 NEW BEST:: SOT 152520 SOS 43356 HAS SOPS 43356 HAS SOUS 31331 HAS SOUPS 31331 WITH SCORE 31374.356
AT ITER 367 NEW BEST:: SOT 152491 SOS 43327 HAS SOPS 43327 HAS SOUS 31302 HAS SOUPS 31302 WITH SCORE 31345.327
AT ITER 376 NEW BEST:: SOT 152491 SOS 43320 HAS SOPS 43320 HAS SOUS 31295 HAS SOUPS 31295 WITH SCORE 31338.32
AT ITER 379 NEW BEST:: SOT 152581 SOS 43168 HAS SOPS 43168 HAS SOUS 31244 HAS SOUPS 31244 WITH SCORE 31287.168
AT ITER 403 NEW BEST:: SOT 152565 SOS 43136 HAS SOPS 43136 HAS SOUS 31199 HAS SOUPS 31199 WITH SCORE 31242.136
AT ITER 409 NEW BEST:: SOT 152561 SOS 43076 HAS SOPS 43076 HAS SOUS 31195 HAS SOUPS 31195 WITH SCORE 31238.076
AT ITER 411 NEW BEST:: SOT 152557 SOS 43068 HAS SOPS 43068 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31207.068
AT ITER 413 NEW BEST:: SOT 152516 SOS 42986 HAS SOPS 42986 HAS SOUS 31082 HAS SOUPS 31082 WITH SCORE 31124.986
AT ITER 425 NEW BEST:: SOT 152486 SOS 42947 HAS SOPS 42947 HAS SOUS 30993 HAS SOUPS 30993 WITH SCORE 31035.947
AT ITER 436 NEW BEST:: SOT 152414 SOS 42875 HAS SOPS 42875 HAS SOUS 30945 HAS SOUPS 30945 WITH SCORE 30987.875
AT ITER 465 NEW BEST:: SOT 152324 SOS 42695 HAS SOPS 42695 HAS SOUS 30765 HAS SOUPS 30765 WITH SCORE 30807.695
AT ITER 468 NEW BEST:: SOT 152215 SOS 42477 HAS SOPS 42477 HAS SOUS 30547 HAS SOUPS 30547 WITH SCORE 30589.477
AT ITER 479 NEW BEST:: SOT 152193 SOS 42433 HAS SOPS 42433 HAS SOUS 30499 HAS SOUPS 30499 WITH SCORE 30541.433
AT ITER 531 NEW BEST:: SOT 152140 SOS 42327 HAS SOPS 42327 HAS SOUS 30393 HAS SOUPS 30393 WITH SCORE 30435.327
AT ITER 532 NEW BEST:: SOT 152100 SOS 37992 HAS SOPS 37992 HAS SOUS 30353 HAS SOUPS 30353 WITH SCORE 30390.992
AT ITER 534 NEW BEST:: SOT 152066 SOS 37924 HAS SOPS 37924 HAS SOUS 30285 HAS SOUPS 30285 WITH SCORE 30322.924
AT ITER 550 NEW BEST:: SOT 151972 SOS 37830 HAS SOPS 37830 HAS SOUS 30238 HAS SOUPS 30238 WITH SCORE 30275.83
AT ITER 565 NEW BEST:: SOT 151879 SOS 37659 HAS SOPS 37659 HAS SOUS 30215 HAS SOUPS 30215 WITH SCORE 30252.659
AT ITER 566 NEW BEST:: SOT 151866 SOS 37519 HAS SOPS 37519 HAS SOUS 30189 HAS SOUPS 30189 WITH SCORE 30226.519
AT ITER 572 NEW BEST:: SOT 151799 SOS 37463 HAS SOPS 37463 HAS SOUS 30146 HAS SOUPS 30146 WITH SCORE 30183.463
AT ITER 580 NEW BEST:: SOT 151723 SOS 37256 HAS SOPS 37256 HAS SOUS 29939 HAS SOUPS 29939 WITH SCORE 29976.256
AT ITER 583 NEW BEST:: SOT 151729 SOS 37262 HAS SOPS 37262 HAS SOUS 29925 HAS SOUPS 29925 WITH SCORE 29962.262
AT ITER 584 NEW BEST:: SOT 151497 SOS 36814 HAS SOPS 36814 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29658.814
AT ITER 587 NEW BEST:: SOT 151481 SOS 36800 HAS SOPS 36800 HAS SOUS 29608 HAS SOUPS 29608 WITH SCORE 29644.8
AT ITER 595 NEW BEST:: SOT 151486 SOS 36795 HAS SOPS 36795 HAS SOUS 29598 HAS SOUPS 29598 WITH SCORE 29634.795
AT ITER 599 NEW BEST:: SOT 151499 SOS 36713 HAS SOPS 36713 HAS SOUS 29571 HAS SOUPS 29571 WITH SCORE 29607.713
AT ITER 607 NEW BEST:: SOT 151407 SOS 36641 HAS SOPS 36641 HAS SOUS 29499 HAS SOUPS 29499 WITH SCORE 29535.641
AT ITER 610 NEW BEST:: SOT 151407 SOS 36619 HAS SOPS 36619 HAS SOUS 29477 HAS SOUPS 29477 WITH SCORE 29513.619
AT ITER 627 NEW BEST:: SOT 151393 SOS 36591 HAS SOPS 36591 HAS SOUS 29416 HAS SOUPS 29416 WITH SCORE 29452.591
AT ITER 640 NEW BEST:: SOT 151316 SOS 36399 HAS SOPS 36399 HAS SOUS 29360 HAS SOUPS 29360 WITH SCORE 29396.399
AT ITER 644 NEW BEST:: SOT 151310 SOS 36365 HAS SOPS 36365 HAS SOUS 29356 HAS SOUPS 29356 WITH SCORE 29392.365
AT ITER 649 NEW BEST:: SOT 151330 SOS 36345 HAS SOPS 36345 HAS SOUS 29336 HAS SOUPS 29336 WITH SCORE 29372.345
AT ITER 664 NEW BEST:: SOT 151314 SOS 36285 HAS SOPS 36285 HAS SOUS 29276 HAS SOUPS 29276 WITH SCORE 29312.285
AT ITER 676 NEW BEST:: SOT 151310 SOS 36277 HAS SOPS 36277 HAS SOUS 29268 HAS SOUPS 29268 WITH SCORE 29304.277
AT ITER 677 NEW BEST:: SOT 151312 SOS 36272 HAS SOPS 36272 HAS SOUS 29263 HAS SOUPS 29263 WITH SCORE 29299.272
AT ITER 687 NEW BEST:: SOT 151333 SOS 36234 HAS SOPS 36234 HAS SOUS 29204 HAS SOUPS 29204 WITH SCORE 29240.234
AT ITER 692 NEW BEST:: SOT 151279 SOS 36233 HAS SOPS 36233 HAS SOUS 29199 HAS SOUPS 29199 WITH SCORE 29235.233
AT ITER 695 NEW BEST:: SOT 151258 SOS 36214 HAS SOPS 36214 HAS SOUS 29168 HAS SOUPS 29168 WITH SCORE 29204.214
AT ITER 714 NEW BEST:: SOT 151216 SOS 36172 HAS SOPS 36172 HAS SOUS 29126 HAS SOUPS 29126 WITH SCORE 29162.172
AT ITER 731 NEW BEST:: SOT 151207 SOS 36110 HAS SOPS 36110 HAS SOUS 29088 HAS SOUPS 29088 WITH SCORE 29124.11
AT ITER 758 NEW BEST:: SOT 151169 SOS 36034 HAS SOPS 36034 HAS SOUS 29060 HAS SOUPS 29060 WITH SCORE 29096.034
AT ITER 763 NEW BEST:: SOT 151159 SOS 36019 HAS SOPS 36019 HAS SOUS 29050 HAS SOUPS 29050 WITH SCORE 29086.019
AT ITER 767 NEW BEST:: SOT 151170 SOS 36041 HAS SOPS 36041 HAS SOUS 29049 HAS SOUPS 29049 WITH SCORE 29085.041
AT ITER 770 NEW BEST:: SOT 151118 SOS 35989 HAS SOPS 35989 HAS SOUS 29049 HAS SOUPS 29049 WITH SCORE 29084.989
AT ITER 793 NEW BEST:: SOT 151120 SOS 35993 HAS SOPS 35993 HAS SOUS 29041 HAS SOUPS 29041 WITH SCORE 29076.993
AT ITER 795 NEW BEST:: SOT 151093 SOS 35939 HAS SOPS 35939 HAS SOUS 28987 HAS SOUPS 28987 WITH SCORE 29022.939
AT ITER 808 NEW BEST:: SOT 151040 SOS 35936 HAS SOPS 35936 HAS SOUS 28984 HAS SOUPS 28984 WITH SCORE 29019.936
AT ITER 881 NEW BEST:: SOT 151077 SOS 35957 HAS SOPS 35957 HAS SOUS 28968 HAS SOUPS 28968 WITH SCORE 29003.957
AT ITER 891 NEW BEST:: SOT 151068 SOS 35948 HAS SOPS 35948 HAS SOUS 28959 HAS SOUPS 28959 WITH SCORE 28994.948
AT ITER 894 NEW BEST:: SOT 151068 SOS 35948 HAS SOPS 35948 HAS SOUS 28958 HAS SOUPS 28958 WITH SCORE 28993.948
AT ITER 900 NEW BEST:: SOT 150979 SOS 35828 HAS SOPS 35828 HAS SOUS 28792 HAS SOUPS 28792 WITH SCORE 28827.828
AT ITER 921 NEW BEST:: SOT 151017 SOS 35134 HAS SOPS 35134 HAS SOUS 28775 HAS SOUPS 28775 WITH SCORE 28810.134
AT ITER 922 NEW BEST:: SOT 151016 SOS 35131 HAS SOPS 35131 HAS SOUS 28772 HAS SOUPS 28772 WITH SCORE 28807.131
AT ITER 923 NEW BEST:: SOT 151007 SOS 35104 HAS SOPS 35104 HAS SOUS 28754 HAS SOUPS 28754 WITH SCORE 28789.104
AT ITER 937 NEW BEST:: SOT 151012 SOS 35089 HAS SOPS 35089 HAS SOUS 28731 HAS SOUPS 28731 WITH SCORE 28766.089
AT ITER 941 NEW BEST:: SOT 150939 SOS 35009 HAS SOPS 35009 HAS SOUS 28695 HAS SOUPS 28695 WITH SCORE 28730.009
AT ITER 971 NEW BEST:: SOT 150915 SOS 34961 HAS SOPS 34961 HAS SOUS 28633 HAS SOUPS 28633 WITH SCORE 28667.961
AT ITER 979 NEW BEST:: SOT 150912 SOS 35033 HAS SOPS 35033 HAS SOUS 28630 HAS SOUPS 28630 WITH SCORE 28665.033
AT ITER 982 NEW BEST:: SOT 150897 SOS 34951 HAS SOPS 34951 HAS SOUS 28600 HAS SOUPS 28600 WITH SCORE 28634.951
AT ITER 1034 NEW BEST:: SOT 150883 SOS 34901 HAS SOPS 34901 HAS SOUS 28559 HAS SOUPS 28559 WITH SCORE 28593.901
AT ITER 1054 NEW BEST:: SOT 150865 SOS 34856 HAS SOPS 34856 HAS SOUS 28496 HAS SOUPS 28496 WITH SCORE 28530.856
AT ITER 1056 NEW BEST:: SOT 150913 SOS 34943 HAS SOPS 34943 HAS SOUS 28493 HAS SOUPS 28493 WITH SCORE 28527.943
AT ITER 1062 NEW BEST:: SOT 150893 SOS 34903 HAS SOPS 34903 HAS SOUS 28453 HAS SOUPS 28453 WITH SCORE 28487.903
AT ITER 1068 NEW BEST:: SOT 150851 SOS 34819 HAS SOPS 34819 HAS SOUS 28411 HAS SOUPS 28411 WITH SCORE 28445.819
AT ITER 1079 NEW BEST:: SOT 150847 SOS 34811 HAS SOPS 34811 HAS SOUS 28407 HAS SOUPS 28407 WITH SCORE 28441.811
AT ITER 1094 NEW BEST:: SOT 150426 SOS 37218 HAS SOPS 37218 HAS SOUS 28266 HAS SOUPS 28266 WITH SCORE 28303.218
AT ITER 1103 NEW BEST:: SOT 150402 SOS 37170 HAS SOPS 37170 HAS SOUS 28242 HAS SOUPS 28242 WITH SCORE 28279.17
AT ITER 1106 NEW BEST:: SOT 150409 SOS 37160 HAS SOPS 37160 HAS SOUS 28225 HAS SOUPS 28225 WITH SCORE 28262.16
AT ITER 1139 NEW BEST:: SOT 150256 SOS 36984 HAS SOPS 36984 HAS SOUS 28139 HAS SOUPS 28139 WITH SCORE 28175.984
AT ITER 1140 NEW BEST:: SOT 150242 SOS 36970 HAS SOPS 36970 HAS SOUS 28125 HAS SOUPS 28125 WITH SCORE 28161.97
AT ITER 1158 NEW BEST:: SOT 150239 SOS 36860 HAS SOPS 36860 HAS SOUS 28114 HAS SOUPS 28114 WITH SCORE 28150.86
AT ITER 1166 NEW BEST:: SOT 149888 SOS 36346 HAS SOPS 36346 HAS SOUS 27763 HAS SOUPS 27763 WITH SCORE 27799.346
AT ITER 1170 NEW BEST:: SOT 149639 SOS 37054 HAS SOPS 37054 HAS SOUS 27713 HAS SOUPS 27713 WITH SCORE 27750.054
AT ITER 1182 NEW BEST:: SOT 149596 SOS 36968 HAS SOPS 36968 HAS SOUS 27670 HAS SOUPS 27670 WITH SCORE 27706.968
AT ITER 1198 NEW BEST:: SOT 149575 SOS 36994 HAS SOPS 36994 HAS SOUS 27634 HAS SOUPS 27634 WITH SCORE 27670.994
AT ITER 1221 NEW BEST:: SOT 149533 SOS 36952 HAS SOPS 36952 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27577.952
AT ITER 1226 NEW BEST:: SOT 149458 SOS 36877 HAS SOPS 36877 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27527.877
AT ITER 1238 NEW BEST:: SOT 149392 SOS 36863 HAS SOPS 36863 HAS SOUS 27477 HAS SOUPS 27477 WITH SCORE 27513.863
AT ITER 1240 NEW BEST:: SOT 149382 SOS 36843 HAS SOPS 36843 HAS SOUS 27457 HAS SOUPS 27457 WITH SCORE 27493.843
AT ITER 1251 NEW BEST:: SOT 149382 SOS 36843 HAS SOPS 36843 HAS SOUS 27439 HAS SOUPS 27439 WITH SCORE 27475.843
AT ITER 1260 NEW BEST:: SOT 149387 SOS 36842 HAS SOPS 36842 HAS SOUS 27438 HAS SOUPS 27438 WITH SCORE 27474.842
AT ITER 1261 NEW BEST:: SOT 149338 SOS 36733 HAS SOPS 36733 HAS SOUS 27343 HAS SOUPS 27343 WITH SCORE 27379.733
AT ITER 1286 NEW BEST:: SOT 149338 SOS 36725 HAS SOPS 36725 HAS SOUS 27335 HAS SOUPS 27335 WITH SCORE 27371.725
AT ITER 1297 NEW BEST:: SOT 149298 SOS 35544 HAS SOPS 35544 HAS SOUS 27255 HAS SOUPS 27255 WITH SCORE 27290.544
AT ITER 1298 NEW BEST:: SOT 148924 SOS 37312 HAS SOPS 37312 HAS SOUS 27215 HAS SOUPS 27215 WITH SCORE 27252.312
AT ITER 1301 NEW BEST:: SOT 148896 SOS 37256 HAS SOPS 37256 HAS SOUS 27187 HAS SOUPS 27187 WITH SCORE 27224.256
AT ITER 1302 NEW BEST:: SOT 148866 SOS 37196 HAS SOPS 37196 HAS SOUS 27152 HAS SOUPS 27152 WITH SCORE 27189.196
AT ITER 1304 NEW BEST:: SOT 148717 SOS 36993 HAS SOPS 36993 HAS SOUS 26992 HAS SOUPS 26992 WITH SCORE 27028.993
AT ITER 1318 NEW BEST:: SOT 148661 SOS 37003 HAS SOPS 37003 HAS SOUS 26970 HAS SOUPS 26970 WITH SCORE 27007.003
AT ITER 1320 NEW BEST:: SOT 148620 SOS 36962 HAS SOPS 36962 HAS SOUS 26929 HAS SOUPS 26929 WITH SCORE 26965.962
AT ITER 1326 NEW BEST:: SOT 148603 SOS 36928 HAS SOPS 36928 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26931.928
AT ITER 1331 NEW BEST:: SOT 148603 SOS 36895 HAS SOPS 36895 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26898.895
AT ITER 1338 NEW BEST:: SOT 148600 SOS 36892 HAS SOPS 36892 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26895.892
AT ITER 1347 NEW BEST:: SOT 148595 SOS 36887 HAS SOPS 36887 HAS SOUS 26854 HAS SOUPS 26854 WITH SCORE 26890.887
AT ITER 1374 NEW BEST:: SOT 148589 SOS 36875 HAS SOPS 36875 HAS SOUS 26848 HAS SOUPS 26848 WITH SCORE 26884.875
AT ITER 1383 NEW BEST:: SOT 148589 SOS 36875 HAS SOPS 36875 HAS SOUS 26829 HAS SOUPS 26829 WITH SCORE 26865.875
AT ITER 1408 NEW BEST:: SOT 148559 SOS 36815 HAS SOPS 36815 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26835.815
AT ITER 1429 NEW BEST:: SOT 148731 SOS 35091 HAS SOPS 35091 HAS SOUS 26782 HAS SOUPS 26782 WITH SCORE 26817.091
AT ITER 1437 NEW BEST:: SOT 148717 SOS 35077 HAS SOPS 35077 HAS SOUS 26768 HAS SOUPS 26768 WITH SCORE 26803.077
AT ITER 1460 NEW BEST:: SOT 148701 SOS 35061 HAS SOPS 35061 HAS SOUS 26752 HAS SOUPS 26752 WITH SCORE 26787.061
AT ITER 1519 NEW BEST:: SOT 148645 SOS 34949 HAS SOPS 34949 HAS SOUS 26661 HAS SOUPS 26661 WITH SCORE 26695.949
AT ITER 1524 NEW BEST:: SOT 148706 SOS 34857 HAS SOPS 34857 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26603.857
AT ITER 1541 NEW BEST:: SOT 148641 SOS 34792 HAS SOPS 34792 HAS SOUS 26506 HAS SOUPS 26506 WITH SCORE 26540.792
AT ITER 1549 NEW BEST:: SOT 148630 SOS 34792 HAS SOPS 34792 HAS SOUS 26495 HAS SOUPS 26495 WITH SCORE 26529.792
AT ITER 1552 NEW BEST:: SOT 148621 SOS 34756 HAS SOPS 34756 HAS SOUS 26477 HAS SOUPS 26477 WITH SCORE 26511.756
AT ITER 1565 NEW BEST:: SOT 148621 SOS 34756 HAS SOPS 34756 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26504.756
AT ITER 1566 NEW BEST:: SOT 148603 SOS 34720 HAS SOPS 34720 HAS SOUS 26434 HAS SOUPS 26434 WITH SCORE 26468.72
AT ITER 1576 NEW BEST:: SOT 148469 SOS 34534 HAS SOPS 34534 HAS SOUS 26242 HAS SOUPS 26242 WITH SCORE 26276.534
AT ITER 1581 NEW BEST:: SOT 148466 SOS 34528 HAS SOPS 34528 HAS SOUS 26239 HAS SOUPS 26239 WITH SCORE 26273.528
AT ITER 1587 NEW BEST:: SOT 148453 SOS 34502 HAS SOPS 34502 HAS SOUS 26215 HAS SOUPS 26215 WITH SCORE 26249.502
AT ITER 1592 NEW BEST:: SOT 148450 SOS 34412 HAS SOPS 34412 HAS SOUS 26170 HAS SOUPS 26170 WITH SCORE 26204.412
AT ITER 1611 NEW BEST:: SOT 148440 SOS 34382 HAS SOPS 34382 HAS SOUS 26140 HAS SOUPS 26140 WITH SCORE 26174.382
AT ITER 1617 NEW BEST:: SOT 148432 SOS 34366 HAS SOPS 34366 HAS SOUS 26124 HAS SOUPS 26124 WITH SCORE 26158.366
AT ITER 1622 NEW BEST:: SOT 148452 SOS 34392 HAS SOPS 34392 HAS SOUS 26072 HAS SOUPS 26072 WITH SCORE 26106.392
AT ITER 1706 NEW BEST:: SOT 148279 SOS 34176 HAS SOPS 34176 HAS SOUS 25973 HAS SOUPS 25973 WITH SCORE 26007.176
AT ITER 1708 NEW BEST:: SOT 148285 SOS 34178 HAS SOPS 34178 HAS SOUS 25969 HAS SOUPS 25969 WITH SCORE 26003.178
AT ITER 1740 NEW BEST:: SOT 148244 SOS 34096 HAS SOPS 34096 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25921.096
AT ITER 1754 NEW BEST:: SOT 148249 SOS 34095 HAS SOPS 34095 HAS SOUS 25886 HAS SOUPS 25886 WITH SCORE 25920.095
AT ITER 1771 NEW BEST:: SOT 148248 SOS 34089 HAS SOPS 34089 HAS SOUS 25880 HAS SOUPS 25880 WITH SCORE 25914.089
AT ITER 1774 NEW BEST:: SOT 148196 SOS 34036 HAS SOPS 34036 HAS SOUS 25849 HAS SOUPS 25849 WITH SCORE 25883.036
AT ITER 1802 NEW BEST:: SOT 148187 SOS 34027 HAS SOPS 34027 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 25874.027
AT ITER 1804 NEW BEST:: SOT 148211 SOS 34075 HAS SOPS 34075 HAS SOUS 25837 HAS SOUPS 25837 WITH SCORE 25871.075
AT ITER 1813 NEW BEST:: SOT 148236 SOS 34091 HAS SOPS 34091 HAS SOUS 25830 HAS SOUPS 25830 WITH SCORE 25864.091
AT ITER 1815 NEW BEST:: SOT 148215 SOS 34093 HAS SOPS 34093 HAS SOUS 25815 HAS SOUPS 25815 WITH SCORE 25849.093
AT ITER 1828 NEW BEST:: SOT 148191 SOS 34072 HAS SOPS 34072 HAS SOUS 25794 HAS SOUPS 25794 WITH SCORE 25828.072
AT ITER 1835 NEW BEST:: SOT 148208 SOS 34067 HAS SOPS 34067 HAS SOUS 25789 HAS SOUPS 25789 WITH SCORE 25823.067
AT ITER 1865 NEW BEST:: SOT 147528 SOS 34850 HAS SOPS 34850 HAS SOUS 25234 HAS SOUPS 25234 WITH SCORE 25268.85
AT ITER 1876 NEW BEST:: SOT 147520 SOS 34837 HAS SOPS 34837 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25261.837
AT ITER 1878 NEW BEST:: SOT 147534 SOS 34861 HAS SOPS 34861 HAS SOUS 25193 HAS SOUPS 25193 WITH SCORE 25227.861
AT ITER 1901 NEW BEST:: SOT 147503 SOS 34815 HAS SOPS 34815 HAS SOUS 25163 HAS SOUPS 25163 WITH SCORE 25197.815
AT ITER 1914 NEW BEST:: SOT 147463 SOS 34735 HAS SOPS 34735 HAS SOUS 25083 HAS SOUPS 25083 WITH SCORE 25117.735
AT ITER 1919 NEW BEST:: SOT 147445 SOS 34699 HAS SOPS 34699 HAS SOUS 25047 HAS SOUPS 25047 WITH SCORE 25081.699
AT ITER 1928 NEW BEST:: SOT 147449 SOS 34707 HAS SOPS 34707 HAS SOUS 25039 HAS SOUPS 25039 WITH SCORE 25073.707
AT ITER 1941 NEW BEST:: SOT 147387 SOS 34583 HAS SOPS 34583 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25011.583
AT ITER 1963 NEW BEST:: SOT 147387 SOS 34583 HAS SOPS 34583 HAS SOUS 24910 HAS SOUPS 24910 WITH SCORE 24944.583
AT ITER 1976 NEW BEST:: SOT 147375 SOS 34560 HAS SOPS 34560 HAS SOUS 24887 HAS SOUPS 24887 WITH SCORE 24921.56
AT ITER 2010 NEW BEST:: SOT 147375 SOS 34496 HAS SOPS 34496 HAS SOUS 24823 HAS SOUPS 24823 WITH SCORE 24857.496
AT ITER 2020 NEW BEST:: SOT 147375 SOS 34496 HAS SOPS 34496 HAS SOUS 24820 HAS SOUPS 24820 WITH SCORE 24854.496
AT ITER 2021 NEW BEST:: SOT 147468 SOS 34574 HAS SOPS 34574 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24851.574
AT ITER 2031 NEW BEST:: SOT 147461 SOS 34560 HAS SOPS 34560 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24837.56
AT ITER 2083 NEW BEST:: SOT 147444 SOS 34543 HAS SOPS 34543 HAS SOUS 24786 HAS SOUPS 24786 WITH SCORE 24820.543
AT ITER 2099 NEW BEST:: SOT 147429 SOS 34528 HAS SOPS 34528 HAS SOUS 24756 HAS SOUPS 24756 WITH SCORE 24790.528
AT ITER 2106 NEW BEST:: SOT 147427 SOS 34524 HAS SOPS 34524 HAS SOUS 24754 HAS SOUPS 24754 WITH SCORE 24788.524
AT ITER 2132 NEW BEST:: SOT 147322 SOS 34419 HAS SOPS 34419 HAS SOUS 24677 HAS SOUPS 24677 WITH SCORE 24711.419
AT ITER 2133 NEW BEST:: SOT 147233 SOS 34241 HAS SOPS 34241 HAS SOUS 24571 HAS SOUPS 24571 WITH SCORE 24605.241
AT ITER 2147 NEW BEST:: SOT 147066 SOS 33909 HAS SOPS 33909 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24591.909
AT ITER 2154 NEW BEST:: SOT 147064 SOS 33878 HAS SOPS 33878 HAS SOUS 24553 HAS SOUPS 24553 WITH SCORE 24586.878
AT ITER 2162 NEW BEST:: SOT 146964 SOS 33998 HAS SOPS 33998 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24506.998
AT ITER 2167 NEW BEST:: SOT 146757 SOS 34435 HAS SOPS 34435 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24371.435
AT ITER 2170 NEW BEST:: SOT 146726 SOS 34404 HAS SOPS 34404 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24340.404
AT ITER 2171 NEW BEST:: SOT 146566 SOS 35265 HAS SOPS 35265 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24295.265
AT ITER 2172 NEW BEST:: SOT 146563 SOS 35262 HAS SOPS 35262 HAS SOUS 24257 HAS SOUPS 24257 WITH SCORE 24292.262
AT ITER 2174 NEW BEST:: SOT 146557 SOS 35269 HAS SOPS 35269 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24269.269
AT ITER 2218 NEW BEST:: SOT 146557 SOS 35269 HAS SOPS 35269 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24264.269
AT ITER 2219 NEW BEST:: SOT 146556 SOS 35267 HAS SOPS 35267 HAS SOUS 24227 HAS SOUPS 24227 WITH SCORE 24262.267
AT ITER 2225 NEW BEST:: SOT 146471 SOS 35206 HAS SOPS 35206 HAS SOUS 24172 HAS SOUPS 24172 WITH SCORE 24207.206
AT ITER 2233 NEW BEST:: SOT 146465 SOS 35131 HAS SOPS 35131 HAS SOUS 24112 HAS SOUPS 24112 WITH SCORE 24147.131
AT ITER 2249 NEW BEST:: SOT 146449 SOS 35112 HAS SOPS 35112 HAS SOUS 24093 HAS SOUPS 24093 WITH SCORE 24128.112
AT ITER 2254 NEW BEST:: SOT 146456 SOS 35105 HAS SOPS 35105 HAS SOUS 24086 HAS SOUPS 24086 WITH SCORE 24121.105
AT ITER 2274 NEW BEST:: SOT 146454 SOS 35097 HAS SOPS 35097 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24113.097
AT ITER 2282 NEW BEST:: SOT 146433 SOS 35118 HAS SOPS 35118 HAS SOUS 24036 HAS SOUPS 24036 WITH SCORE 24071.118
AT ITER 2288 NEW BEST:: SOT 146314 SOS 35087 HAS SOPS 35087 HAS SOUS 24031 HAS SOUPS 24031 WITH SCORE 24066.087
AT ITER 2295 NEW BEST:: SOT 146314 SOS 35084 HAS SOPS 35084 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24063.084
AT ITER 2299 NEW BEST:: SOT 146272 SOS 35083 HAS SOPS 35083 HAS SOUS 24027 HAS SOUPS 24027 WITH SCORE 24062.083
AT ITER 2309 NEW BEST:: SOT 146231 SOS 35001 HAS SOPS 35001 HAS SOUS 23991 HAS SOUPS 23991 WITH SCORE 24026.001
AT ITER 2354 NEW BEST:: SOT 146219 SOS 34977 HAS SOPS 34977 HAS SOUS 23967 HAS SOUPS 23967 WITH SCORE 24001.977
AT ITER 2368 NEW BEST:: SOT 146409 SOS 35147 HAS SOPS 35147 HAS SOUS 23949 HAS SOUPS 23949 WITH SCORE 23984.147
AT ITER 2369 NEW BEST:: SOT 146409 SOS 35205 HAS SOPS 35205 HAS SOUS 23930 HAS SOUPS 23930 WITH SCORE 23965.205
AT ITER 2413 NEW BEST:: SOT 146382 SOS 35151 HAS SOPS 35151 HAS SOUS 23918 HAS SOUPS 23918 WITH SCORE 23953.151
AT ITER 2419 NEW BEST:: SOT 146317 SOS 34858 HAS SOPS 34858 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23822.858
AT ITER 2428 NEW BEST:: SOT 146313 SOS 34854 HAS SOPS 34854 HAS SOUS 23780 HAS SOUPS 23780 WITH SCORE 23814.854
AT ITER 2432 NEW BEST:: SOT 146311 SOS 34852 HAS SOPS 34852 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23812.852
AT ITER 2484 NEW BEST:: SOT 146343 SOS 34850 HAS SOPS 34850 HAS SOUS 23776 HAS SOUPS 23776 WITH SCORE 23810.85
AT ITER 2493 NEW BEST:: SOT 146547 SOS 34808 HAS SOPS 34808 HAS SOUS 23734 HAS SOUPS 23734 WITH SCORE 23768.808
AT ITER 2500 NEW BEST:: SOT 146486 SOS 34686 HAS SOPS 34686 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23731.686
AT ITER 2513 NEW BEST:: SOT 146478 SOS 34670 HAS SOPS 34670 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23715.67
AT ITER 2519 NEW BEST:: SOT 146487 SOS 34670 HAS SOPS 34670 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23706.67
AT ITER 2541 NEW BEST:: SOT 146411 SOS 34646 HAS SOPS 34646 HAS SOUS 23656 HAS SOUPS 23656 WITH SCORE 23690.646
AT ITER 2549 NEW BEST:: SOT 146394 SOS 34561 HAS SOPS 34561 HAS SOUS 23634 HAS SOUPS 23634 WITH SCORE 23668.561
AT ITER 2554 NEW BEST:: SOT 146334 SOS 34501 HAS SOPS 34501 HAS SOUS 23626 HAS SOUPS 23626 WITH SCORE 23660.501
AT ITER 2602 NEW BEST:: SOT 146328 SOS 34495 HAS SOPS 34495 HAS SOUS 23620 HAS SOUPS 23620 WITH SCORE 23654.495
AT ITER 2603 NEW BEST:: SOT 146328 SOS 34486 HAS SOPS 34486 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23645.486
AT ITER 2634 NEW BEST:: SOT 146317 SOS 34464 HAS SOPS 34464 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23623.464
AT ITER 2639 NEW BEST:: SOT 146240 SOS 34387 HAS SOPS 34387 HAS SOUS 23587 HAS SOUPS 23587 WITH SCORE 23621.387
AT ITER 2645 NEW BEST:: SOT 146199 SOS 34264 HAS SOPS 34264 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23580.264
AT ITER 2656 NEW BEST:: SOT 146162 SOS 34227 HAS SOPS 34227 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23537.227
AT ITER 2660 NEW BEST:: SOT 146143 SOS 34189 HAS SOPS 34189 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23518.189
AT ITER 2674 NEW BEST:: SOT 146167 SOS 34195 HAS SOPS 34195 HAS SOUS 23464 HAS SOUPS 23464 WITH SCORE 23498.195
AT ITER 2679 NEW BEST:: SOT 146298 SOS 33904 HAS SOPS 33904 HAS SOUS 23437 HAS SOUPS 23437 WITH SCORE 23470.904
AT ITER 2680 NEW BEST:: SOT 146279 SOS 33837 HAS SOPS 33837 HAS SOUS 23379 HAS SOUPS 23379 WITH SCORE 23412.837
AT ITER 2681 NEW BEST:: SOT 146278 SOS 33835 HAS SOPS 33835 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23410.835
AT ITER 2682 NEW BEST:: SOT 146278 SOS 33835 HAS SOPS 33835 HAS SOUS 23376 HAS SOUPS 23376 WITH SCORE 23409.835
AT ITER 2692 NEW BEST:: SOT 146224 SOS 33673 HAS SOPS 33673 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23345.673
AT ITER 2696 NEW BEST:: SOT 146254 SOS 33723 HAS SOPS 33723 HAS SOUS 23271 HAS SOUPS 23271 WITH SCORE 23304.723
AT ITER 2718 NEW BEST:: SOT 146239 SOS 33708 HAS SOPS 33708 HAS SOUS 23256 HAS SOUPS 23256 WITH SCORE 23289.708
AT ITER 2727 NEW BEST:: SOT 146238 SOS 33660 HAS SOPS 33660 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23241.66
AT ITER 2744 NEW BEST:: SOT 146174 SOS 33551 HAS SOPS 33551 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23132.551
AT ITER 2749 NEW BEST:: SOT 146164 SOS 33541 HAS SOPS 33541 HAS SOUS 23089 HAS SOUPS 23089 WITH SCORE 23122.541
AT ITER 2761 NEW BEST:: SOT 146144 SOS 33571 HAS SOPS 33571 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23102.571
AT ITER 2765 NEW BEST:: SOT 146127 SOS 33537 HAS SOPS 33537 HAS SOUS 23052 HAS SOUPS 23052 WITH SCORE 23085.537
AT ITER 2777 NEW BEST:: SOT 146126 SOS 33534 HAS SOPS 33534 HAS SOUS 23050 HAS SOUPS 23050 WITH SCORE 23083.534
AT ITER 2791 NEW BEST:: SOT 146118 SOS 33518 HAS SOPS 33518 HAS SOUS 23048 HAS SOUPS 23048 WITH SCORE 23081.518
AT ITER 2796 NEW BEST:: SOT 146071 SOS 33424 HAS SOPS 33424 HAS SOUS 22992 HAS SOUPS 22992 WITH SCORE 23025.424
AT ITER 2798 NEW BEST:: SOT 146068 SOS 33402 HAS SOPS 33402 HAS SOUS 22986 HAS SOUPS 22986 WITH SCORE 23019.402
AT ITER 2800 NEW BEST:: SOT 146054 SOS 33357 HAS SOPS 33357 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 22988.357
AT ITER 2803 NEW BEST:: SOT 146054 SOS 33322 HAS SOPS 33322 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22985.322
AT ITER 2808 NEW BEST:: SOT 146046 SOS 33300 HAS SOPS 33300 HAS SOUS 22941 HAS SOUPS 22941 WITH SCORE 22974.3
AT ITER 2845 NEW BEST:: SOT 145629 SOS 34158 HAS SOPS 34158 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22652.158
AT ITER 2858 NEW BEST:: SOT 145622 SOS 34144 HAS SOPS 34144 HAS SOUS 22604 HAS SOUPS 22604 WITH SCORE 22638.144
AT ITER 2859 NEW BEST:: SOT 145594 SOS 34088 HAS SOPS 34088 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22596.088
AT ITER 2872 NEW BEST:: SOT 145554 SOS 34048 HAS SOPS 34048 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22586.048
AT ITER 2874 NEW BEST:: SOT 145554 SOS 34018 HAS SOPS 34018 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22556.018
AT ITER 2880 NEW BEST:: SOT 145544 SOS 34009 HAS SOPS 34009 HAS SOUS 22513 HAS SOUPS 22513 WITH SCORE 22547.009
AT ITER 2896 NEW BEST:: SOT 145538 SOS 34002 HAS SOPS 34002 HAS SOUS 22506 HAS SOUPS 22506 WITH SCORE 22540.002
AT ITER 2915 NEW BEST:: SOT 145538 SOS 34002 HAS SOPS 34002 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22535.002
AT ITER 2916 NEW BEST:: SOT 145536 SOS 34000 HAS SOPS 34000 HAS SOUS 22497 HAS SOUPS 22497 WITH SCORE 22531.0
AT ITER 2922 NEW BEST:: SOT 145529 SOS 33986 HAS SOPS 33986 HAS SOUS 22483 HAS SOUPS 22483 WITH SCORE 22516.986
AT ITER 2926 NEW BEST:: SOT 145519 SOS 33966 HAS SOPS 33966 HAS SOUS 22451 HAS SOUPS 22451 WITH SCORE 22484.966
AT ITER 2933 NEW BEST:: SOT 145512 SOS 33952 HAS SOPS 33952 HAS SOUS 22436 HAS SOUPS 22436 WITH SCORE 22469.952
AT ITER 2978 NEW BEST:: SOT 145506 SOS 33951 HAS SOPS 33951 HAS SOUS 22435 HAS SOUPS 22435 WITH SCORE 22468.951
AT ITER 2995 NEW BEST:: SOT 145425 SOS 33789 HAS SOPS 33789 HAS SOUS 22344 HAS SOUPS 22344 WITH SCORE 22377.789
AT ITER 3034 NEW BEST:: SOT 145425 SOS 33780 HAS SOPS 33780 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22368.78
AT ITER 3038 NEW BEST:: SOT 145425 SOS 33728 HAS SOPS 33728 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22368.728
AT ITER 3042 NEW BEST:: SOT 145358 SOS 33594 HAS SOPS 33594 HAS SOUS 22243 HAS SOUPS 22243 WITH SCORE 22276.594
AT ITER 3044 NEW BEST:: SOT 145358 SOS 33580 HAS SOPS 33580 HAS SOUS 22229 HAS SOUPS 22229 WITH SCORE 22262.58
AT ITER 3061 NEW BEST:: SOT 145252 SOS 33460 HAS SOPS 33460 HAS SOUS 22182 HAS SOUPS 22182 WITH SCORE 22215.46
AT ITER 3079 NEW BEST:: SOT 145220 SOS 33428 HAS SOPS 33428 HAS SOUS 22150 HAS SOUPS 22150 WITH SCORE 22183.428
AT ITER 3092 NEW BEST:: SOT 145196 SOS 33404 HAS SOPS 33404 HAS SOUS 22150 HAS SOUPS 22150 WITH SCORE 22183.404
AT ITER 3095 NEW BEST:: SOT 145161 SOS 33334 HAS SOPS 33334 HAS SOUS 22147 HAS SOUPS 22147 WITH SCORE 22180.334
AT ITER 3100 NEW BEST:: SOT 145106 SOS 33224 HAS SOPS 33224 HAS SOUS 22092 HAS SOUPS 22092 WITH SCORE 22125.224
AT ITER 3106 NEW BEST:: SOT 145106 SOS 33218 HAS SOPS 33218 HAS SOUS 22089 HAS SOUPS 22089 WITH SCORE 22122.218
AT ITER 3110 NEW BEST:: SOT 145106 SOS 33218 HAS SOPS 33218 HAS SOUS 22087 HAS SOUPS 22087 WITH SCORE 22120.218
AT ITER 3112 NEW BEST:: SOT 145230 SOS 33148 HAS SOPS 33148 HAS SOUS 22017 HAS SOUPS 22017 WITH SCORE 22050.148
AT ITER 3113 NEW BEST:: SOT 145223 SOS 33141 HAS SOPS 33141 HAS SOUS 22017 HAS SOUPS 22017 WITH SCORE 22050.141
AT ITER 3133 NEW BEST:: SOT 145202 SOS 33120 HAS SOPS 33120 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22029.12
AT ITER 3147 NEW BEST:: SOT 145141 SOS 32976 HAS SOPS 32976 HAS SOUS 21967 HAS SOUPS 21967 WITH SCORE 21999.976
AT ITER 3154 NEW BEST:: SOT 145138 SOS 32970 HAS SOPS 32970 HAS SOUS 21961 HAS SOUPS 21961 WITH SCORE 21993.97
AT ITER 3163 NEW BEST:: SOT 145151 SOS 32966 HAS SOPS 32966 HAS SOUS 21957 HAS SOUPS 21957 WITH SCORE 21989.966
AT ITER 3176 NEW BEST:: SOT 144947 SOS 32761 HAS SOPS 32761 HAS SOUS 21820 HAS SOUPS 21820 WITH SCORE 21852.761
AT ITER 3205 NEW BEST:: SOT 144959 SOS 32785 HAS SOPS 32785 HAS SOUS 21817 HAS SOUPS 21817 WITH SCORE 21849.785
AT ITER 3213 NEW BEST:: SOT 144983 SOS 32809 HAS SOPS 32809 HAS SOUS 21813 HAS SOUPS 21813 WITH SCORE 21845.809
AT ITER 3265 NEW BEST:: SOT 144983 SOS 32798 HAS SOPS 32798 HAS SOUS 21813 HAS SOUPS 21813 WITH SCORE 21845.798
AT ITER 3274 NEW BEST:: SOT 144949 SOS 32747 HAS SOPS 32747 HAS SOUS 21779 HAS SOUPS 21779 WITH SCORE 21811.747
AT ITER 3276 NEW BEST:: SOT 144944 SOS 32742 HAS SOPS 32742 HAS SOUS 21779 HAS SOUPS 21779 WITH SCORE 21811.742
AT ITER 3296 NEW BEST:: SOT 144919 SOS 32667 HAS SOPS 32667 HAS SOUS 21704 HAS SOUPS 21704 WITH SCORE 21736.667
AT ITER 3328 NEW BEST:: SOT 144906 SOS 32567 HAS SOPS 32567 HAS SOUS 21641 HAS SOUPS 21641 WITH SCORE 21673.567
AT ITER 3333 NEW BEST:: SOT 144906 SOS 32565 HAS SOPS 32565 HAS SOUS 21640 HAS SOUPS 21640 WITH SCORE 21672.565
AT ITER 3364 NEW BEST:: SOT 144843 SOS 32439 HAS SOPS 32439 HAS SOUS 21577 HAS SOUPS 21577 WITH SCORE 21609.439
AT ITER 3366 NEW BEST:: SOT 144849 SOS 32451 HAS SOPS 32451 HAS SOUS 21570 HAS SOUPS 21570 WITH SCORE 21602.451
AT ITER 3426 NEW BEST:: SOT 144849 SOS 32451 HAS SOPS 32451 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21582.451
AT ITER 3442 NEW BEST:: SOT 144849 SOS 32428 HAS SOPS 32428 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21582.428
AT ITER 3447 NEW BEST:: SOT 144845 SOS 32420 HAS SOPS 32420 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21574.42
AT ITER 3481 NEW BEST:: SOT 144838 SOS 32289 HAS SOPS 32289 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21560.289
AT ITER 3512 NEW BEST:: SOT 144837 SOS 32287 HAS SOPS 32287 HAS SOUS 21526 HAS SOUPS 21526 WITH SCORE 21558.287
AT ITER 3529 NEW BEST:: SOT 144889 SOS 32267 HAS SOPS 32267 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21554.267
AT ITER 3534 NEW BEST:: SOT 144850 SOS 32215 HAS SOPS 32215 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21527.215
AT ITER 3541 NEW BEST:: SOT 144838 SOS 32201 HAS SOPS 32201 HAS SOUS 21481 HAS SOUPS 21481 WITH SCORE 21513.201
AT ITER 3551 NEW BEST:: SOT 144836 SOS 32197 HAS SOPS 32197 HAS SOUS 21477 HAS SOUPS 21477 WITH SCORE 21509.197
AT ITER 3552 NEW BEST:: SOT 144822 SOS 32169 HAS SOPS 32169 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21486.169
AT ITER 3572 NEW BEST:: SOT 144833 SOS 32169 HAS SOPS 32169 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21479.169
AT ITER 3583 NEW BEST:: SOT 144777 SOS 32113 HAS SOPS 32113 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21479.113
AT ITER 3585 NEW BEST:: SOT 145058 SOS 32303 HAS SOPS 32303 HAS SOUS 21433 HAS SOUPS 21433 WITH SCORE 21465.303
AT ITER 3594 NEW BEST:: SOT 145054 SOS 32299 HAS SOPS 32299 HAS SOUS 21431 HAS SOUPS 21431 WITH SCORE 21463.299
AT ITER 3617 NEW BEST:: SOT 145049 SOS 32284 HAS SOPS 32284 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21448.284
AT ITER 3679 NEW BEST:: SOT 145049 SOS 32284 HAS SOPS 32284 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21392.284
AT ITER 3689 NEW BEST:: SOT 145070 SOS 32119 HAS SOPS 32119 HAS SOUS 21290 HAS SOUPS 21290 WITH SCORE 21322.119
AT ITER 3719 NEW BEST:: SOT 145068 SOS 32115 HAS SOPS 32115 HAS SOUS 21251 HAS SOUPS 21251 WITH SCORE 21283.115
AT ITER 3727 NEW BEST:: SOT 145062 SOS 32109 HAS SOPS 32109 HAS SOUS 21239 HAS SOUPS 21239 WITH SCORE 21271.109
AT ITER 3750 NEW BEST:: SOT 145062 SOS 32106 HAS SOPS 32106 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21268.106
AT ITER 3775 NEW BEST:: SOT 145062 SOS 32103 HAS SOPS 32103 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21268.103
AT ITER 3814 NEW BEST:: SOT 145047 SOS 32073 HAS SOPS 32073 HAS SOUS 21235 HAS SOUPS 21235 WITH SCORE 21267.073
AT ITER 3818 NEW BEST:: SOT 145047 SOS 32072 HAS SOPS 32072 HAS SOUS 21234 HAS SOUPS 21234 WITH SCORE 21266.072
AT ITER 3901 NEW BEST:: SOT 145047 SOS 32054 HAS SOPS 32054 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21248.054
AT ITER 3903 NEW BEST:: SOT 145037 SOS 32034 HAS SOPS 32034 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21248.034
AT ITER 3913 NEW BEST:: SOT 145035 SOS 32030 HAS SOPS 32030 HAS SOUS 21212 HAS SOUPS 21212 WITH SCORE 21244.03
AT ITER 3934 NEW BEST:: SOT 144998 SOS 31993 HAS SOPS 31993 HAS SOUS 21212 HAS SOUPS 21212 WITH SCORE 21243.993
AT ITER 3962 NEW BEST:: SOT 144944 SOS 31938 HAS SOPS 31938 HAS SOUS 21157 HAS SOUPS 21157 WITH SCORE 21188.938
AT ITER 3968 NEW BEST:: SOT 144919 SOS 31888 HAS SOPS 31888 HAS SOUS 21118 HAS SOUPS 21118 WITH SCORE 21149.888
AT ITER 3973 NEW BEST:: SOT 144877 SOS 31846 HAS SOPS 31846 HAS SOUS 21076 HAS SOUPS 21076 WITH SCORE 21107.846
AT ITER 4000 NEW BEST:: SOT 144858 SOS 31808 HAS SOPS 31808 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21087.808
AT ITER 4011 NEW BEST:: SOT 144866 SOS 31795 HAS SOPS 31795 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21087.795
AT ITER 4045 NEW BEST:: SOT 144859 SOS 31755 HAS SOPS 31755 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21073.755
AT ITER 4054 NEW BEST:: SOT 144865 SOS 31741 HAS SOPS 31741 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21059.741
AT ITER 4080 NEW BEST:: SOT 144866 SOS 31722 HAS SOPS 31722 HAS SOUS 21009 HAS SOUPS 21009 WITH SCORE 21040.722
AT ITER 4093 NEW BEST:: SOT 144813 SOS 31624 HAS SOPS 31624 HAS SOUS 20911 HAS SOUPS 20911 WITH SCORE 20942.624
AT ITER 4096 NEW BEST:: SOT 144809 SOS 31620 HAS SOPS 31620 HAS SOUS 20903 HAS SOUPS 20903 WITH SCORE 20934.62
AT ITER 4128 NEW BEST:: SOT 144821 SOS 31618 HAS SOPS 31618 HAS SOUS 20901 HAS SOUPS 20901 WITH SCORE 20932.618
AT ITER 4148 NEW BEST:: SOT 144765 SOS 31590 HAS SOPS 31590 HAS SOUS 20901 HAS SOUPS 20901 WITH SCORE 20932.59
AT ITER 4153 NEW BEST:: SOT 144643 SOS 31583 HAS SOPS 31583 HAS SOUS 20894 HAS SOUPS 20894 WITH SCORE 20925.583
AT ITER 4165 NEW BEST:: SOT 144602 SOS 31501 HAS SOPS 31501 HAS SOUS 20836 HAS SOUPS 20836 WITH SCORE 20867.501
AT ITER 4203 NEW BEST:: SOT 144602 SOS 31473 HAS SOPS 31473 HAS SOUS 20808 HAS SOUPS 20808 WITH SCORE 20839.473
AT ITER 4246 NEW BEST:: SOT 144591 SOS 31438 HAS SOPS 31438 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20817.438
AT ITER 4254 NEW BEST:: SOT 144602 SOS 31393 HAS SOPS 31393 HAS SOUS 20741 HAS SOUPS 20741 WITH SCORE 20772.393
AT ITER 4271 NEW BEST:: SOT 144595 SOS 31392 HAS SOPS 31392 HAS SOUS 20740 HAS SOUPS 20740 WITH SCORE 20771.392
AT ITER 4311 NEW BEST:: SOT 144589 SOS 31380 HAS SOPS 31380 HAS SOUS 20728 HAS SOUPS 20728 WITH SCORE 20759.38
AT ITER 4323 NEW BEST:: SOT 144587 SOS 31376 HAS SOPS 31376 HAS SOUS 20724 HAS SOUPS 20724 WITH SCORE 20755.376
AT ITER 4338 NEW BEST:: SOT 144575 SOS 31358 HAS SOPS 31358 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20737.358
AT ITER 4392 NEW BEST:: SOT 144554 SOS 31308 HAS SOPS 31308 HAS SOUS 20656 HAS SOUPS 20656 WITH SCORE 20687.308
AT ITER 4424 NEW BEST:: SOT 144552 SOS 31328 HAS SOPS 31328 HAS SOUS 20652 HAS SOUPS 20652 WITH SCORE 20683.328
AT ITER 4460 NEW BEST:: SOT 144545 SOS 31321 HAS SOPS 31321 HAS SOUS 20645 HAS SOUPS 20645 WITH SCORE 20676.321
AT ITER 4515 NEW BEST:: SOT 144513 SOS 31300 HAS SOPS 31300 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20671.3
AT ITER 4628 NEW BEST:: SOT 144517 SOS 31296 HAS SOPS 31296 HAS SOUS 20636 HAS SOUPS 20636 WITH SCORE 20667.296
AT ITER 4653 NEW BEST:: SOT 144516 SOS 31294 HAS SOPS 31294 HAS SOUS 20634 HAS SOUPS 20634 WITH SCORE 20665.294
AT ITER 4705 NEW BEST:: SOT 144483 SOS 31301 HAS SOPS 31301 HAS SOUS 20628 HAS SOUPS 20628 WITH SCORE 20659.301
AT ITER 4712 NEW BEST:: SOT 144467 SOS 31269 HAS SOPS 31269 HAS SOUS 20596 HAS SOUPS 20596 WITH SCORE 20627.269
AT ITER 4718 NEW BEST:: SOT 144427 SOS 31229 HAS SOPS 31229 HAS SOUS 20596 HAS SOUPS 20596 WITH SCORE 20627.229
AT ITER 4731 NEW BEST:: SOT 144423 SOS 31191 HAS SOPS 31191 HAS SOUS 20590 HAS SOUPS 20590 WITH SCORE 20621.191
AT ITER 4739 NEW BEST:: SOT 144405 SOS 31164 HAS SOPS 31164 HAS SOUS 20572 HAS SOUPS 20572 WITH SCORE 20603.164
AT ITER 4760 NEW BEST:: SOT 144405 SOS 31164 HAS SOPS 31164 HAS SOUS 20559 HAS SOUPS 20559 WITH SCORE 20590.164
AT ITER 4768 NEW BEST:: SOT 144391 SOS 31177 HAS SOPS 31177 HAS SOUS 20551 HAS SOUPS 20551 WITH SCORE 20582.177
AT ITER 4769 NEW BEST:: SOT 144361 SOS 31117 HAS SOPS 31117 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20552.117
AT ITER 4814 NEW BEST:: SOT 144357 SOS 31109 HAS SOPS 31109 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20544.109
AT ITER 4815 NEW BEST:: SOT 144357 SOS 31098 HAS SOPS 31098 HAS SOUS 20502 HAS SOUPS 20502 WITH SCORE 20533.098
AT ITER 4817 NEW BEST:: SOT 144317 SOS 31061 HAS SOPS 31061 HAS SOUS 20465 HAS SOUPS 20465 WITH SCORE 20496.061
AT ITER 4825 NEW BEST:: SOT 144320 SOS 31055 HAS SOPS 31055 HAS SOUS 20462 HAS SOUPS 20462 WITH SCORE 20493.055
AT ITER 4870 NEW BEST:: SOT 144280 SOS 31073 HAS SOPS 31073 HAS SOUS 20422 HAS SOUPS 20422 WITH SCORE 20453.073
AT ITER 4893 NEW BEST:: SOT 144271 SOS 31055 HAS SOPS 31055 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20444.055
AT ITER 4916 NEW BEST:: SOT 144284 SOS 31061 HAS SOPS 31061 HAS SOUS 20406 HAS SOUPS 20406 WITH SCORE 20437.061
AT ITER 4955 NEW BEST:: SOT 144297 SOS 31030 HAS SOPS 31030 HAS SOUS 20375 HAS SOUPS 20375 WITH SCORE 20406.03
AT ITER 4992 NEW BEST:: SOT 144275 SOS 31008 HAS SOPS 31008 HAS SOUS 20375 HAS SOUPS 20375 WITH SCORE 20406.008
AT ITER 4994 NEW BEST:: SOT 144259 SOS 30987 HAS SOPS 30987 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20384.987
AT ITER 4997 NEW BEST:: SOT 144238 SOS 30945 HAS SOPS 30945 HAS SOUS 20333 HAS SOUPS 20333 WITH SCORE 20363.945
AT ITER 5001 NEW BEST:: SOT 144224 SOS 30852 HAS SOPS 30852 HAS SOUS 20322 HAS SOUPS 20322 WITH SCORE 20352.852
AT ITER 5010 NEW BEST:: SOT 144225 SOS 30855 HAS SOPS 30855 HAS SOUS 20313 HAS SOUPS 20313 WITH SCORE 20343.855
AT ITER 5013 NEW BEST:: SOT 144205 SOS 30846 HAS SOPS 30846 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20334.846
AT ITER 5031 NEW BEST:: SOT 144184 SOS 30804 HAS SOPS 30804 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20318.804
AT ITER 5033 NEW BEST:: SOT 143998 SOS 30674 HAS SOPS 30674 HAS SOUS 20220 HAS SOUPS 20220 WITH SCORE 20250.674
AT ITER 5043 NEW BEST:: SOT 143842 SOS 30505 HAS SOPS 30505 HAS SOUS 20194 HAS SOUPS 20194 WITH SCORE 20224.505
AT ITER 5095 NEW BEST:: SOT 143842 SOS 30503 HAS SOPS 30503 HAS SOUS 20194 HAS SOUPS 20194 WITH SCORE 20224.503
AT ITER 5127 NEW BEST:: SOT 143870 SOS 30502 HAS SOPS 30502 HAS SOUS 20193 HAS SOUPS 20193 WITH SCORE 20223.502
AT ITER 5138 NEW BEST:: SOT 143869 SOS 30501 HAS SOPS 30501 HAS SOUS 20192 HAS SOUPS 20192 WITH SCORE 20222.501
AT ITER 5176 NEW BEST:: SOT 143865 SOS 30497 HAS SOPS 30497 HAS SOUS 20188 HAS SOUPS 20188 WITH SCORE 20218.497
AT ITER 5179 NEW BEST:: SOT 143858 SOS 30483 HAS SOPS 30483 HAS SOUS 20177 HAS SOUPS 20177 WITH SCORE 20207.483
AT ITER 5212 NEW BEST:: SOT 143841 SOS 30449 HAS SOPS 30449 HAS SOUS 20160 HAS SOUPS 20160 WITH SCORE 20190.449
AT ITER 5218 NEW BEST:: SOT 143822 SOS 30411 HAS SOPS 30411 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20188.411
AT ITER 5230 NEW BEST:: SOT 143882 SOS 30381 HAS SOPS 30381 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20163.381
AT ITER 5234 NEW BEST:: SOT 143873 SOS 30363 HAS SOPS 30363 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20163.363
AT ITER 5250 NEW BEST:: SOT 143866 SOS 30353 HAS SOPS 30353 HAS SOUS 20123 HAS SOUPS 20123 WITH SCORE 20153.353
AT ITER 5262 NEW BEST:: SOT 143823 SOS 30310 HAS SOPS 30310 HAS SOUS 20123 HAS SOUPS 20123 WITH SCORE 20153.31
AT ITER 5263 NEW BEST:: SOT 143711 SOS 30198 HAS SOPS 30198 HAS SOUS 20091 HAS SOUPS 20091 WITH SCORE 20121.198
AT ITER 5298 NEW BEST:: SOT 143680 SOS 30155 HAS SOPS 30155 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20078.155
AT ITER 5320 NEW BEST:: SOT 143679 SOS 30154 HAS SOPS 30154 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20078.154
AT ITER 5330 NEW BEST:: SOT 143668 SOS 30132 HAS SOPS 30132 HAS SOUS 20026 HAS SOUPS 20026 WITH SCORE 20056.132
AT ITER 5361 NEW BEST:: SOT 143667 SOS 30130 HAS SOPS 30130 HAS SOUS 20024 HAS SOUPS 20024 WITH SCORE 20054.13
AT ITER 5366 NEW BEST:: SOT 143645 SOS 30121 HAS SOPS 30121 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20045.121
AT ITER 5371 NEW BEST:: SOT 143645 SOS 30107 HAS SOPS 30107 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20031.107
AT ITER 5377 NEW BEST:: SOT 143578 SOS 30057 HAS SOPS 30057 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20018.057
AT ITER 5380 NEW BEST:: SOT 143569 SOS 30039 HAS SOPS 30039 HAS SOUS 19970 HAS SOUPS 19970 WITH SCORE 20000.039
AT ITER 5401 NEW BEST:: SOT 143563 SOS 30033 HAS SOPS 30033 HAS SOUS 19962 HAS SOUPS 19962 WITH SCORE 19992.033
AT ITER 5436 NEW BEST:: SOT 143583 SOS 30073 HAS SOPS 30073 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19962.073
AT ITER 5476 NEW BEST:: SOT 143567 SOS 30041 HAS SOPS 30041 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19952.041
AT ITER 5535 NEW BEST:: SOT 143640 SOS 30006 HAS SOPS 30006 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19917.006
AT ITER 5577 NEW BEST:: SOT 143666 SOS 30001 HAS SOPS 30001 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19917.001
AT ITER 5592 NEW BEST:: SOT 143647 SOS 30002 HAS SOPS 30002 HAS SOUS 19849 HAS SOUPS 19849 WITH SCORE 19879.002
AT ITER 5623 NEW BEST:: SOT 143574 SOS 29931 HAS SOPS 29931 HAS SOUS 19768 HAS SOUPS 19768 WITH SCORE 19797.931
AT ITER 5646 NEW BEST:: SOT 143541 SOS 29870 HAS SOPS 29870 HAS SOUS 19733 HAS SOUPS 19733 WITH SCORE 19762.87
AT ITER 5648 NEW BEST:: SOT 143541 SOS 29837 HAS SOPS 29837 HAS SOUS 19700 HAS SOUPS 19700 WITH SCORE 19729.837
AT ITER 5657 NEW BEST:: SOT 143525 SOS 29818 HAS SOPS 29818 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19710.818
AT ITER 5658 NEW BEST:: SOT 143524 SOS 29817 HAS SOPS 29817 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19710.817
AT ITER 5662 NEW BEST:: SOT 143520 SOS 29809 HAS SOPS 29809 HAS SOUS 19673 HAS SOUPS 19673 WITH SCORE 19702.809
AT ITER 5663 NEW BEST:: SOT 143502 SOS 29728 HAS SOPS 29728 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19653.728
AT ITER 5704 NEW BEST:: SOT 143484 SOS 29614 HAS SOPS 29614 HAS SOUS 19568 HAS SOUPS 19568 WITH SCORE 19597.614
AT ITER 5730 NEW BEST:: SOT 143466 SOS 29602 HAS SOPS 29602 HAS SOUS 19556 HAS SOUPS 19556 WITH SCORE 19585.602
AT ITER 5762 NEW BEST:: SOT 143395 SOS 29507 HAS SOPS 29507 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19506.507
AT ITER 5763 NEW BEST:: SOT 143394 SOS 29505 HAS SOPS 29505 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19505.505
AT ITER 5793 NEW BEST:: SOT 143382 SOS 29481 HAS SOPS 29481 HAS SOUS 19464 HAS SOUPS 19464 WITH SCORE 19493.481
AT ITER 5840 NEW BEST:: SOT 143389 SOS 29463 HAS SOPS 29463 HAS SOUS 19451 HAS SOUPS 19451 WITH SCORE 19480.463
AT ITER 5883 NEW BEST:: SOT 143306 SOS 29387 HAS SOPS 29387 HAS SOUS 19377 HAS SOUPS 19377 WITH SCORE 19406.387
AT ITER 5884 NEW BEST:: SOT 143180 SOS 29269 HAS SOPS 29269 HAS SOUS 19242 HAS SOUPS 19242 WITH SCORE 19271.269
AT ITER 5887 NEW BEST:: SOT 143165 SOS 29254 HAS SOPS 29254 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19256.254
AT ITER 5918 NEW BEST:: SOT 143165 SOS 29241 HAS SOPS 29241 HAS SOUS 19214 HAS SOUPS 19214 WITH SCORE 19243.241
AT ITER 5945 NEW BEST:: SOT 143146 SOS 29203 HAS SOPS 29203 HAS SOUS 19176 HAS SOUPS 19176 WITH SCORE 19205.203
AT ITER 5970 NEW BEST:: SOT 143157 SOS 29060 HAS SOPS 29060 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19194.06
AT ITER 5978 NEW BEST:: SOT 143144 SOS 29137 HAS SOPS 29137 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19181.137
AT ITER 6018 NEW BEST:: SOT 143127 SOS 29113 HAS SOPS 29113 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19157.113
AT ITER 6034 NEW BEST:: SOT 143135 SOS 29105 HAS SOPS 29105 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19154.105
AT ITER 6039 NEW BEST:: SOT 143135 SOS 29105 HAS SOPS 29105 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19096.105
AT ITER 6080 NEW BEST:: SOT 143135 SOS 29084 HAS SOPS 29084 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19096.084
AT ITER 6123 NEW BEST:: SOT 143135 SOS 29015 HAS SOPS 29015 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19053.015
AT ITER 6176 NEW BEST:: SOT 143134 SOS 29013 HAS SOPS 29013 HAS SOUS 19022 HAS SOUPS 19022 WITH SCORE 19051.013
AT ITER 6192 NEW BEST:: SOT 143106 SOS 28975 HAS SOPS 28975 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19027.975
AT ITER 6216 NEW BEST:: SOT 143104 SOS 28972 HAS SOPS 28972 HAS SOUS 18998 HAS SOUPS 18998 WITH SCORE 19026.972
AT ITER 6237 NEW BEST:: SOT 143047 SOS 28878 HAS SOPS 28878 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18949.878
AT ITER 6345 NEW BEST:: SOT 143046 SOS 28876 HAS SOPS 28876 HAS SOUS 18919 HAS SOUPS 18919 WITH SCORE 18947.876
AT ITER 6360 NEW BEST:: SOT 143028 SOS 28868 HAS SOPS 28868 HAS SOUS 18883 HAS SOUPS 18883 WITH SCORE 18911.868
AT ITER 6362 NEW BEST:: SOT 142819 SOS 30576 HAS SOPS 30576 HAS SOUS 18769 HAS SOUPS 18769 WITH SCORE 18799.576
AT ITER 6391 NEW BEST:: SOT 142817 SOS 30574 HAS SOPS 30574 HAS SOUS 18767 HAS SOUPS 18767 WITH SCORE 18797.574
AT ITER 6410 NEW BEST:: SOT 142790 SOS 30535 HAS SOPS 30535 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18758.535
AT ITER 6412 NEW BEST:: SOT 142768 SOS 30491 HAS SOPS 30491 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18705.491
AT ITER 6417 NEW BEST:: SOT 142747 SOS 30533 HAS SOPS 30533 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18684.533
AT ITER 6428 NEW BEST:: SOT 142696 SOS 30431 HAS SOPS 30431 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18684.431
AT ITER 6435 NEW BEST:: SOT 142673 SOS 30472 HAS SOPS 30472 HAS SOUS 18611 HAS SOUPS 18611 WITH SCORE 18641.472
AT ITER 6444 NEW BEST:: SOT 142666 SOS 30458 HAS SOPS 30458 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18634.458
AT ITER 6445 NEW BEST:: SOT 142651 SOS 30675 HAS SOPS 30675 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18620.675
AT ITER 6499 NEW BEST:: SOT 142627 SOS 30657 HAS SOPS 30657 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18600.657
AT ITER 6522 NEW BEST:: SOT 142627 SOS 30674 HAS SOPS 30674 HAS SOUS 18523 HAS SOUPS 18523 WITH SCORE 18553.674
AT ITER 6523 NEW BEST:: SOT 142623 SOS 30672 HAS SOPS 30672 HAS SOUS 18519 HAS SOUPS 18519 WITH SCORE 18549.672
AT ITER 6561 NEW BEST:: SOT 142623 SOS 30672 HAS SOPS 30672 HAS SOUS 18516 HAS SOUPS 18516 WITH SCORE 18546.672
AT ITER 6573 NEW BEST:: SOT 142619 SOS 30664 HAS SOPS 30664 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18540.664
AT ITER 6579 NEW BEST:: SOT 142625 SOS 30670 HAS SOPS 30670 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18534.67
AT ITER 6597 NEW BEST:: SOT 142597 SOS 30614 HAS SOPS 30614 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18503.614
AT ITER 6599 NEW BEST:: SOT 142552 SOS 30524 HAS SOPS 30524 HAS SOUS 18428 HAS SOUPS 18428 WITH SCORE 18458.524
AT ITER 6618 NEW BEST:: SOT 142525 SOS 30470 HAS SOPS 30470 HAS SOUS 18401 HAS SOUPS 18401 WITH SCORE 18431.47
AT ITER 6647 NEW BEST:: SOT 142392 SOS 30204 HAS SOPS 30204 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18407.204
AT ITER 6674 NEW BEST:: SOT 142377 SOS 30174 HAS SOPS 30174 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18377.174
AT ITER 6696 NEW BEST:: SOT 142375 SOS 30168 HAS SOPS 30168 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18373.168
AT ITER 6701 NEW BEST:: SOT 142366 SOS 30150 HAS SOPS 30150 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18355.15
AT ITER 6715 NEW BEST:: SOT 142359 SOS 30136 HAS SOPS 30136 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18348.136
AT ITER 6818 NEW BEST:: SOT 142380 SOS 30205 HAS SOPS 30205 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18344.205
AT ITER 6843 NEW BEST:: SOT 142371 SOS 30187 HAS SOPS 30187 HAS SOUS 18308 HAS SOUPS 18308 WITH SCORE 18338.187
AT ITER 6859 NEW BEST:: SOT 142371 SOS 30187 HAS SOPS 30187 HAS SOUS 18302 HAS SOUPS 18302 WITH SCORE 18332.187
AT ITER 6901 NEW BEST:: SOT 142383 SOS 30115 HAS SOPS 30115 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18306.115
AT ITER 6902 NEW BEST:: SOT 142383 SOS 30101 HAS SOPS 30101 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18306.101
AT ITER 6941 NEW BEST:: SOT 142403 SOS 30062 HAS SOPS 30062 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18267.062
AT ITER 6948 NEW BEST:: SOT 142390 SOS 30036 HAS SOPS 30036 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18258.036
AT ITER 6970 NEW BEST:: SOT 142389 SOS 30028 HAS SOPS 30028 HAS SOUS 18227 HAS SOUPS 18227 WITH SCORE 18257.028
AT ITER 6971 NEW BEST:: SOT 142388 SOS 29901 HAS SOPS 29901 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18165.901
AT ITER 6977 NEW BEST:: SOT 142373 SOS 29901 HAS SOPS 29901 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18150.901
AT ITER 7077 NEW BEST:: SOT 142387 SOS 29807 HAS SOPS 29807 HAS SOUS 18053 HAS SOUPS 18053 WITH SCORE 18082.807
AT ITER 7093 NEW BEST:: SOT 142437 SOS 29687 HAS SOPS 29687 HAS SOUS 17998 HAS SOUPS 17998 WITH SCORE 18027.687
AT ITER 7100 NEW BEST:: SOT 142431 SOS 29669 HAS SOPS 29669 HAS SOUS 17992 HAS SOUPS 17992 WITH SCORE 18021.669
AT ITER 7103 NEW BEST:: SOT 142428 SOS 29663 HAS SOPS 29663 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18018.663
AT ITER 7152 NEW BEST:: SOT 142428 SOS 29663 HAS SOPS 29663 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18015.663
AT ITER 7155 NEW BEST:: SOT 142419 SOS 29645 HAS SOPS 29645 HAS SOUS 17968 HAS SOUPS 17968 WITH SCORE 17997.645
AT ITER 7175 NEW BEST:: SOT 142399 SOS 29605 HAS SOPS 29605 HAS SOUS 17928 HAS SOUPS 17928 WITH SCORE 17957.605
AT ITER 7191 NEW BEST:: SOT 142406 SOS 29582 HAS SOPS 29582 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17934.582
AT ITER 7195 NEW BEST:: SOT 142398 SOS 29608 HAS SOPS 29608 HAS SOUS 17900 HAS SOUPS 17900 WITH SCORE 17929.608
AT ITER 7201 NEW BEST:: SOT 142395 SOS 29605 HAS SOPS 29605 HAS SOUS 17897 HAS SOUPS 17897 WITH SCORE 17926.605
AT ITER 7206 NEW BEST:: SOT 142394 SOS 29593 HAS SOPS 29593 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17919.593
AT ITER 7275 NEW BEST:: SOT 142386 SOS 29585 HAS SOPS 29585 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17911.585
AT ITER 7301 NEW BEST:: SOT 142373 SOS 29570 HAS SOPS 29570 HAS SOUS 17865 HAS SOUPS 17865 WITH SCORE 17894.57
AT ITER 7353 NEW BEST:: SOT 142360 SOS 29558 HAS SOPS 29558 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17882.558
AT ITER 7391 NEW BEST:: SOT 142350 SOS 29538 HAS SOPS 29538 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17882.538
AT ITER 7392 NEW BEST:: SOT 142358 SOS 29398 HAS SOPS 29398 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17742.398
AT ITER 7415 NEW BEST:: SOT 142358 SOS 29358 HAS SOPS 29358 HAS SOUS 17703 HAS SOUPS 17703 WITH SCORE 17732.358
AT ITER 7581 NEW BEST:: SOT 142327 SOS 29255 HAS SOPS 29255 HAS SOUS 17682 HAS SOUPS 17682 WITH SCORE 17711.255
AT ITER 7589 NEW BEST:: SOT 142316 SOS 29244 HAS SOPS 29244 HAS SOUS 17682 HAS SOUPS 17682 WITH SCORE 17711.244
AT ITER 7614 NEW BEST:: SOT 142315 SOS 29242 HAS SOPS 29242 HAS SOUS 17680 HAS SOUPS 17680 WITH SCORE 17709.242
AT ITER 7660 NEW BEST:: SOT 142313 SOS 29240 HAS SOPS 29240 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17707.24
AT ITER 7755 NEW BEST:: SOT 142340 SOS 29299 HAS SOPS 29299 HAS SOUS 17646 HAS SOUPS 17646 WITH SCORE 17675.299
AT ITER 7772 NEW BEST:: SOT 142203 SOS 29162 HAS SOPS 29162 HAS SOUS 17645 HAS SOUPS 17645 WITH SCORE 17674.162
AT ITER 7844 NEW BEST:: SOT 142187 SOS 29194 HAS SOPS 29194 HAS SOUS 17630 HAS SOUPS 17630 WITH SCORE 17659.194
AT ITER 7857 NEW BEST:: SOT 142183 SOS 29190 HAS SOPS 29190 HAS SOUS 17622 HAS SOUPS 17622 WITH SCORE 17651.19
AT ITER 7898 NEW BEST:: SOT 142183 SOS 29172 HAS SOPS 29172 HAS SOUS 17617 HAS SOUPS 17617 WITH SCORE 17646.172
AT ITER 7921 NEW BEST:: SOT 142179 SOS 29169 HAS SOPS 29169 HAS SOUS 17614 HAS SOUPS 17614 WITH SCORE 17643.169
AT ITER 7952 NEW BEST:: SOT 142201 SOS 29213 HAS SOPS 29213 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17628.213
AT ITER 7972 NEW BEST:: SOT 142195 SOS 29279 HAS SOPS 29279 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17622.279
AT ITER 8004 NEW BEST:: SOT 142188 SOS 29266 HAS SOPS 29266 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17615.266
AT ITER 8020 NEW BEST:: SOT 142094 SOS 29078 HAS SOPS 29078 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17521.078
AT ITER 8029 NEW BEST:: SOT 142080 SOS 29064 HAS SOPS 29064 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17507.064
AT ITER 8050 NEW BEST:: SOT 142072 SOS 29052 HAS SOPS 29052 HAS SOUS 17466 HAS SOUPS 17466 WITH SCORE 17495.052
AT ITER 8099 NEW BEST:: SOT 142071 SOS 29050 HAS SOPS 29050 HAS SOUS 17458 HAS SOUPS 17458 WITH SCORE 17487.05
AT ITER 8103 NEW BEST:: SOT 142042 SOS 29020 HAS SOPS 29020 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17429.02
AT ITER 8116 NEW BEST:: SOT 142042 SOS 29041 HAS SOPS 29041 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17427.041
AT ITER 8221 NEW BEST:: SOT 142025 SOS 29024 HAS SOPS 29024 HAS SOUS 17381 HAS SOUPS 17381 WITH SCORE 17410.024
AT ITER 8228 NEW BEST:: SOT 142025 SOS 29024 HAS SOPS 29024 HAS SOUS 17380 HAS SOUPS 17380 WITH SCORE 17409.024
AT ITER 8257 NEW BEST:: SOT 141943 SOS 28946 HAS SOPS 28946 HAS SOUS 17334 HAS SOUPS 17334 WITH SCORE 17362.946
AT ITER 8262 NEW BEST:: SOT 141943 SOS 28877 HAS SOPS 28877 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17319.877
AT ITER 8271 NEW BEST:: SOT 141936 SOS 28863 HAS SOPS 28863 HAS SOUS 17277 HAS SOUPS 17277 WITH SCORE 17305.863
AT ITER 8302 NEW BEST:: SOT 141917 SOS 28844 HAS SOPS 28844 HAS SOUS 17277 HAS SOUPS 17277 WITH SCORE 17305.844
AT ITER 8350 NEW BEST:: SOT 141943 SOS 28810 HAS SOPS 28810 HAS SOUS 17275 HAS SOUPS 17275 WITH SCORE 17303.81
AT ITER 8368 NEW BEST:: SOT 141946 SOS 28813 HAS SOPS 28813 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17300.813
AT ITER 8429 NEW BEST:: SOT 141955 SOS 28804 HAS SOPS 28804 HAS SOUS 17263 HAS SOUPS 17263 WITH SCORE 17291.804
AT ITER 8434 NEW BEST:: SOT 141866 SOS 28715 HAS SOPS 28715 HAS SOUS 17229 HAS SOUPS 17229 WITH SCORE 17257.715
AT ITER 8490 NEW BEST:: SOT 141819 SOS 28621 HAS SOPS 28621 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17210.621
AT ITER 8534 NEW BEST:: SOT 141818 SOS 28619 HAS SOPS 28619 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17208.619
AT ITER 8539 NEW BEST:: SOT 141818 SOS 28492 HAS SOPS 28492 HAS SOUS 17179 HAS SOUPS 17179 WITH SCORE 17207.492
AT ITER 8549 NEW BEST:: SOT 141779 SOS 28414 HAS SOPS 28414 HAS SOUS 17101 HAS SOUPS 17101 WITH SCORE 17129.414
AT ITER 8570 NEW BEST:: SOT 141770 SOS 28396 HAS SOPS 28396 HAS SOUS 17097 HAS SOUPS 17097 WITH SCORE 17125.396
AT ITER 8571 NEW BEST:: SOT 141756 SOS 28366 HAS SOPS 28366 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17097.366
AT ITER 8624 NEW BEST:: SOT 141747 SOS 28357 HAS SOPS 28357 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17097.357
AT ITER 8636 NEW BEST:: SOT 141743 SOS 28349 HAS SOPS 28349 HAS SOUS 17054 HAS SOUPS 17054 WITH SCORE 17082.349
AT ITER 8690 NEW BEST:: SOT 141767 SOS 28373 HAS SOPS 28373 HAS SOUS 17030 HAS SOUPS 17030 WITH SCORE 17058.373
AT ITER 8712 NEW BEST:: SOT 141767 SOS 28299 HAS SOPS 28299 HAS SOUS 17030 HAS SOUPS 17030 WITH SCORE 17058.299
AT ITER 8715 NEW BEST:: SOT 141767 SOS 28294 HAS SOPS 28294 HAS SOUS 17025 HAS SOUPS 17025 WITH SCORE 17053.294
AT ITER 8732 NEW BEST:: SOT 141742 SOS 28244 HAS SOPS 28244 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17028.244
AT ITER 8766 NEW BEST:: SOT 141725 SOS 28210 HAS SOPS 28210 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17024.21
AT ITER 8870 NEW BEST:: SOT 141720 SOS 28195 HAS SOPS 28195 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17009.195
AT ITER 8891 NEW BEST:: SOT 141697 SOS 28160 HAS SOPS 28160 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16986.16
AT ITER 8943 NEW BEST:: SOT 141699 SOS 28160 HAS SOPS 28160 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 16984.16
AT ITER 8965 NEW BEST:: SOT 141701 SOS 28164 HAS SOPS 28164 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16931.164
AT ITER 8992 NEW BEST:: SOT 141683 SOS 28090 HAS SOPS 28090 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16841.09
AT ITER 8999 NEW BEST:: SOT 141651 SOS 28042 HAS SOPS 28042 HAS SOUS 16781 HAS SOUPS 16781 WITH SCORE 16809.042
AT ITER 9026 NEW BEST:: SOT 141603 SOS 27946 HAS SOPS 27946 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16763.946
AT ITER 9076 NEW BEST:: SOT 141529 SOS 28267 HAS SOPS 28267 HAS SOUS 16733 HAS SOUPS 16733 WITH SCORE 16761.267
AT ITER 9091 NEW BEST:: SOT 141528 SOS 28266 HAS SOPS 28266 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16760.266
AT ITER 9143 NEW BEST:: SOT 141519 SOS 28193 HAS SOPS 28193 HAS SOUS 16723 HAS SOUPS 16723 WITH SCORE 16751.193
AT ITER 9168 NEW BEST:: SOT 141532 SOS 28206 HAS SOPS 28206 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16750.206
AT ITER 9186 NEW BEST:: SOT 141523 SOS 28189 HAS SOPS 28189 HAS SOUS 16705 HAS SOUPS 16705 WITH SCORE 16733.189
AT ITER 9187 NEW BEST:: SOT 141516 SOS 28175 HAS SOPS 28175 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16719.175
AT ITER 9226 NEW BEST:: SOT 141510 SOS 28181 HAS SOPS 28181 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16689.181
AT ITER 9324 NEW BEST:: SOT 141510 SOS 28181 HAS SOPS 28181 HAS SOUS 16656 HAS SOUPS 16656 WITH SCORE 16684.181
AT ITER 9334 NEW BEST:: SOT 141504 SOS 28175 HAS SOPS 28175 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16678.175
AT ITER 9354 NEW BEST:: SOT 141516 SOS 28165 HAS SOPS 28165 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16669.165
AT ITER 9372 NEW BEST:: SOT 141515 SOS 28164 HAS SOPS 28164 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16668.164
AT ITER 9389 NEW BEST:: SOT 141510 SOS 28159 HAS SOPS 28159 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16663.159
AT ITER 9399 NEW BEST:: SOT 141509 SOS 28157 HAS SOPS 28157 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16661.157
AT ITER 9437 NEW BEST:: SOT 141465 SOS 28135 HAS SOPS 28135 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16639.135
AT ITER 9438 NEW BEST:: SOT 141413 SOS 28083 HAS SOPS 28083 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16587.083
AT ITER 9452 NEW BEST:: SOT 141333 SOS 27923 HAS SOPS 27923 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16544.923
AT ITER 9499 NEW BEST:: SOT 141325 SOS 27907 HAS SOPS 27907 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16536.907
AT ITER 9552 NEW BEST:: SOT 141325 SOS 27825 HAS SOPS 27825 HAS SOUS 16508 HAS SOUPS 16508 WITH SCORE 16535.825
AT ITER 9582 NEW BEST:: SOT 141368 SOS 27817 HAS SOPS 27817 HAS SOUS 16500 HAS SOUPS 16500 WITH SCORE 16527.817
AT ITER 9588 NEW BEST:: SOT 141366 SOS 27816 HAS SOPS 27816 HAS SOUS 16500 HAS SOUPS 16500 WITH SCORE 16527.816
AT ITER 9622 NEW BEST:: SOT 141351 SOS 27957 HAS SOPS 27957 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16512.957
AT ITER 9625 NEW BEST:: SOT 141322 SOS 27850 HAS SOPS 27850 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16493.85
AT ITER 9634 NEW BEST:: SOT 141321 SOS 27848 HAS SOPS 27848 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16491.848
AT ITER 9645 NEW BEST:: SOT 141308 SOS 27776 HAS SOPS 27776 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16480.776
AT ITER 9668 NEW BEST:: SOT 141304 SOS 27768 HAS SOPS 27768 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16472.768
AT ITER 9674 NEW BEST:: SOT 141302 SOS 27764 HAS SOPS 27764 HAS SOUS 16441 HAS SOUPS 16441 WITH SCORE 16468.764
AT ITER 9687 NEW BEST:: SOT 141298 SOS 27756 HAS SOPS 27756 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16465.756
AT ITER 9753 NEW BEST:: SOT 141280 SOS 27720 HAS SOPS 27720 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16465.72
AT ITER 9788 NEW BEST:: SOT 141270 SOS 27710 HAS SOPS 27710 HAS SOUS 16418 HAS SOUPS 16418 WITH SCORE 16445.71
AT ITER 9863 NEW BEST:: SOT 141264 SOS 27704 HAS SOPS 27704 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16428.704
AT ITER 9874 NEW BEST:: SOT 141265 SOS 27725 HAS SOPS 27725 HAS SOUS 16400 HAS SOUPS 16400 WITH SCORE 16427.725
AT ITER 9887 NEW BEST:: SOT 141272 SOS 27739 HAS SOPS 27739 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16424.739
AT ITER 9947 NEW BEST:: SOT 141312 SOS 27795 HAS SOPS 27795 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16391.795
AT ITER 9981 NEW BEST:: SOT 141295 SOS 27778 HAS SOPS 27778 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16391.778
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 159656 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16299504 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="SmartHome-PT-16"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is SmartHome-PT-16, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651000280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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